Loading...
Please wait, while we are loading the content...
Similar Documents
On modal deductive databases (2005)
| Content Provider | CiteSeerX |
|---|---|
| Author | Nguyen, Linh Anh |
| Description | Proceedings of ADBIS 2005, LNCS 3631 |
| Abstract | Abstract. 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. 1 |
| File Format | |
| Publisher Date | 2005-01-01 |
| Access Restriction | Open |
| Subject Keyword | Belief Kdi4s5 Magic-set Transformation Modal Deductive Database Modal Relational Algebra Seminaive Evaluation Algorithm Mdatalog Query Monomodal Logic Kd45 Ptime Data Complexity Multimodal Logic Multimodal Deductive Database Query Language |
| Content Type | Text |
| Resource Type | Proceeding Article |
