Abstract FR:

Cette thèse propose une nouvelle sémantique partielle pour les Bases de Données Déductives Disjonctives Normales, appelée Sémantique Bien Fondée Disjonctive. Cette sémantique généralise aux Bases de Donnée. S Déductives Disjonctives Normales, la Sémantique Bien Fondée des Bases de Données Déductives Normales (i. E. Sans disjonction). Nous donnons pour cette sémantique à la fois une définition déclarative et une procédure opérationnelle. De plus, il est prouvé que, dans le cas des Bases de Données Déductives Disjonctives Positives (i. E. Sans négation), cette sémantique coïncide avec l'intersection des Modèles Minimaux.