Abstract FR:

Présentation et comparaison des différentes méthodes de spécification de contraintes d'intégrité dans les bases de données. Insistance particulière sur les approches nouvelles. Cinq grandes approches de spécification de dépendances sont distinguées. La première, la plus classique, utilise la logique des prédicats du premier ordre. La seconde est algébrique, et consiste à exprimer une dépendance comme une inclusion entre deux requêtes. Dans la troisième approche, les états légaux de la base sont les états accessibles en utilisant des mises à jour permises. La quatrième (approche synthétique) est fondée sur le concept de famille dépendance. La dernière approche consiste à intégrer la sémantique à l'intérieur même du modèle de données.