Deduktiv adatbázisok. Normál adatbázisok: adat elemi adat SQL OLAP adatbázisok: adat statisztikai adat OLAP-SQL … GROUP BY CUBE(m1,m2,..)

Az előadások a következő témára: "Deduktiv adatbázisok. Normál adatbázisok: adat elemi adat SQL OLAP adatbázisok: adat statisztikai adat OLAP-SQL … GROUP BY CUBE(m1,m2,..)"— Előadás másolata:

1 Deduktiv adatbázisok

2 Normál adatbázisok: adat elemi adat SQL OLAP adatbázisok: adat statisztikai adat OLAP-SQL … GROUP BY CUBE(m1,m2,..)

3 Deduktiv adatbázisok adat SQL szabály DM adatbázisok adat DM szabály

4 Deduktiv adatbázisok tény (adat) szabály formula kalkulus Predikátum logika

5 Péter almát vásárol Vasarol (Peter, alma) Kor (Peter, 34) Kor(Zoli, X) Kor(X,Y)  X Kor(X,56) Nyelvtani elemek -ABC jelkészlet - változók -Logikai operátorok -Kvantorok -Logikai konstansok -Függvények -Predikátumok

6 Formulák (fr) 1.F, T 2.Pr (t1,t2,..) 3.NOT fr 4.fr1 AND fr2 5.fr1 OR fr2 6.fr1 fr2 7.  x (fr(x)) 8.  x (fr(x)) Kifejezés, term (t) 1.Változó 2.Fv (t1,t2,..)

7 Szabad változókkor(X,25) Kötött változók  X (nagyobb (X,1)) Helyettesítés kor(X,25) {X/Peter} Interpretáció konstansok függvények predikátumokp(a,b)

8 Következtetések esik  megázok Ekvivalens megadások  X(ember(X)  halando(X))  X(  ember(X)  halando(X))  X (  (ember(X)  halando(X))  X(ember(X)  halando(X)) Prenexform: KX (KX … (A)) Klauselform:  X (  X …(A1  A2…))

9 Klauselform formára alakítás: implikáció átalakitásp -> q : not p OR q negációk atomokra átvitelede Morgan változók elnevezés szinkronizálás  kvantor eliminálás  X(p(X)) : p(a) konjuktiv alakra hozatal (  ) Lekérdezés formula(X1,X2,..) 

10 Adatbázis implementáció csak konstans, nincs más függvény minden predikátum egy táblázattal adott DOLGOZO (kod, nev, beosztas, fiz, osztaly) OSZTALY (kod, cím)  Y,Z,S: (DOLGOZO(Y,Z,Q,R,S)  R> 23) 

11 Szabályok Dedukció Resolution P  Q AND  P  R => Q  R Modus ponens (P  Q) (P) =>Q Modus tollens (P  Q) (  Q) =>  P

12 Következtetés (|-) bizonyítása (P |- Q) bizonyítása: P   Q lehetetlensége (p  q)  r |- p  (q  r) 1: ((p  q)  r)   (p  (q  r)) 2: (  (  p  q)  r)   (  p  (  q  r)) 3: ((p   q)  r )  ( p  q   r) 4: (p  r )  (  q  r)  p  q   r 5: (p  r )   q  p  qlehetetlen

13 Linearis resolution Mindig egy új tag kerül bevonásra Közös alakra hozó változó helyettesítés Resolution alkalmazás Az eredmény lesz a következő lépés egyik operandusa ember(Sokrates), ember(X) -> halando(X) ember(Sokrates)  (  ember(X)  halando(X)) X / Sokrates halando(Sokrates)