### Dictionnaire fr-en pour conception de bases de données


| en anglais | en français |
|------------|-------------|
| integrity constraint | contrainte d'intégrité |
| Functional Dependency (FD) | dépendance fonctionnelle (DF) |
| Key | clé |
| Superkey | sur-clé, superclé, sur-ensemble de clé |
| primary key | clé primaire |
| candidate key | clé candidate ou simplement clé |
| Inclusion Dependency (IND) | dépendance d'inclusion |
| Referential Integrity | contrainte d'intégrité référentielle |
| Foreign Key | clé étrangère |
| Inference Test | test d'inférence |
| Closure Test | test de fermeture (ou de clôture) |
| Attribute Closure | Fermeture (ou clôture) d'attribut |
| implied FD, FD that follows | dépendances fonctionnelles déduites |
| projecting FD's | Projeter des DFs | 
| normalization | normalisation |
| FD holds | la dépendance fonctionnelle s'applique |
| Closure of FD's | Fermeture d'un ensemble de DFs |
| sound and complete | correct et complet |
| Inference system, Inference rules | système (règles) d'inférence |
| update anomaly | erreur de modification |
| insertion anomaly | erreur d'insertion |
| deletion anomaly | erreur de suppression |
| Normal Form | forme normale |
| Boyce-Codd Normal Form (BCNF) | Forme Normale de Boyce-Codd (FNBC) |
| BCNF Decomposition | décomposition en FNBC |
| Third Normal Form (3NF) | 3e Forme Normale (3FN) |
| Enforce FD | assurer qu'une dépendance fonctionnelle s'applique |
| prime attribute | attribut primaire |
| Lossless join | jointure sans perte (ou décomposition sans perte de données) |
| Dependency preservation | préservation des DFs (ou décomposition sans perte de DF) | 
| Chase Test | Test du jeu de piste |
| Lossy Join | jointure avec perte (ou décomposition avec perte de données) |
| 3NF Synthesis | algorithme de synthèse en 3FN |
| Minimal/canonical cover/basis | couverture minimale/canonique | Redundant FD | DF redondante |
| Extraneous attribute | attribut superflu |
| irreducible FD | DF irréductible |