不一致数据库中基于答案集的一致查询
数据库
2007-05-23 v1
摘要
如果一个关系数据库不满足给定的完整性约束，则称其为不一致的数据库。尽管如此，这种数据库中大多数数据仍可能与完整性约束相一致。本文将基于答案集的逻辑程序应用于从可能不一致的数据库中检索一致信息的问题。由于一致信息从原始数据库持久存在于其每个最小修复版本中，因此本文方法基于使用带例外的亦或逻辑程序来 specification 数据库修复，其答案集语义可以由实现稳定模型语义的系统来表示和计算。这类程序允许我们通过默认声明持久性，通过例外声明修复变更。我们主要关注二元完整性约束的逻辑程序，其中包含实践中发现的大多数完整性约束。
引用
@article{arxiv.cs/0207094,
title = {Answer Sets for Consistent Query Answering in Inconsistent Databases},
author = {Marcelo Arenas and Leopoldo Bertossi and Jan Chomicki},
journal= {arXiv preprint arXiv:cs/0207094},
year = {2007}
}
备注
34 pages