DEDUKTÍVNE DATABÁZOVÉ SYSTÉMY
Inferenčný mechanizmus s použitím deduktívnych axióm získava nové fakty, ktoré spĺňajú všetky relevnantné integritné obmedzenia a získané fakty zapisuje do DB. Používa k tomu vyššie uvedené pravidlá boolovskaej logiky. Daný postup získavania nových faktov sa nazýva odvodzovanie. V dnešných DeDBS a ES sa používajú dva druhy odvodzovania :
• forward chaining (dopredné reťazenie, reťazenie zdola nahor) – inferenčný mechanizmus porovná známe fakty s cieľom a ak nevyhovujú , potom použije v príslušných pravidlách tie fakty, ktoré spĺňajú hodnotu true pri predpokladovej časti pravidla a postupným odvodzovaním a použitím nových faktov a ich porovnávaním s požadovaným cieľom sa snaží vyriešiť daný problém. Vráti maximálne jeden výsledok v čase
• backward chaining (spätné reťazenie, reťazenie zhora nadol) – odvodzovanie začína porovnaním cieľa so známymi faktami, ktoré sú obsiahnuté v báze faktov. Ak nenájde riešenie, porovnáva výsledkovú časť pravidiel s cieľom. Pri zhode zisťuje, či sú predpoklady vybraného pravidla obsiahnuté v báze faktov. Ak nie , priradí tieto predpoklady medzi ciele a opäť si vyberá relevantné pravidlá, ktorých výsledková časť sa zhoduje s s cieľmi. Opakovaním tohoto postupu sa inferenčný mechanizmus snaží zabezpečiť, aby všetky ciele boli obsiahnuté v báze faktov. Pri tomto spôsobe je však potrebné vyriešiť otázku závislosti na poradí pravidiel, ktoré sú alebo môžu byť vykonávané.
