基于逻辑的数据集成方法
A logic-based approach to data integration
摘要：
数据集成的一个重要方面涉及使用各种资源而不是通过访问数据库关系来回答查询。将查询从数据库关系转换为资源的过程通常被称为查询折叠或使用视图回答查询，其中视图是资源。我们提出了一个统一的方法，包括作为特殊情况下，以前的工作就这个问题。我们的方法是基于逻辑的使用分辨率。我们处理完整性约束，否定和递归也在这个框架内。
英文摘要：
An important aspect of data integration involves answering queries using various resources rather than by accessing database relations. The process of transforming a query from the database relations to the resources is often referred to as query folding or answering queries using views, where the views are the resources. We present a uniform approach that includes as special cases much of the previous work on this subject. Our approach is logic-based using resolution. We deal with integrity constraints, negation, and recursion also within this framework.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
