Les contraintes d'intégrité dans les systèmes déductifs : un outil de contrôle de leur cohérence et de leur évolution

Integrity constraints in deductive data base management systems: a tool for checking their consistency and their evolution

• Auteur / Autrice : Yvon Marie-Sainte
• Direction : Jacques Kouloumdjian
• Type : Thèse de doctorat
• Discipline(s) : Sciences. Informatique et automatique appliquées
• Date : Soutenance en 1987
• Etablissement(s) : Lyon 1
• Jury : Examinateurs / Examinatrices : Jacques Kouloumdjian

Mots clés

Mots clés contrôlés

Cohérence (informatique)

Langages de programmation -- Sémantique

Bases de données -- Gestion

Langages de programmation

Résumé

Etude concernant la modelisation et l'integration des contraintes d'integrite, classees en contraintes locales specifiques a une vue, et en contraintes generales qui s'appliquent au schema conceptuel global. Les contraintes locales expriment des regles de deduction, alors que les contraintes generales non ensemblistes s'ecrivent comme des formules fermees de la logique du premier ordre verifiant la propriete du champs restreint. Les contraintes dynamiques sont aussi considerees. Dans le but d'assurer la coherence et l'irredondance de l'ensemble des contraintes il a ete construit un demonstrateur de theoremes qui s'appuie sur le principe de resolution contraint par une strategie particuliere qui reste conforme a une approche incrementale de la conception et qui evite l'explosion combinatoire du nombre de resolvantes