Deduktivní databáze - Deductive database

A deduktivní databáze je databázový systém které mohou dělat odpočty (tj. uzavřít další fakta) na základě pravidla a fakta uloženy v (deduktivní) databázi. Datalog je jazyk obvykle používaný ke specifikaci faktů, pravidel a dotazů v deduktivních databázích. Deduktivní databáze vyrostly z touhy kombinovat logické programování s relační databáze budovat systémy, které podporují silný formalismus a jsou stále rychlé a schopné vypořádat se s velmi velkými datovými sadami. Deduktivní databáze jsou expresivnější než relační databáze, ale méně expresivní než systémy logického programování. V posledních letech našly v aplikaci nové aplikace deduktivní databáze, jako je Datalog integrace dat, extrakce informací, sítě, analýza programu, zabezpečení a cloud computing.[1]

Deduktivní databáze znovu používají mnoho konceptů z logického programování; pravidla a fakta specifikovaná v jazyce deduktivní databáze Datalog vypadají velmi podobně jako v Prolog. Důležité rozdíly mezi deduktivními databázemi a logickým programováním:

  • Citlivost a procedurálnost objednávky: V Prologu závisí provádění programu na pořadí pravidel v programu a na pořadí částí pravidel; tyto vlastnosti používají programátoři k vytváření efektivních programů. V databázových jazycích (jako SQL nebo Datalog) je však provádění programu nezávislé na pořadí pravidel a faktů.
  • Speciální predikáty: V Prologu mohou programátoři přímo ovlivnit procedurální vyhodnocení programu pomocí speciálních predikátů, jako je střih, toto nemá žádnou korespondenci v deduktivních databázích.
  • Funkční symboly: Logické programovací jazyky umožňují funkční symboly vybudovat složité symboly. V deduktivních databázích to není povoleno.
  • Tuple -orientované zpracování: Deduktivní databáze používají zpracování orientované na množinu, zatímco logické programovací jazyky se soustředí na jednu n-tici najednou.

Reference

  1. ^ Datalog a vznikající aplikace

Další čtení

  • Autor: Herve Gallaire, Jack Minker Jean-Marie Nicolas: Logika a databáze: dedukční 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