Abstract FR:

Présentation des différentes étapes de conception d'un sous-système d'intégrité purement assertionnel offrant des gains appréciables en fonctionnalités et en performances. Un langage de haut niveau permet la définition d'une grande variété d'assertions contenant des fonctions agrégats. Ces assertions, dans leur forme générale, sont exprimées dans un calcul relationnel de [. . . ] étendu. Les performances du contrôle d'intégrité sont atteintes grâce à l'utilisation d'une méthode originale de simplification d'assertions activée une fois pour toutes au moment de la définition d'une contrainte. Un algorithme de vérification des contraintes lors des mises à jour est ensuite présente.