Une base de données déductive est un système de base de données capable de tirer des conclusions sur ses données en se basant sur un ensemble de règles et de faits bien définis. Ce type de base de données a été développé pour combiner la programmation logique avec des systèmes de gestion de base de données relationnelle. Habituellement, le langage utilisé pour définir les règles et les faits est le langage de programmation logique Datalog.

Données, Datalog, Termes de programmation