(Translated by https://www.hiragana.jp/)
Datalog - 维基百科,自由的百科全书 とべ转到内容ないよう

Datalog

维基百科ひゃっか自由じゆうてき百科ひゃっかぜん

Datalog一种数据查询语言,专门设计与大型おおがた关系すうすえ交互こうご[1],语法あずかProlog相似そうじせいSQLただいち个规范,Transact-SQLPL-SQL具体ぐたい实现いち样;Datalog也是いち个规范,bddbddb[2]、 DES[3]、OverLog[4]、Deals[5]とう按照Datalogてき语法实现りょう自己じこてき语言,所以ゆえんDatalogぼつゆう特定とくていてき执行环境(如JavaこれJavaきょ拟机PrologこれSWI-Prolog)。

起源きげん

[编辑]

じゅうせい纪九じゅう年代ねんだい,为了解りょうかい决更てき问题,带有人工じんこう智能ちのうまとけい通常つうじょうよう携带一个自行开发的数据库。这样てきすうすえ非常ひじょう简陋,不能ふのうすうすえどもとおるあずか恢复,也不能ふのうざい其他人工じんこう智能ちのうけい统间通用つうよう。为了くだてい智能ちのうけい统与すうすえ库之间的耦合智能ちのうけい统可以使用しよう现有てき成熟せいじゅくてきすうすえ库,并方便びん从一种数据库切换到另一种数据库),需要じゅよう一种在数据库与智能系统间交互的语言。于是Datalog应运而生。[1]

David MaierえいDavid Maier发明りょうDatalog这个名称めいしょう[6]

あずかPrologてき异同

[编辑]

Datalogてき语法PrologてきしゅうただしDatalogてき语义与Prolog不同ふどう

Prologほどじょさとてきこと规则まと现顺じょ决定りょう执行结果。很可能かのう两条规则てき现顺じょ对换,ほどじょ就陷いれ循环。Datalogほどじょ对事实和规则てき现顺じょ要求ようきゅう,两条规则てき现顺じょ对换,执行结果仍然いち样的。


参考さんこう资料

[编辑]
  1. ^ 1.0 1.1 Stefano Ceri; Georg gottlob, Letizia Tanca. What You Always Wanted to Know About Datalog (And Never Dared to Ask) 1. 1989ねん3がつ. 
  2. ^ bddbddb, Source forge, [2014-02-15], (原始げんし内容ないようそん于2011-07-28) 
  3. ^ Fernan, DES, ES: UCM, [2014-02-15], (原始げんし内容ないようそん于2014-02-22) 
  4. ^ Berkeley (PDF), [2014-02-15], (原始げんし内容ないようそん (PDF)于2013-05-18) 
  5. ^ Deductive Application Language (DeAL) System. [2014-02-14]. (原始げんし内容ないようそん于2014-02-25). 
  6. ^ Abiteboul, Serge; Hull, Richard; Vianu, Victor, Foundations of databases: 305, [2014-02-15], (原始げんし内容ないようそん于2014-06-27) 
  • Stefano Ceri; Georg gottlob, Letizia Tanca. What You Always Wanted to Know About Datalog (And Never Dared to Ask) 1. 1989ねん3がつ.