Μια παραληπτική βάση δεδομένων είναι ένα σύστημα βάσης δεδομένων που μπορεί να κάνει συμπεράσματα σχετικά με τα δεδομένα της βάσει ενός συνόλου σαφώς καθορισμένων κανόνων και γεγονότων. Αυτός ο τύπος βάσης δεδομένων αναπτύχθηκε για να συνδυάσει λογικό προγραμματισμό με συστήματα διαχείρισης σχεσιακών βάσεων δεδομένων. Συνήθως, η γλώσσα που χρησιμοποιείται για τον ορισμό των κανόνων και των γεγονότων είναι η λογική γλώσσα προγραμματισμού Datalog.

Δεδομένα, Datalog, Προγραμματισμός