斯坦尼斯拉夫·基科特;罗马人孔查科夫;弗拉基米尔·波多尔斯基;迈克尔·扎克哈里亚舍夫 查询重写的指数下限和分隔。 (英语) Zbl 1367.68089号 Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学课堂讲稿7392263-274(2012)。 摘要:我们在计算单调布尔函数的电路和公式的大小与OWL2QL本体上联合查询的一阶和非递归数据日志重写的大小之间建立了联系。我们使用已知的下限和电路复杂度的分离结果来证明不使用非签名常量的重写大小的类似结果。例如,我们表明,在最坏的情况下,正存在和非递归数据日志重写要比原始查询长得多;非递归数据日志重写通常比正存在重写简洁得多;而一阶重写比正存在重写更简洁。关于整个系列,请参见[Zbl 1248.68031号]. 引用于5文件 MSC公司: 第68页,共15页 数据库理论 68N17号 逻辑编程 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 2012年第68季度 语法和重写系统 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{S.Kikot}等人,Lect。注释计算。科学。7392、263--274(2012年;Zbl 1367.68089) 全文: 内政部 arXiv公司 链接