imported>InternetArchiveBot：补救5个来源，并将0个来源标记为失效。) #IABot (v2.0.7

2020-09-25T14:42:36Z

补救5个来源，并将0个来源标记为失效。) #IABot (v2.0.7

新页面

'''Datalog'''是一种数据查询语言，专门设计与大型[[关系数据库]]交互<ref name="wanttoknow">{{cite journal|author=Stefano Ceri |coauthors=Georg gottlob, Letizia Tanca | title=What You Always Wanted to Know About Datalog (And Never Dared to Ask) | volume=1|date=1989年3月}}</ref>，语法与[[Prolog]]相似。正如[[SQL]]只是一个规范，[[Transact-SQL]]、[[PL-SQL]]是其具体实现一样；Datalog也是一个规范，bddbddb<ref>{{Citation | url = http://bddbddb.sourceforge.net/ | title = Source forge | contribution = bddbddb | accessdate = 2014-02-15 | archive-date = 2011-07-28 | archive-url = https://web.archive.org/web/20110728031647/http://bddbddb.sourceforge.net/ | dead-url = no }}</ref>、 DES<ref>{{Citation | url = http://www.fdi.ucm.es/profesor/fernan/DES/ | last = Fernan | title = DES | place = [[Spain|ES]] | publisher = UCM | accessdate = 2014-02-15 | archive-date = 2014-02-22 | archive-url = https://web.archive.org/web/20140222155227/http://www.fdi.ucm.es/profesor/fernan/DES/ | dead-url = no }}</ref>、OverLog<ref>{{Citation | url = http://db.cs.berkeley.edu/papers/sosp05-p2.pdf | title = Berkeley | format = PDF | accessdate = 2014-02-15 | archive-date = 2013-05-18 | archive-url = https://web.archive.org/web/20130518200926/http://db.cs.berkeley.edu/papers/sosp05-p2.pdf | dead-url = no }}</ref>、Deals<ref>{{cite web | url=http://wis.cs.ucla.edu/deals/ | title=Deductive Application Language (DeAL) System | accessdate=2014-02-14 | archive-date=2014-02-25 | archive-url=https://web.archive.org/web/20140225211941/http://wis.cs.ucla.edu/deals/ | dead-url=no }}</ref>等都按照Datalog的语法实现了自己的语言，所以Datalog没有特定的执行环境（如[[Java]]之于[[Java虚拟机]]，[[Prolog]]之于[[SWI-Prolog]]）。

==起源==
二十世纪九十年代，为了解决更多的问题，带有[[人工智能]]的系统通常要携带一个自行开发的数据库。这样的数据库非常简陋，不能数据共享与恢复，也不能在其他人工智能系统间通用。为了降低智能系统与数据库之间的[[耦合性 (计算机科学)|耦合]]（智能系统可以使用现有的成熟的数据库，并方便地从一种数据库切换到另一种数据库），需要一种在数据库与智能系统间交互的语言。于是Datalog应运而生。<ref name="wanttoknow"/>

{{link-en|David Maier|David Maier}}发明了Datalog这个名称<ref>{{Citation | author1-link = Serge Abiteboul | first1 = Serge | last1 = Abiteboul | first2 = Richard | last2 = Hull | author3-link = Victor Vianu | first3 = Victor | last3 = Vianu | title = Foundations of databases | page = 305 | url = http://books.google.com/books?id=HN9QAAAAMAAJ&q=David+Maier&pgis=1#search_anchor | accessdate = 2014-02-15 | archive-date = 2014-06-27 | archive-url = https://web.archive.org/web/20140627190611/http://books.google.com/books?id=HN9QAAAAMAAJ&q=David+Maier&pgis=1#search_anchor | dead-url = no }}</ref>。

==与Prolog的异同==
Datalog的语法是[[Prolog]]的子集；但是Datalog的语义与Prolog不同。

Prolog程序里的'''事实'''和'''规则'''的出现顺序决定了执行结果。很可能两条规则的出现顺序对换，程序就陷入死循环。Datalog程序对事实和规则的出现顺序不做要求，两条规则的出现顺序对换，执行结果仍然是一样的。

== 参考资料 ==
{{reflist}}
*{{cite journal|author=Stefano Ceri |coauthors=Georg gottlob, Letizia Tanca | title=What You Always Wanted to Know About Datalog (And Never Dared to Ask) | volume=1|date=1989年3月}}

{{Database}}

[[Category:邏輯編程語言]]
[[Category:数据查询语言]]

Datalog - 版本历史

imported>InternetArchiveBot：​补救5个来源，并将0个来源标记为失效。) #IABot (v2.0.7

imported>InternetArchiveBot：补救5个来源，并将0个来源标记为失效。) #IABot (v2.0.7