DATALOG Referenzen

8

Was sind die besten Referenzen für das Selbststudium in DATALOG? Ich interessiere mich besonders für Ausdruckskraft, Komplexitätsergebnisse, Bewertungsmethoden, Erweiterungen von DATALOG mit Negation usw. Gibt es Bücher oder Papiere, die all dies abdecken?

reference-request lo.logic db.databases logic-programming Ariadne
quelle
1
Ein wichtiges, relativ aktuelles Komplexitätspapier zu DATALOG, das mir in den Sinn kommt (obwohl Sie vielleicht nur nach Umfragen suchen): A. Atserias. Über ausreichende Bedingungen für die Unzufriedenheit von Zufallsformeln, Journal of the ACM, 51 (2), Seiten 281-311, 2004.
Iddo Tzameret

Antworten:

10

Das meiste, wonach Sie suchen, wird in der Umfrage ausführlich behandelt

  • Stefano Ceri, Georg Gottlob und Letizia Tanca, Was Sie schon immer über Datalog wissen wollten (und nie zu fragen gewagt haben) , IEEE Transactions on Knowledge and Data Engineering 1 146–166, 1989. ( Link , Nachdruck )

und seine Referenzen. Das Feld wurde dann für eine lange Zeit ziemlich ruhig.

In letzter Zeit haben verschiedene Erweiterungen von Datalog viel Aufmerksamkeit auf sich gezogen, und die Datalog 2.0-Konferenz im Jahr 2010 war gut besucht. Ich persönlich bin ziemlich angetan von der Datalog ± -Erweiterungsfamilie, da sie es ermöglicht, verschiedene Arten von Beschreibungslogiken in einem gut erzogenen und gut verstandenen Fragment der klassischen Logik zu erfassen:

  • Andrea Calì, Georg Gottlob und Thomas Lukasiewicz, Datalog ±: Ein einheitlicher Ansatz für Ontologien und Integritätsbeschränkungen , ICDT 2009, 14–30. ( Link )
András Salamon
quelle
5

Die Standardreferenz (vollständiger und aktueller als die Umfrage von Ceri et al.) Ist Foundations of Databases von Abiteboul, Hull und Vianu. (Glücklicherweise hat Addison-Wesley den Autoren die Erlaubnis gegeben, die PDFs online zu stellen.)

tjgreen
quelle