Basis data deduktif adalah sistem basis data yang dapat membuat kesimpulan tentang datanya berdasarkan serangkaian aturan dan fakta yang terdefinisi dengan baik. Jenis database ini dikembangkan untuk menggabungkan pemrograman logika dengan sistem manajemen basis data relasional. Biasanya, bahasa yang digunakan untuk mendefinisikan aturan dan fakta adalah bahasa pemrograman logis Datalog.

Data, Datalog, istilah-istilah Pemrograman