Generosity
发表于 2025-4-1 01:54:58
http://reply.papertrans.cn/15/1478/147727/147727_61.png
hemophilia
发表于 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.