Deduktiv ma’lumotlar bazasi. Deduktiv maʼlumotlar bazasi — bu (deduktiv) maʼlumotlar bazasida saqlangan qoidalar va faktlar asosida xulosalar (yaʼni, qoʻshimcha faktlarni qoʻshish) mumkin boʻlgan maʼlumotlar bazasi tizimi hisoblanadi. Datalog odatda deduktiv maʼlumotlar bazalarida faktlar, qoidalar va soʻrovlarni koʻrsatish uchun qoʻllaniladigan tildir. Deduktiv maʼlumotlar bazalari kuchli rasmiyatchilikni qoʻllab-quvvatlaydigan va hanuzgacha tezkor va juda katta maʼlumotlar toʻplamlarini boshqarishga qodir boʻlgan tizimlarni yaratish uchun mantiqiy dasturlashni relyatsion maʼlumotlar bazasi bilan birlashtirish istagidan kelib chiqqan. Deduktiv maʼlumotlar bazalari relyatsion maʼlumotlar bazalariga qaraganda koʻproq ifodali, ammo mantiqiy dasturlash tizimlariga qaraganda kamroq ifodali boʻladi. Soʻnggi yillarda Datalog kabi deduktiv maʼlumotlar bazalari maʼlumotlar integratsiyasi, maʼlumotni chiqarib olish, tarmoqlarni tashkil etish, dasturlar tahlili, xavfsizlik va bulutli hisoblashda yangi ilovalarni topdi. Deduktiv maʼlumotlar bazalari va mantiqiy dasturlash: Deduktiv maʼlumotlar bazalari mantiqiy dasturlashdan juda koʻp tushunchalardan foydalanadi; deduktiv maʼlumotlar bazalari tilida koʻrsatilgan qoidalar va faktlar. Datalog Prologdagilarga juda oʻxshaydi. Biroq, deduktiv maʼlumotlar bazalari va mantiqiy dasturlash oʻrtasidagi muhim farqlar mavjud: