Deduktivna baza podatkov je sistem zbirke podatkov, ki lahko sklepa o svojih podatkih na podlagi niza natančno določenih pravil in dejstev. Ta vrsta podatkovne baze je bila razvita za združevanje logičnega programiranja s sistemi za upravljanje relacijskih baz podatkov. Običajno je jezik, ki se uporablja za definiranje pravil in dejstev, logični programski jezik Datalog.

Podatki, Datalog, Programski izrazi