沃尔夫冈·费伯；吉安路易吉·格雷科；尼古拉·利昂 魔术集及其在数据集成中的应用。 （英语） 兹比尔1112.68365 Eiter，Thomas（编辑）等人，数据库理论–ICDT 2005。第十届国际会议，英国爱丁堡，2005年1月5-7日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24288-0/pbk）。计算机科学讲座笔记3363306-320（2005）。 摘要：我们将著名的Magic Sets技术推广到在稳定模型语义下具有（可能未经批准的）否定的Datalog（^\neg）程序。我们的技术生成了一个新程序，该程序的求值通常更高效（由于实例化较小），同时在谨慎的推理下保持了合理性。重要的是，如果原始程序是一致的，那么对于勇敢和谨慎的推理来说，完全的查询等效性是有保证的，最终证明是合理和完整的。为了正式证明我们的Magic Sets转换的正确性，我们在稳定模型语义下为Datalog引入了一个新的模块性概念，这本身是相关的。我们证明了模块可以独立于程序的其余部分进行评估，同时在谨慎推理下保持稳健性。对于一致的程序，勇敢的推理和谨慎的推理都保证了其可靠性和完整性。我们的Magic Sets优化是提高数据集成系统性能的有效方法，在该系统中，通过对Datalog（^\neg\）程序进行谨慎推理来执行查询应答。事实上，在欧盟项目INFOMIX中的初步实验结果表明，魔术集是系统可扩展性的基础。关于整个系列，请参见[Zbl 1067.68004号]. MSC公司： 第68页，共15页 数据库理论 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：逻辑程序设计；稳定模型；数据集成；魔法套装；答案集；模块化 软件：NP数据日志 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人，Lect。注释计算。科学。3363、306--320（2005年；Zbl 1112.68365） 全文： DOI程序