Tvrzení o závislostech (3)

• Závěr: je-li exponenciální čas ještě únosný pro současné a budoucí počítače, jsou plné závislosti nejširší třídou upotřebitelnou pro deduktivní databáze.

•  významné místo Hornových klauzulí v informatice.

• Pesimistický pohled:

• obecně nelze dosáhnout úplnosti

• obecně nelze dosáhnout konzistence

• (vadí algoritmická složitost, kterou někdy nejde zlepšit a mnohdy ani řešit - chybí odpovídající dokazovací procedura)

• omezení umožní sice konzistenci, avšak odpovídající modely neodpovídají reálnému světu