托马斯·艾特;迈克尔·芬克;吉安路易吉·格雷科;多梅尼科·伦博 查询数据集成系统的逻辑程序的有效评估。 （英语） Zbl 1204.68080号 Palamidessi，Catuscia（编辑），《逻辑编程》。2003年12月9日至13日在印度孟买举行的第19届国际会议，ICLP 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20642-6/pbk）。莱克特。注释计算。科学。2916, 163-177 (2003). 摘要：许多数据集成系统通过全局模式的所有数据的统一视图提供对异构数据源的透明访问，全局模式可能对数据具有完整性约束。由于从源中检索的数据可能会违反这些约束，因此需要处理这种情况的方法。为此，最近的方法用非单调逻辑程序对数据集成系统中的查询应答进行建模。然而，虽然已经对理论方面进行了深入分析，但这种方法还没有真正的实现。一个问题是，建模查询应答的推理任务通常计算量很大，并且对演绎数据库系统进行直接评估对于大型数据集是不可行的。本文研究了通过逻辑程序有效地进行用户查询应答的技术。我们为需要在演绎系统中处理的数据开发了修剪和定位方法，并开发了在关系数据库引擎上重组结果的技术。实验表明了我们方法的可行性，并鼓励对这种方法进行进一步研究。关于整个系列，请参见[Zbl 1029.00063号]. 引用于9文件 MSC公司： 第68页，共15页 数据库理论 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，Lect。注释计算。科学。2916、163--177（2003年；Zbl 1204.68080） 全文： 内政部