Дедуктивна база података је систем базе података који може доносити закључке о својим подацима на основу скупа добро дефинисаних правила и чињеница. Овај тип базе података је развијен да комбинује логичко програмирање са системима за управљање релационим базама података. Обично се језик који се користи за дефинисање правила и чињеница је логички програмски језик Даталог.

Дата, Даталог, Программинг термс