deduktív adatbázis

Kapcsolódó fogalmak: 
dedukcióelmélet
Rövid szöveges bemutatás: 
A deduktív adatbázis, olyan adatbázis amely igaz tényekből és következtetési szabályokból áll. Az adatbázis végzi el a következtetéseket, így tud válaszolni konkrét lekérdezésekre. A rendszer a predikátum kalkuluson alapszik.