Дедуктивная база данных - это система баз данных, которая может делать выводы о своих данных на основе набора четко определенных правил и фактов. Этот тип базы данных был разработан для объединения логического программирования с системами управления реляционными базами данных. Обычно язык, используемый для определения правил и фактов, является логическим языком программирования Datalog.

Data, Datalog, условия программирования