Дедуктивна база данни е система от бази данни, която може да прави заключения за своите данни въз основа на набор от добре дефинирани правила и факти. Този тип база данни е разработена, за да комбинира логическо програмиране с релационни системи за управление на бази данни. Обикновено езикът, използван за определяне на правилата и фактите, е логическият език за програмиране Datalog.

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