Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Sémantique bien fondée disjonctive
FR |
EN
| Auteur / Autrice : | Corinne Plourde |
| Direction : | Françoise Gire |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 2003 |
| Etablissement(s) : | Paris 1 |
Mots clés
FR
Résumé
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.