Deduktivní databáze

Deduktivní databáze je databázový systém , který dokáže vyvozovat závěry (tj. vyvozovat další fakta) na základě pravidel a faktů uložených v (deduktivní) databázi. Datalog je jazyk běžně používaný pro specifikaci faktů, pravidel a dotazů v deduktivních databázích. Deduktivní databáze vyrostly z touhy zkombinovat logické programování s relační databází za účelem vytvoření systémů, které podporují silný formalismus a jsou stále rychlé a schopné zpracovávat velmi velké datové sady. Deduktivní databáze jsou expresívnější než relační databáze, ale méně expresivní než systémy logického programování. V posledních letech našly deduktivní databáze, jako je Datalog, nové využití v integraci dat, extrakci informací , vytváření sítí, programové analýze, zabezpečení a cloud computingu. [1] Deduktivní databáze a logické programování: Deduktivní databáze využívají mnoho konceptů z logického programování; pravidla a fakta specifikovaná v jazyce deduktivních databází. Datalog vypadá velmi podobně jako v Prologu . Nicméně důležité rozdíly mezi deduktivními databázemi a logickým programováním jsou:

• Citlivost a procedurálnost: v Prologu závisí provádění programu na pořadí pravidel v programu a pořadí částí pravidel; tyto vlastnosti využívají programátoři k vytváření efektivních programů. V databázových jazycích (jako je SQL nebo Datalog) však provádění programu nezávisí na pořadí pravidel a faktů.
• speciální predikáty. V Prologu mohou programátoři přímo ovlivňovat procedurální vyhodnocení programu speciálními predikáty, jako je cut , v deduktivních databázích tomu tak není.
• Funkční symboly: Logické programovací jazyky umožňují funkčním symbolům vytvářet složité symboly. V deduktivních databázích to není povoleno.
• Zpracování orientované na n-tice: Deduktivní  databáze používají zpracování orientované na množinu, zatímco logické programovací jazyky se soustředí vždy na jednu n-tici.

Odkazy

1. ↑ Datalog a vznikající aplikace . Získáno 18. května 2017. Archivováno z originálu dne 22. října 2020. (neurčitý)

Další čtení

• Autor: Herve Gallaire, Jack Minker, Jean-Marie Nicolas: Logika a databáze: deduktivní přístup . Vydavatel: ACM. doi:10.1145/356924.356929
• Autor: Stefano Ceri, Georg Gottlob, Letizia Tanca: Logické programování a databáze . Vydavatel: Springer-Verlag. ISBN 978-0-387-51728-5
• Autor: Ramez Elmasri a Shamkant Navathe: Základy databázových systémů (3. vydání). Vydavatel: Addison-Wesley Longman. ISBN 0-201-54263-3