En deduktiv database er et databasesystem som kan gi konklusjoner om sine data basert på et sett med veldefinerte regler og fakta. Denne typen database ble utviklet for å kombinere logisk programmering med relasjonsdatabasebehandlingssystemer. Vanligvis er språket som brukes til å definere regler og fakta det logiske programmeringsspråket Datalog.

Data, Datalog, Programmeringsbetingelser