别再让 GIGO 成为问题
数据库
2024-11-08 v1
摘要
我们重新审视了关系型和演绎数据库中完整性检查的方法，这些方法能够容忍错误或不一致的数据。特别是，我们放宽了这样一个基本前提：即在应用任何简化完整性检查方法之前，所有数据必须具备完整性。与长期以来的观念相反，更新前状态的完整性并非正确应用简化方法的必要条件。相反，我们表明，正确的简化方法会保留跨更新的一致性。我们对这种称为不一致容忍性的属性进行了形式化描述，并说明了其对一些著名的完整性检查方法的有效性。
引用
@article{arxiv.2411.04304,
title = {Don't go gaga with GIGO},
author = {Hendrik Decker and Davide Martinenghi},
journal= {arXiv preprint arXiv:2411.04304},
year = {2024}
}
备注
11 pages, no figures. arXiv admin note: substantial text overlap with arXiv:1312.2353