Deduktivní databáze (3)

• df.: Definitní (určitá) deduktivní databáze je množina klauzulí, které nejsou typu (v) a (vi). Databáze obsahující (v) nebo (vi) je nedefinitní (neurčitá).

• Definitní deduktivní databázi lze chápat jako dvojici

• 1. teorii T, která obsahuje speciální axiomy:

  • tvrzení (odpovídají n-ticím z EDB)
  • axiomy o prvcích:
    • úplnosti (neplatí jiná tvrzení než ta z EDB a ta odvoditelná pravidly)
    • axiom uzavřenosti domén
    • axiom jednoznačnosti jmen
  • axiomy rovnosti
  • množina Hornových klauzulí (deduktivní pravidla)

• 2. IO