La logique des partitions : application a l'information disjonctive dans les bases de donnees

The logic of partitions: an apsproach to disjunctive information in databases

• Auteur / Autrice : Dominique Laurent
• Direction : Bernard Lorho
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1987
• Etablissement(s) : Orléans

Résumé

On presente une approche logique des bases de donnees utilisant comme domaine d'interpretation l'ensemble des entiers naturels. La logique du premier ordre definie procede du modele partitionnel de bases de donnees du a n. Spyratos. L'approche est deductive et peut rendre compte de la presence d'information disjonctive dans la base de donnees. On s'interesse plus particulierement au calcul des reponses aux requetes soumises a la base. On etudie a ce propos l'importance des contraintes d'integrite definies sur la base de donnees et les problemes poses par la presence d'information disjonctive