Bases de donnee deductive
Bases de donn´es e
Cours 5 : Base de donn´es d´ductives e e Odile PAPINI
ESIL Universit´ de la m´diterran´e e e e Odile.Papini@esil.univmed.fr http://odile.papini.perso.esil.univmed.fr/sources/BD.html
Odile PAPINI
Bases de donn´es e
Introduction bases de donn´es relationnelles et logique e Base de donn´es d´ductives e e DATALOG
Plan du cours
1 2
3
4
Introduction bases de donn´es relationnelles et logique e approche s´mantique e approche axiomatique Base de donn´es d´ductives e e introduction r`gles de d´duction e e bases de donn´es d´ductives e e approche s´mantique e approche axiomatique DATALOG introduction syntaxe programmes en DATALOG Bases de donn´es Odile PAPINI e
Introduction bases de donn´es relationnelles et logique e Base de donn´es d´ductives e e DATALOG
Bibliographie
Livres : A. Thayse et al. : Approche logique de l’intelligence artificielle. Tome2 : de la logique modale ` la logique des bases de a donn´es. Dunod ed. 1989. e H. Garcia-Molina, J. D. Ullman, J. Widow : Database systems, the complete book. Prentice Hall ed. 2002. N.Bidoit : DATALOG. 1992. C. Zaniolo : LDL++ tutorial. UCLA. 1998. Supports de cours :
R. Godin : Logique et bases de donn´es. 2004 e
Odile PAPINI
Bases de donn´es e
Introduction bases de donn´es relationnelles et logique e Base de donn´es d´ductives e e DATALOG
approche s´mantique e approche axiomatique
bases de donn´es relationnelles et logique e
Logique des pr´dicats : s´mantique des bases de donn´es e e e relationnelles Approche s´mantique : e
BD relationnelle : Langage logique du 1er ordre : LR BD : mod`le de Herbrand de certaines formules de ce Langage e Evaluation d’une requˆte : s´lection des instances e e fondamentales de la requˆte dans le mod`le e e
Approche axiomatique :
BD relationnelle : Th´orie logique du 1er ordre e Evaluation d’une requˆte : s´lection des