Spécification et contrôle d’intégrité dans les bases de données objet
Institution:
Lyon, INSADisciplines:
Directors:
Abstract EN:
[We present an approach using active rules to specify and control the integrity of an object- oriented databases. We suggest a typology composed of structural, behavioral and explicit constraints. The structural constraints are those inherent to abstraction mechanisms. The behavioral constraints allow to control the local and global behavior of objects, they correspond to preconditions and post conditions applied to methods and transactions. We distinguish two sub-classes of explicit constraints: the static constraints which ensure the consistency of a current state of the database and the dynamic constraints which carry on the changes of authorized states of the database. The int1uence of the inheritance on these integrity constraints was studied, this leads us to propose a set of integrity constraints inheritance rules. The structural constraints are specified in a declarative manner with constructors. However, the behavioral and explicit constraints are specified using active rules. The behavior of structural integrity constraints is known on basis of updates operations, this allows the automatic generation of associated active rules. We developed an active rule mode! adapted to the consistency problem, this model is defined by three components : the active rule language, the knowledge and the execution models. The principles of this model are realized using a prototype of an integrity system, named ARIS, which is implemented with a layered architecture "on top"' of 02 DBMS. ]
Abstract FR:
Nous présentons une approche utilisant des règles actives pour spécifier et contrôler l'intégtité d'une base de données objet. Nous proposons une typologie composée des contraintes structurelles, comportementales et explicites. Les contraintes structurelles sont celles inhérentes aux mécanismes d'abstraction. Les contraintes comportementales permettent de contrôler le comportement local et global des objets, elles correspondent aux préconditions et aux postconditions appliquées aux méthodes et aux transactions. Les contraintes explicites correspondent aux propriétés invariantes de l'application. Nous distinguons deux sous-classes de contraintes explicites : les contraintes statiques qui portent sur la cohérence d'un seul état de la base et les contraintes dynamiques qui portent sur les changements d'états permis de la base. L'influence de 1'héritage sur ces types de contraintes d’intégrité a été étudié, ce qui nous a mené à un ensemble de règles d'héritage des contraintes. Les contraintes structurelles sont définies de manière déclarative à l'aide de constructeurs. En revanche, les contraintes comportementales et explicites sont décrites à l'aide de règles actives. Le comportement des contraintes d'intégrité structurelles est connu en fonction des opérations de mise à jour, ce qui permet la génération automatique des règles actives associées. Nous avons développé un modèle de règles actives spécifique au problème de contrôle d'intégrité. Ce modèle est défini par les trois composantes qui sont, le langage de règles actives, les modèles de représentation et d'exécution des règles. Les principes de ce modèle sont mis en œuvre à l'aide d'un prototype de système d'intégrité, nommé ARIS, qui est implanté sous forme de sur-couche au-dessus du SGBD 02.