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.
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Advances in Databases and Information Systems; 9th East European Co Johann Eder,Hele-Mai Haav,Jaan Penjam Conference proceedings 2005 Sprin