On Modal Deductive Databases
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evaluation algorithm and the magic-set transformation for MDatalog queries. Results of this paper are proved for the multimodal logics of belief KDI4 s 5, KDI45, KD4 s 5 s , KD45(m), which are extensions of the monomodal logic KD45. We show that MDatalog has PTIME data complexity in these logics.
KeywordsModal Logic Logic Programming Predicate Symbol Kripke Model Constant Symbol
Unable to display preview. Download preview PDF.
- 10.Nguyen, L.A.: Multimodal logic programming and its applications to modal deductive databases (2003), Manuscript (served as a technical report), available on Internet at, http://www.mimuw.edu.pl/~nguyen/papers.html