## On modal deductive databases (2005)

### Cached

### Download Links

- [www.mimuw.edu.pl]
- [www.mimuw.edu.pl]
- [www.mimuw.edu.pl]
- [www.mimuw.edu.pl]
- DBLP

### Other Repositories/Bibliography

Venue: | Proceedings of ADBIS 2005, LNCS 3631 |

Citations: | 10 - 8 self |

### BibTeX

@INPROCEEDINGS{Nguyen05onmodal,

author = {Linh Anh Nguyen},

title = {On modal deductive databases},

booktitle = {Proceedings of ADBIS 2005, LNCS 3631},

year = {2005},

pages = {43--57},

publisher = {Springer}

}

### Years of Citing Articles

### OpenURL

### Abstract

We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algorithm, the top-down evaluation algorithm, and the magic-set transformation for MDatalog queries. The results of this paper like soundness and completeness of the top-down evaluation algorithm or correctness of the magic-set transformation are proved for the multimodal logics of belief KDI4s5, KDI45, KD4s5s, KD45(m), KD4Ig5a, and the class of serial contextfree grammar logics. We also show that MDatalog has PTIME data complexity in the logics KDI4s5, KDI45, KD4s5s, and KD45(m). 1