Introduction bases de donn´es relationnelles et logique e Base de donn´es d´ductives e e DATALOG

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