Datalog: Διαφορά μεταξύ των αναθεωρήσεων

Συστήματα Datalog βρίσκονται πίσω από εξειδικευμένες βάσεις δεδομένων όπως η βάση δεδομένων της [http://www.intellidimension.com/ Intellidimension] για το [[σημασιολογικό ιστό]]. Επιπλέον, κάποια δημοφιλή συστήματα βάσεων δεδομένων περιλαμβάνουν ιδέες και αλγόριθμους που αναπτύχθηκαν για τη Datalog. Για παράδειγμα το πρότυπο [[SQL:1999]] περιλαμβάνει αναδρομικές ερωτήσεις και ο αλγόριθμος [[Magic Sets]] (που αρχικά αναπτύχθηκε για τη γρηγορότερη αποτίμηση των ερωτήσεων της Datalog) έχει υλοποιηθεί στην [[IBM DB2|DB2]] της [[IBM]].

 

 

== Παράδειγμα ==

Οι περισσότερες υλοποιήσεις της Datalog προέρχονται από ακαδημαϊκά εγχειρήματα.<ref>{{Cite web |url=http://www.sigmod.org/sigmod/databaseSoftware/nonprofit/ |title=ACM SIGMOD Database Software |accessdate=2010-07-04 |archiveurl=https://web.archive.org/web/20100315200352/http://www.sigmod.org/sigmod/databaseSoftware/nonprofit/ |archivedate=2010-03-15 |url-status=dead }}</ref> Ακολουθεί μια σύντομη λίστα από συστήματα που είτε βασίζονται στη Datalog ή παρέχουν κάποιο διερμηνέα της:

* [http://bddbddb.sourceforge.net/ bddbddb], μια υλοποίηση της Datalog του [[Πανεπιστήμιο Στάνφορντ|Πανεπιστημίου Στάνφορντ]]. Χρησιμοποιείται κυρίως για ερωτήσεις πάνω σε κώδικα byte της Java, για παράδειγμα στην ανάλυση "δείχνει-σε" ("points-to") σε μεγάλα προγράμματα σε Java.

* [https://web.archive.org/web/20160311171954/http://www.iris-reasoner.org/ IRIS], μια μηχανή ανοιχτού λογισμικού για Datalog που έχει υλοποιηθεί σε [[Java]]. Η IRIS επεκτείνει τη Datalog με σύμβολα συναρτήσεων, ενσωματωμένα κατηγορήματα, τοπικά διαστρωματωμένα ή μη-διαστρωματωμένα λογικά προγράμματα (με χρήση καλώς ορισμένης σημασιολογίας), μη ασφαλείς κανόνες και τύπους δεδομένων από XML σχήματα ([[XML schemas]]).

* [http://www.fdi.ucm.es/profesor/fernan/DES/ DES], μια υλοποίηση ανοιχτού κώδικα της Datalog που προορίζεται για την εκμάθηση της Datalog σε μαθήματα.

* XSB, ένα σύστημα βάσης δεδομένων λογικού προγραμματισμού για [[Unix]] και [[Windows]].

* [https://web.archive.org/web/20110111125913/http://www.ccs.neu.edu/home/ramsdell/tools/datalog/ Datalog], μια ελαφρή λογική βάση δεδομένων γραμμένη σε [[Lua]].

* SecPAL, μια γλώσσα για κανόνες ασφάλειας που αναπτύχθηκε από τη [[Microsoft Research]].<ref>{{cite web | url = http://research.microsoft.com/projects/secpal | work = Microsoft Research | title = SecPAL | accessdate = 2010-07-04 | archiveurl = https://web.archive.org/web/20070223213744/http://research.microsoft.com/projects/SecPAL/ | archivedate = 2007-02-23 | url-status = dead }}</ref>