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

par Yvon Marie-Sainte

Thèse de doctorat en Sciences. Informatique et automatique appliquées

Sous la direction de Jacques Kouloumdjian.

Soutenue en 1987

à Lyon 1 .

Le jury était composé de Jacques Kouloumdjian.

mots clés

• Langages de programmation
• Bases de données -- Gestion
• Langages de programmation -- Sémantique
• Cohérence (informatique)

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

Titre traduit

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

Pas de résumé disponible.