En deduktiv database er et databasesystem, der kan drage konklusioner om sine data baseret på et sæt af veldefinerede regler og fakta. Denne type database blev udviklet til at kombinere logik programmering med relationelle database management systemer. Normalt er det sprog, der bruges til at definere regler og fakta, det logiske programmeringssprog Datalog.

Data, Datalog, Programmeringsbetingelser