Annuaire
2.1 Modèle relationnel
2.2 Structure des données relationnelles et sa définition formelle
2.3 Intégrité
relationnelle 2.4 Algèbre
relationnelle 2.5 Calcul relationnel
2.6 Résumé
2.0 relation
Un domaine est un ensemble de valeurs du même type. Le domaine peut être un ensemble fini ou un ensemble infini. Si le domaine D est un ensemble fini, le nombre d'éléments dans D est appelé la cardinalité de D. Soit IDI
. Collections, collections de nombres réels, collections de chaînes de caractères, collections de chaînes de caractères d'une longueur maximale de 20
Produit cartésien
Étant donné n domaines D , D ..... Dn (ils ne doivent pas nécessairement être différents les uns des autres). Le produit cartésien sur s'écrit: D1x D2x ... xDn, et Dyx D2x ... xDn, = {(d , d2, .... dn,)}
Chaque élément (d, d, ... d,) est appelé n-tuple (tuple en abrégé), et di est le ième composant du tuple.
Par exemple, il y a trois champs: D1 = {0,1}, D2 = {a, b, c}, D3 = {D, E}, puis
le produit cartésien de D, D2, D3 est:
Djx D2x D3 = { (0, a, D), (0, a, E), (0, b, D), (0, b, E), (0, c, D), (0, c, E), (1 , a, D), (1 , a, E), (1, b, D), (1, b, E), (1, c, D), (1, c, E)}
dont la base est | D1lxI D2 | x | D3 | = 12
Une autre représentation de la
relation est que les relations peuvent utiliser des tables à deux dimensions pour indiquer que chaque table a un nom unique (nom de la relation),
Le composant correspondant de chaque colonne du tableau est appelé attribut. La première ligne du tableau est l'en-tête du tableau, qui donne le nom d'attribut de chaque colonne, et chaque ligne restante correspond à un tuple, et chaque tuple représente une entité ou une relation de contact. Ce type de représentation visuelle nous permet d'attacher une certaine sémantique à la relation.
Par exemple, nous pouvons expliquer la sémantique du tuple de relation par le nom de l'attribut, nous pouvons définir le code de la relation à travers la sémantique de l'attribut , et définir les contraintes d'intégrité de la relation
Nature de la relation
La relation est un sous - ensemble du produit cartésien, à savoir, ensemble de tuples, par conséquent, la relation ordre des lignes n'a pas d' importance , et les relations (tables) ne peut pas contenir deux tuples identiques (lignes) montre la relation entre une table à deux dimensions afin que nous peut montrer la relation dans l'ordre de la colonne, ou l' ordre des colonnes n'est pas important dans une base de données relationnelle, toute relation significative doit respecter certaines contraintes, ces contraintes sont contraintes sémantiques
En plus des contraintes sémantiques, il existe deux principales restrictions sur les relations.
Premièrement, dans les bases de données relationnelles, seules les relations finies sont prises en compte.
Deuxièmement, chaque attribut de la relation doit être atomique
Code Supercode Candidate Code
Le code principal tient compte des relations avec les employés et son modèle est le suivant:
EMPS (Eno, Ename, Esex, Eage, Eaddress, Dname, Esalary)
Eno est le code de la relation EMPS, car chaque employé a un numéro unique -
tout ensemble d'attributs qui contient Eno est un super code , tel que {Eno, Ename}, cet ensemble d'attributs peut également déterminer de manière unique chaque employé.
S'il est peu probable que deux employés ayant la même adresse personnelle aient le même nom et prénom, {Ename, Eaddress} est également le code EMPS
Soit K l'ensemble d'attributs de la relation R. Si K peut identifier de manière unique un tuple et que son vrai sous-ensemble ne le peut pas, alors K est le code de R. Généralement, lorsqu'une relation a plusieurs codes, l'un d'eux doit être sélectionné comme la seule relation d'identification Le code du tuple est appelé code principal. Le code principal est utilisé pour représenter le code sélectionné parmi plusieurs codes en tant que tuple de relation d'identification unique, et tous les codes sont également appelés code candidat. L'attribut du code est appelé attribut principal, mais pas dans Les attributs qui apparaissent dans n'importe quel code sont appelés attributs non principaux. Par exemple, Eno et {Ename, Eaddress} sont des codes candidats pour EMPS, puis Eno, Ename et Eaddress sont des attributs principaux et Esex, Eage, Dname, Esalary sont des relations de définition d'attribut non primaires Vous pouvez en choisir un comme code principal d'EMPS. Par exemple, choisissez Eno comme code principal. Si FK est l'ensemble d'attributs de R et n'est pas le code de R, mais FK correspond au code principal K1 de la relation R1, alors FK est appelé R Le code extérieur. Où R est la relation de référence, R1 est la relation référencée (R et R1 ne sont pas nécessairement des relations différentes), et il est dit que FK se réfère au code principal K1 de R1
Règles d'intégrité d'entité: tous les tuples de la relation R doivent avoir des valeurs uniques sur le code principal et ne peuvent pas prendre de valeurs nulles sur les attributs du code principal
Exemples de règles d'intégrité référentielle
Étudiants (Sno, Sname, Sex, Birthday, Enrollyear, Specialty, Dno)
Cours (Cno, Cname, Period, Credit)
SC (Sno, Cno, Grade)
Il existe également des références entre ces trois relations. "Sno" dans SC doit être un étudiant existant dans Students, et "Cno" dans SC doit être un cours existant dans Courses
Règles d'intégrité définies par l'utilisateur L'intégrité définie par l'
utilisateur reflète les contraintes sémantiques que les données impliquées dans une base de données particulière doivent satisfaire. Puisqu'il n'y a pas de règles générales, ces contraintes doivent être spécifiées par l'utilisateur selon la sémantique du problème réel. Pas plus de 5 cours échoués; la valeur du genre ~ ne peut être que masculine, féminine et vierge; les noms des enseignants et des élèves ne peuvent pas être blancs, etc.
2.1 Modèle relationnel
L'intégrité des données est divisée en quatre catégories:
1. Structure de données-relation du modèle relationnel
La structure des données du modèle relationnel: très simple Du point de vue de l'utilisateur, la structure logique des données du modèle relationnel est un tableau à deux dimensions. Mais cette simple structure de données du modèle relationnel peut exprimer riche sémantique décrivent chacun entre des entités réelles et entités lien types .
3. Les trois types de modèle de relation de contrainte d'intégrité de la relation fournissent un mécanisme de contrôle d'intégrité riche, permettant la définition de trois types d'intégrité: l' intégrité d'entité, l'intégrité référentielle et l'intégrité définie par l'utilisateur . Parmi elles l'intégrité d'entité et l'intégrité référentielle C'est la contrainte d'intégrité que le modèle relationnel doit respecter et doit être automatiquement prise en charge par le système relationnel. L'intégrité définie par l'utilisateur est une condition de contrainte qui doit être suivie par les exigences spéciales du domaine d'application et reflète les contraintes sémantiques dans le domaine spécifique. Les éléments suivants partiront des trois éléments du modèle de données et présenteront progressivement la structure de données du modèle de relation (y compris la définition formelle de la relation et des concepts associés), les trois types de contraintes d'intégrité de la relation, l'algèbre de relation et les opérations de calcul de relation, etc.
2.2 Structure des données relationnelles et sa définition formelle
2.3 Intégrité
relationnelle 2.4 Algèbre
relationnelle 2.5 Calcul relationnel
2.6 Résumé