Deduktív adatbázis
A deduktív adatbázis olyan adatbázisrendszer , amely (deduktív) adatbázisban tárolt szabályok és tények alapján következtetéseket vonhat le (azaz további tényekre következtethet ). A Datalog egy olyan nyelv, amelyet gyakran használnak tények, szabályok és lekérdezések megadására deduktív adatbázisokban. A deduktív adatbázisok abból a vágyból nőttek ki, hogy a logikai programozást relációs adatbázissal kombinálják , hogy olyan rendszereket hozzanak létre, amelyek támogatják a hatékony formalizmust, és még mindig gyorsak és képesek nagyon nagy adatkészletek kezelésére. A deduktív adatbázisok kifejezőbbek, mint a relációs adatbázisok, de kevésbé kifejezőek , mint a logikai programozási rendszerek. Az elmúlt években az olyan deduktív adatbázisok, mint a Datalog, új felhasználási területet találtak az adatintegrációban, az információkinyerésben , a hálózatépítésben, a programelemzésben, a biztonságban és a számítási felhőben. [1]
Deduktív adatbázisok és logikai programozás: A deduktív adatbázisok sok fogalmat használnak a logikai programozásból; a deduktív adatbázisok nyelvén meghatározott szabályok és tények. A Datalog nagyon hasonlít a Prologhoz . A deduktív adatbázisok és a logikai programozás közötti fontos különbségek azonban a következők:
- Érzékenység és procedurálisság: a Prologban a program végrehajtása a programban lévő szabályok sorrendjétől és a szabályrészek sorrendjétől függ; ezeket a tulajdonságokat használják a programozók hatékony programok létrehozására. Az adatbázis-nyelvekben (például SQL vagy Datalog) azonban a program végrehajtása nem függ a szabályok és tények sorrendjétől.
- speciális predikátumok. A Prologban a programozók közvetlenül befolyásolhatják a program procedurális kiértékeléseit speciális predikátumokkal, például cut , deduktív adatbázisokban ez nem így van.
- Funkciószimbólumok: A logikai programozási nyelvek lehetővé teszik a funkciószimbólumok komplex szimbólumok létrehozását. Ez a deduktív adatbázisokban nem megengedett.
- Tuple -orientált feldolgozás: A deduktív adatbázisok halmazorientált feldolgozást használnak, míg a logikai programozási nyelvek egyszerre egy sorra koncentrálnak.
Linkek
- ↑ Datalog és feltörekvő alkalmazások . Letöltve: 2017. május 18. Az eredetiből archiválva : 2020. október 22. (határozatlan)
További olvasnivaló
- Szerző: Herve Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach . Kiadó: ACM. doi:10.1145/356924.356929
- Szerző: Stefano Ceri, Georg Gottlob, Letizia Tanca: Logikai programozás és adatbázisok . Kiadó: Springer-Verlag. ISBN 978-0-387-51728-5
- Szerző: Ramez Elmasri és Shamkant Navathe: Fundamentals of Database Systems (3. kiadás). Kiadó: Addison-Wesley Longman. ISBN 0-201-54263-3