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.


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (269 f.)
  • Annexes : Bibliogr. f. 239-256

Où se trouve cette thèse ?

  • Bibliothèque : Université Claude Bernard (Villeurbanne, Rhône). Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.