Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases. David Maier is credited with coining the term Datalog.

Property Value
dbo:abstract
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases. David Maier is credited with coining the term Datalog. (en)
  • Datalog ist eine Datenbank-Programmiersprache für deduktive Datenbanken, die Prolog syntaktisch und semantisch ähnelt. Sie geht zurück auf die Arbeit von Herve Gallaire und Jack Minker im Jahr 1978. Datalog unterscheidet sich von Prolog in den folgenden Punkten: 1. * Zusammengesetzte Terme dürfen nicht als Argumente von Prädikaten vorkommen. So ist zum Beispiel erlaubt, dagegen verboten. 2. * In Datalog geschriebene Programme müssen im Hinblick auf Negation und Rekursion stratifiziert sein. 3. * Datalog-Programme können effizient bottom-up ausgewertet werden, wobei nur eine endliche Menge an Fakten abgeleitet werden kann und die Auswertungszeit beschränkt ist. 4. * Die Reihenfolge der Regeln spielt in einem Datalog-Programm keine Rolle. Ein Vorteil gegenüber relationalen Kalkülen ist die Möglichkeit, Rekursion ohne vorgegebene Rekursionstiefe definieren zu können. Die Terminierung der Rekursion kann durch deduktive Abgeschlossenheit erreicht werden, also durch Erreichen des kleinsten Fixpunktes. Derzeit entwickeln Forscher auf Basis von Datalog, das für extreme Parallelität geeignet ist, die Programmiersprache Boom für die effiziente Nutzung von Rechnerwolken. (de)
  • Datalog est un langage de requête et de règles pour les bases de données déductives. Il correspond à un sous ensemble de Prolog. Ses origines remontent aux débuts de la programmation logique. (fr)
  • Datalog è un linguaggio di interrogazione per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni ottanta. Esso è quel sottoinsieme di Prolog relativo ai database relazionali; infatti è basato anch'esso su regole di deduzione ma non permette l'utilizzo di simboli di funzione né un modello di valutazione non procedurale (SLD resolution). (it)
  • A Datalog é uma linguagem de consulta não procedural baseada na linguagem de programação lógica Prolog. Foi baseada na lógica relacional, na qual o usuário descreve as informações desejadas, sem fornecer um procedimento específico para obter essas informações. A linguagem foi originado no inicio da programação lógica, mas ganhou reconhecimento por volta de 1978, quando Hervé Gallaire e Jack Minker organizaram um workshop sobre bancos de dados lógicos. (pt)
  • Datalog – język zapytań wzorowany na języku Prolog stosowany dla dedukcyjnych baz danych. Oparty jest o metody wnioskowania znane z logik formalnych. Składa się z aksjomatów oraz reguł wnioskowania. Początki Datalogu związane są z początkami programowania logicznego. Za twórcę terminu Datalog uznawany jest David Maier. Rozwinięciem tego terminu jest określenie database logic - z ang. logika baz danych. Nie jest możliwe wskazanie konkretnej grupy twórców samego języka, gdyż w różnych publikacjach pojawiał się jako okrojenie bądź rozszerzenie innych języków i modeli obliczeniowych. Historia Datalogu jako niezależnej dziedziny badań naukowych związana jest z warsztatami poświęconymi logice i bazom danych, które zostały zorganizowane w 1977 roku przez Hervé'a Gallaire i Jacka Minkera Datalog cieszył się największą popularnością od połowy lat 80. do połowy 90., ale nawet współcześnie jest używany jako język zapytań w projektach badawczych i implementacjach dedukcyjnych baz danych (pl)
  • Datalog是一种数据查询语言,专门设计与大型关系数据库交互,语法与Prolog相似。正如SQL只是一个规范,Transact-SQL、PL-SQL是其具体实现一样;Datalog也是一个规范,bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言,所以Datalog没有特定的执行环境(如Java之于Java虚拟机,Prolog之于SWI-Prolog)。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 968357 (xsd:integer)
dbo:wikiPageRevisionID
  • 731670642 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases. David Maier is credited with coining the term Datalog. (en)
  • Datalog est un langage de requête et de règles pour les bases de données déductives. Il correspond à un sous ensemble de Prolog. Ses origines remontent aux débuts de la programmation logique. (fr)
  • Datalog è un linguaggio di interrogazione per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni ottanta. Esso è quel sottoinsieme di Prolog relativo ai database relazionali; infatti è basato anch'esso su regole di deduzione ma non permette l'utilizzo di simboli di funzione né un modello di valutazione non procedurale (SLD resolution). (it)
  • A Datalog é uma linguagem de consulta não procedural baseada na linguagem de programação lógica Prolog. Foi baseada na lógica relacional, na qual o usuário descreve as informações desejadas, sem fornecer um procedimento específico para obter essas informações. A linguagem foi originado no inicio da programação lógica, mas ganhou reconhecimento por volta de 1978, quando Hervé Gallaire e Jack Minker organizaram um workshop sobre bancos de dados lógicos. (pt)
  • Datalog是一种数据查询语言,专门设计与大型关系数据库交互,语法与Prolog相似。正如SQL只是一个规范,Transact-SQL、PL-SQL是其具体实现一样;Datalog也是一个规范,bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言,所以Datalog没有特定的执行环境(如Java之于Java虚拟机,Prolog之于SWI-Prolog)。 (zh)
  • Datalog ist eine Datenbank-Programmiersprache für deduktive Datenbanken, die Prolog syntaktisch und semantisch ähnelt. Sie geht zurück auf die Arbeit von Herve Gallaire und Jack Minker im Jahr 1978. Datalog unterscheidet sich von Prolog in den folgenden Punkten: 1. * Zusammengesetzte Terme dürfen nicht als Argumente von Prädikaten vorkommen. So ist zum Beispiel erlaubt, Derzeit entwickeln Forscher auf Basis von Datalog, das für extreme Parallelität geeignet ist, die Programmiersprache Boom für die effiziente Nutzung von Rechnerwolken. (de)
  • Datalog – język zapytań wzorowany na języku Prolog stosowany dla dedukcyjnych baz danych. Oparty jest o metody wnioskowania znane z logik formalnych. Składa się z aksjomatów oraz reguł wnioskowania. Początki Datalogu związane są z początkami programowania logicznego. Za twórcę terminu Datalog uznawany jest David Maier. Rozwinięciem tego terminu jest określenie database logic - z ang. logika baz danych. (pl)
rdfs:label
  • Datalog (en)
  • Datalog (de)
  • Datalog (it)
  • Datalog (fr)
  • Datalog (pl)
  • Datalog (pt)
  • Datalog (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:genre of
is dbo:influenced of
is dbo:influencedBy of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of