Contrainte d'intégrité fonctionnelle (CIF)
Une contrainte d'intégrité fonctionnelle sur un objet signifie que cet objet est totalement identifié par la connaissance d'un ou plusieurs autres objets au sein d'une même association.
Dépendance fonctionnelle entre propriétés d'un objet ou d'une relation
Une propriété ou un ensemble de propriétés P2 dépend fonctionnellement d'une propriété ou d'un ensemble de propriétés P1, si la connaissance de la valeur de P1 détermine une et une seule valeur de P2.
Cette dépendance est notée P1 -> P2 et se lit "P2 dépend fonctionnellement de P1" ou "P1 détermine P2 par dépendance fonctionnelle.
Un identifiant détermine par dépendance fonctionnelle toutes les autres propriétés de l'objet ou de l'association.
Une dépendance fonctionnelle P1 -> P2 est dite élémentaire si aucune partie de l'ensemble de propriétés P1 ne détermine la propriété ou l'ensemble de propriétés P2.
Les dépendances fonctionnelles sont régies par la règle mathématique de transitivité : si P1 -> P2 et P2 -> P3 alors P1 -> P3.
Une dépendance fonctionnelle P1 -> P2 est dite directe s'il n'y a pas de transitivité P1 -> P3 et P3 -> P2.
Dépendance fonctionnelle entre objets
Il existe une dépendance fonctionnelle O1 -> O2 entre deux objets O1 et O2 liés par une association, si chaque occurrence de O1 n'est associée qu'à au plus une occurrence de O2. En d'autres termes, la présence des cardinalités (0,1) ou (1,1) sur un objet, révèle une dépendance fonctionnelle vers l'autre objet.
O1 est l'objet source de la dépendance fonctionnelle et O2 l'objet but.
Nederlandse vertaling
U hebt gevraagd om deze site in het Nederlands te bezoeken. Voor nu wordt alleen de interface vertaald, maar nog niet alle inhoud.Als je me wilt helpen met vertalingen, is je bijdrage welkom. Het enige dat u hoeft te doen, is u op de site registreren en mij een bericht sturen waarin u wordt gevraagd om u toe te voegen aan de groep vertalers, zodat u de gewenste pagina's kunt vertalen. Een link onderaan elke vertaalde pagina geeft aan dat u de vertaler bent en heeft een link naar uw profiel.
Bij voorbaat dank.
Document heeft de 19/03/2002 gemaakt, de laatste keer de 26/10/2018 gewijzigd
Bron van het afgedrukte document:https://www.gaudry.be/nl/analyse-integrite.html
De infobrol is een persoonlijke site waarvan de inhoud uitsluitend mijn verantwoordelijkheid is. De tekst is beschikbaar onder CreativeCommons-licentie (BY-NC-SA). Meer info op de gebruiksvoorwaarden en de auteur.
