Eine deduktive Datenbank ist ein Datenbanksystem, das auf der Grundlage einer Reihe klar definierter Regeln und Fakten Rückschlüsse auf seine Daten zieht. Dieser Datenbanktyp wurde entwickelt, um Logikprogrammierung mit relationalen Datenbankverwaltungssystemen zu kombinieren. Üblicherweise ist die Sprache zur Definition der Regeln und Fakten die logische Programmiersprache Datalog.
Daten, Programmiersprache, Programmierbegriffe
