Modele logique de donnée relationnelle

Il y a une correspondance un-à-un entre les variables libres du prédicat et les noms d`attribut de l`en-tête de relation. Chaque tuple du corps de relation fournit des valeurs attributaires pour instancier le prédicat en substituant chacune de ses variables libres. Le résultat est une proposition qui est considérée, en raison de l`apparence du tuple dans le corps de la relation, pour être vrai. Au contraire, chaque tuple dont la position est conforme à celle de la relation, mais qui n`apparaît pas dans le corps est considéré comme faux. Cette hypothèse est connue comme l`hypothèse du monde fermé: elle est souvent violée dans des bases de données pratiques, où l`absence d`un tuple peut signifier que la vérité de la proposition correspondante est inconnue. Par exemple, l`absence du tuple («John», «espagnol») à partir d`un tableau de compétences linguistiques ne peut pas nécessairement être considérée comme une preuve que John ne parle pas l`espagnol. modèle conceptuel: la structure logique de l`ensemble de la base de données les clés étrangères sont des contraintes d`intégrité qui font en sorte que la valeur de l`ensemble d`attributs est dessinée à partir d`une clé candidate dans une autre relation. Par exemple, dans la relation Order, l`attribut Customer ID est une clé étrangère. Une jointure est l`opération qui s`inspire des informations issues de plusieurs relations à la fois. En joignant les relvars de l`exemple ci-dessus, nous pourrions interroger la base de données pour tous les clients, commandes et factures. Si nous voulions seulement les tuples pour un client spécifique, nous spécifions cela en utilisant une condition de restriction.

L`indépendance des données physiques fait référence à l`immunité du modèle interne aux changements dans le modèle physique. Le schéma logique reste inchangé même si des modifications sont apportées à l`organisation de fichiers ou aux structures de stockage, aux périphériques de stockage ou à la stratégie d`indexation. Les requêtes écrites dans SQL sont traduites en algèbre relationnelle avant leur exécution. Mais, cette version de relationnelle est légèrement différente de l`algèbre définie et n`a pas une représentation logique équivalente. Le modèle conceptuel, logique et physique ou ERD sont trois façons différentes de modéliser des données dans un domaine. Bien qu`ils contiennent tous des entités et des relations, ils diffèrent dans les objectifs pour lesquels ils sont créés et les audiences qu`ils sont censés cibler. Une compréhension générale des trois modèles est que, Business Analyst utilise un modèle conceptuel et logique pour modéliser les données requises et produites par le système à partir d`un angle d`entreprise, tandis que le concepteur de base de données raffit la conception précoce pour produire le modèle physique pour présentation de la structure de base de données physique prête pour la construction de base. Un schéma logique est une conception conceptuelle de la base de données faite sur papier ou un tableau blanc, tout comme les dessins architecturaux pour une maison. La possibilité de modifier le schéma logique, sans modifier le schéma externe ou l`affichage utilisateur, est appelée indépendance des données logiques.

Par exemple, l`ajout ou la suppression de nouvelles entités, attributs ou relations à ce schéma conceptuel doit être possible sans avoir à modifier les schémas externes existants ou à réécrire les programmes d`application existants. Regardez l`exemple d`une carte d`identité dans la figure 7,2 pour voir la relation entre les champs et leurs données. Une fois qu`un SGBD est sélectionné, vous pouvez l`implémenter. C`est le modèle interne. Ici, vous créez toutes les tables, les contraintes, les clés, les règles, etc. C`est souvent ce que l`on appelle la conception logique. Un attribut identifie, nomme et définit une caractéristique ou une propriété d`un type d`entité.