En deduktiv databas är ett databasystem som kan dra slutsatser om dess data baserat på en uppsättning väldefinierade regler och fakta. Denna typ av databas utvecklades för att kombinera logisk programmering med relationsdatabashanteringssystem. Vanligtvis är det språk som används för att definiera regler och fakta det logiska programmeringsspråket Datalog.

Data, Datalog, Programmeringsvillkor