U.S.-Chile Cooperative Research: Queries in Inconsistent Databases

9901877Chomicki这个美洲计划奖将资助一个为期两年的合作研究项目，该项目由新泽西州蒙茅斯学院的Jan Chomicki博士和智利天主教大学的Leopoldo Bertossi博士共同完成，目的是在关系数据库中寻找可能与给定的完整性约束不一致的一致查询答案的逻辑特征。 完整性约束捕获每个数据库应用程序的重要规范方面，但通常不能保证它们的满足，并且可能存在违反它们的数据库实例。 了解哪些查询答案与完整性约束一致，哪些不一致是很重要的。为了回答这个问题，该研究将解决一些问题，包括一致查询答案的语义，计算一致查询答案的过程及其实现，这些过程的属性的形式化分析，可靠性，完整性，终止性，计算，复杂性，识别具有上级计算属性的约束类，以及数据仓库中数据清洗的应用，异构数据库中的信息集成和触发器 这项研究的结果可以应用到许多领域，包括数据仓库（CD97），数据库集成和主动和被动数据库。 这个合作项目将Chomicki博士在数据库理论方面的专业知识与Bertossi博士在数理逻辑和知识表达方面的广泛背景结合在一起。 这种结合将大大增加成功解决本研究报告所涉问题的机会。

9901877ChomickiThis Americas Program award will fund a two year cooperative research project between Dr. Jan Chomicki, Monmouth College, NJ, and Dr. Leopoldo Bertossi, Pontificia Universidad Catolica de Chile, on a project to search for a logical characterization of consistent query answers in relational databases that may be inconsistent with the given integrity constraints. Integrity constraints capture an important normative aspect of every database application, but often their satisfaction cannot be guaranteed and there may exist database instances that violate them. It is important to know which query answers are consistent with the integrity constraints, and which are not. To answer this question the research will address a number of issues, including semantics of consistent query answers, procedures to compute consistent query answers and their implementation, formal analysis of the properties of such procedures, soundness, completeness, termination, computations, complexity, identification of classes of constraints with superior computational properties, and applications to data cleaning in data warehouses, information integration in heterogeneous databases, and triggers Results of this study could be applied to a number of areas, including data warehousing (CD97), database integration and active and reactive databases. This cooperative project brings together Dr. Chomicki's expertise in database theory with Dr. Bertossi's extensive background in mathematical logic and knowledge presentation. This combination will greatly enhance the opportunity for a successful solution to the issues addressed by this study .