Quelltext der Seite Datalog

'''Datalog''' ist eine [[Datenbank]]-[[Programmiersprache]] für [[deduktive Datenbank]]en, die [[Prolog (Programmiersprache)|Prolog]] syntaktisch und semantisch ähnelt.

Sie geht zurück auf die Arbeit von [[Herve Gallaire]] und [[Jack Minker]] im Jahr 1978.<ref name="DatalogUrsprung">''Logic and Data Bases''. Symposium on Logic and Data Bases, Centre d’études et de recherches de Toulouse in „Advances in Data Base Theory“. Plenum Press, New York 1978</ref>

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(1), 2)</math> dagegen verboten.
:# In Datalog geschriebene Programme müssen im Hinblick auf Negation und Rekursion [[Stratifikation (Mathematik)|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 [[Axiomensystem|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 (Programmiersprache)|Boom]]<ref name="BOOM">[https://www2.eecs.berkeley.edu/Research/Projects/Data/105733.html ''BOOM: Generating Big Clouds from Small Programs''.] 23. Dezember 2009</ref> für die effiziente Nutzung im [[Cloud Computing]].<ref name="CodeWolke">[https://www.heise.de/tr/artikel/Besserer-Code-fuer-die-Wolke-891230.html ''Besserer Code für die Wolke''.] heise.de; Technology Review online, 23. Dezember 2009</ref>

== Beispiel-Programm ==

<syntaxhighlight lang="prolog">
% koeln ist mit duesseldorf verbunden
verbunden(koeln,duesseldorf).
% duesseldorf ist mit dortmund verbunden
verbunden(duesseldorf,dortmund).
% hannover ist mit dortmund verbunden
verbunden(hannover,dortmund).
% wenn X mit Y verbunden ist, dann auch Y mit X
verbunden(Y,X) :- verbunden(X,Y).
% X ist mit Z verbunden, wenn X mit einem beliebigen Y verbunden ist, das wiederum mit Z verbunden ist
verbunden(X,Z) :- verbunden(X,Y),verbunden(Y,Z).
% Anfrage: Ist koeln mit hannover verbunden?
?- verbunden(koeln,hannover)?
</syntaxhighlight>

== Weblinks ==
* [https://des.sourceforge.net/ Datalog Educational System]
* [https://sourceforge.net/projects/datalog datalog - a lightweight deductive database system]

== Einzelnachweise ==
<references />

[[Kategorie:Datenbanksprache]]
[[Kategorie:Logische Programmiersprache]]