Generosity 发表于 2025-4-1 01:54:58
http://reply.papertrans.cn/15/1478/147727/147727_61.pnghemophilia 发表于 2025-4-1 07:41:06
Advances in Databases and Information Systems978-3-540-31895-8Series ISSN 0302-9743 Series E-ISSN 1611-3349公式 发表于 2025-4-1 13:29:49
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.