Deduktiivne andmebaas on andmebaasisüsteem, mis võib teha oma andmete kohta järeldusi täpselt määratletud reeglite ja faktide põhjal. Seda tüüpi andmebaasi töötati välja, et ühendada loogika programmeerimine relatsiooniliste andmebaaside haldussüsteemidega. Tavaliselt on reeglite ja faktide määratlemiseks kasutatav keel loogiline programmeerimiskeel Datalog.

Andmed, Datalog, programmeerimise tingimused