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 KDI4s5, KDI45, KD4s5s, KD45(m), which are extensions of the monomodal logic KD45. We show that MDatalog has PTIME data complexity in these logics.

• Type: Conference
• Year: 2005
• Where: ADBIS
• Authors: Linh Anh Nguyen
• Keywords: ADBIS 2005, Database, Modal Relational Algebras, Multimodal Deductive Databases, Multimodal Logics