Titlebook: Advances in Databases and Information Systems; 9th East European Co Johann Eder,Hele-Mai Haav,Jaan Penjam Conference proceedings 2005 Sprin

Generosity

hemophilia

Advances in Databases and Information Systems978-3-540-31895-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

公式

https://doi.org/10.1007/978-4-431-68506-7and 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 .4.5, .45, .4.5., .45., which are extensions of the monomodal logic .45. We show that MDatalog has PTIME data complexity in these logics.