数据库修复与解析表列
数据库
2007-05-23 v1 计算机科学中的逻辑
摘要
在本文中，我们用解析表列来刻画不一致关系数据库的修复，即不满足给定完整性约束集的数据库。为此，我们为为数据库实例及其完整性约束构建的表列中的分支提供了闭合和开启准则。我们使用基于表列的刻画作为一致查询回答的基础，即从数据库中检索相对于完整性约束一致的查询答案。
引用
@article{arxiv.cs/0211042,
title = {Database Repairs and Analytic Tableaux},
author = {Leopoldo Bertossi and Camilla Schwind},
journal= {arXiv preprint arXiv:cs/0211042},
year = {2007}
}
备注
Extended version of paper appeared in Proc. FOIKS02. Submitted by invitation to AMAI journal. Uses packages: llncs.cls, amssymb.sty, parsetree.sty. 31 pages