DEDUKTÍVNE DATABÁZOVÉ SYSTÉMY
Fakty tvoria druhý hlavný typ špecifikácií v DeDBS. Na ich použití v úlohe argumentov jednotlivých axióm je možné dedukovať nové fakty, ktoré sú pridávané do DB (bázy faktov). Fakty v DeDBS sú špecifikované ako relácie, až na to, že neobsahujú mená atribútov jednotlivých relácií. Hodnota atribútu danej relácie je daná jej poradím v rámci entity.
príklad : je_rodič(rodič,dieťa)
Karol, Peter
Peter, Jana
Na základe týchto faktov je možné odvodiť nový fakt, a síce že Karol je starým otcom Jany.
Keďže sme spomenuli, že pravidlá sú podobné relačným views, nasledujúci príklad nám ukáže ako by vyzeral daný view na tabuľku je_rodič.
create view je_starý_rodič
as
select R1.rodič, R2.deťa
from je_rodič R1, je_rodič R2
where R1.dieťa = R2.rodič;
Na základe tohto pravidla je možné zodpovedať otázky:
Kto je starým rodičom Jany?
Kto je vnúčaťom Karola ?
