Datalog is a query and rule language for deductive databases that syntactically is a subset of Prolog. 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.

PropertyValue
dbpprop:abstract
  • Datalog is a query and rule language for deductive databases that syntactically is a subset of Prolog. 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.
  • 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. Sie ist eigentlich nur von theoretischer Bedeutung, da es bis heute keine kommerzielle Datenbank gibt, die Datalog anbietet. Datalog unterscheidet sich von Prolog in den folgenden Punkten: Zusammengesetzte Terme dürfen nicht als Argumente von Prädikaten vorkommen. So ist zum Beispiel <math>P(1, 2)</math> erlaubt, <math>P(f, 2)</math> dagegen verboten. In Datalog geschriebene Programme müssen im Hinblick auf Negation und Rekursion stratifiziert sein. 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. 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.
  • 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.
  • Datalog è un linguaggio di interrogazioni per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni '80. Esso discende direttamente da Prolog del quale è la semplificazione dedicata 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).
  • Um programa Datalog consiste em um conjunto de regras. Consideremos uma regra de Datalog para definir uma relação de visualização v1, contendo a matéria Calculo e as notas maior que 6. v1(A,B) :- universidade(A, "Calculo", B), B > 6 Os resultados serão: } Essa declaração é equivalente a: para todo A,B se (A, "Calculo",B) esta_contido_em Universidade e B > 6 então (A,B) esta_contido_em v1 Podemos recuperar a nota recebida de fernando, na relação de visualização v1 escrevendo a seguinte consulta: ? v1 ("Fernando", B) A resposta para a consulta é: (Fernando, 7) Em geral, precisamos de mais de uma regra para definir uma relação de visualização. Cada regra define um conjunto de tuplas que a relação de visualização precisa conter. O programa Datalog a seguis especifica se o aluno passou de ano: Resultado_Final(A, "Passou de Ano") :- universidade (A, N, B), B >= 5 Resultado_Final(A, "Reprovado") :- universidade (A, N, B), B < 5 As implementações da Datalog reconhecem atributos de uma relação por posição. Assim, as regras Datalog são compactas, se comparadas com as consultas SQL. Entretanto, quando as relações possuem um grande número de atributos ou quando a ordem ou o número de atributos das relações mudam, a notação posicional pode ser confusa e propensa a erros. Então Podemos criar um atributo nomeado ao invéz de atributos possicionais. Então, a regra V1 escrita acima, pode ser definida como: v1 (nome A, nota B) :- universidade (nome A, materia "Calculo", nota B), B > 6
dbpprop:hasPhotoCollection
dbpprop:influenced
dbpprop:influencedBy
dbpprop:name
  • Datalog
dbpprop:paradigm
dbpprop:reference
dbpprop:turingComplete
  • No
dbpprop:wikiPageUsesTemplate
dbpprop:year
  • 1978 (xsd:integer)
rdf:type
rdfs:comment
  • Datalog is a query and rule language for deductive databases that syntactically is a subset of Prolog. 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.
  • 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. Sie ist eigentlich nur von theoretischer Bedeutung, da es bis heute keine kommerzielle Datenbank gibt, die Datalog anbietet. Datalog unterscheidet sich von Prolog in den folgenden Punkten: Zusammengesetzte Terme dürfen nicht als Argumente von Prädikaten vorkommen.
  • 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.
  • Datalog è un linguaggio di interrogazioni per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni '80. Esso discende direttamente da Prolog del quale è la semplificazione dedicata 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).
  • Um programa Datalog consiste em um conjunto de regras. Consideremos uma regra de Datalog para definir uma relação de visualização v1, contendo a matéria Calculo e as notas maior que 6.
rdfs:label
  • Datalog
  • Datalog
  • Datalog
  • Datalog
  • Datalog
owl:sameAs
skos:subject
foaf:page
is dbpprop:influenced of
is dbpprop:influencedBy of
is owl:sameAs of