Bases de donnes : partie logique e

BASES DE DONNEES DEDUCTIVES

cours 3 : bases de donnes dductives e e

Odile PAPINI, Universit du Sud Toulon -Var. e papini@univ-tln.fr

Plan

introduction r`gles de dduction e e bases de donnes dductives e e approche smantique e approche axiomatique

introduction
base de donne relationnelle e relation pere et relation mere x y a b d c x y f b e c

contraintes dintgrit e e x y(pere(x, y) parent(x, y)) x y(mere(x, y) parent(x, y))

introduction
redondance entre contraintes dintgrit et extension des relations e e exemple

x y(pere(x, y) parent(x, y)) x y(mere(x, y) parent(x, y)) redondance de parent(a, b) lorsque : pere(a, b) B ou mere(a, b) B

suppression de la redondance
suppression de certaines extensions de prdicats dans la BD e remplacement par des dnitions en comprhension e e transformation de contraintes en r`gles de dduction e e transformation de certains prdicats relationnels en prdicats virtuels e e construction dune thorie plus compacte e

exemple parent(a, b) prdicats virtuels dni en comprnsion par les r`les de dduction e e e g e : x y(pere(x, y) parent(x, y)) x y(mere(x, y) parent(x, y))

r`gle de dduction e e var(t)(h(t) y(b1 bn))

A B : si B alors A h(t) : tte de r`gle , consquent e e e e e e y(b1 bn): corps de la r`gle, antcdent

exemple

r1 : parent(x, y) pere(x, y) r2 : parent(x, y) mere(x, y) r3 : grand parent(x, y) (parent(x, z) parent(z, y))

relations de dpendance entre prdicats e e

p dpend directement de q : si q apparat dans le corps dune r`gle et p dans e e la tte e p est rcursif : si p dpend de p e e p dpend strictement de q : si p dpend de q et q ne dpend pas de p e e e une r`gle de dduction est rcursive : si son antcdent contient un prdicat e e e e e e qui dpend du consquent e e

base de donnes dductive e e

une base donne dductive B, est une thorie comprenant : e e e e une base de donne extensionnelle BE (base de donnes relationnelle) e e e une base de donne intensionnelle BI (ensemble de r`gles de dduction) e une r`gle de dduction est stricte si les littraux gurant dans lantcdent sont e e e e e tous positifs h(t) (b1 bn) une r`gle de dduction est stricte est quivalente a une clause de Horn e e e ` h(t) b1 bn) une base de donne dductive B est stricte si toute r`gle de dduction de BI est e e e e stricte une base de donne dductive B stricte est hirarchique si aucun prdicat e e e e virtuel nest rcursif e

Approche smantique e

thor`me e e Soit B une base de donnes stricte. Lintersection de tous les mod`les de Herbrand e e de B est un mod`le de Herbrand e

thor`me e e e Soit MB = {A BB | B |= A} une base de donnes stricte. Lintersection de tous les mod`les de Herbrand de B est un mod`le de Herbrand e e

Approche smantique e base de donne B plus petit mod`le de Herbrand MB e e valuation des requtes : recherche des instances vraies dans MB e e

Approche axiomatique
Soit B une base de donnes stricte et BB sa base de Herbrand de B e HM C(B) = {P | P BB et B P}

HM e ` La thorie TB C = B HM C(B) AF D(B) AU N (B) est associe a B e

thor`me e e
HM e La thorie TB C est cohrente e

thor`me e e
HM TB C

p(a) ssi B

A thor`me e e

HM e MB est le seul mod`le de TB C

thor`me e e
HM e La thorie TB C est compl`te e