Deduktivní databáze (4)

• Pro definitní deduktivní db lze použít CWA.

• Pz.: odstraní nutnost použít axiomy úplnosti a axiom jednoznačnosti jmen  jednodušší implementace

• Tv.: Definitní deduktivní db je konzistentní.

• odpověď na dotaz Q(x1,...,xk) v deduktivní db je množina n-tic (a1,...,ak) takových, že

• T Q(a1,...,ak),

• deduktivní databáze splňuje IO iff cIO T c.

• Pz.: je-li formální systém korektní a úplný, pak je totéž jako .