repAIrC：一种基于主动完整性约束确保数据一致性的工具
数据库
2017-08-09 v1
摘要
知识库的一致性在组织管理中至关重要。完整性约束是知识库中指定数据一致性要求的知名手段；特别地，主动完整性约束更进了一步，允许在数据库管理背景下指定克服不一致情形的首选方式。本文描述了一个工具，用于针对给定的一组主动完整性约束验证 SQL 数据库，并在数据库不一致时提出可能的修复。该工具能够处理文献中提出的各类修复，即简单修复、基础修复、良基修复与证成修复。它还实现了将这些修复的搜索并行化的策略，允许用户既计算独立或分层主动完整性约束的划分，又应用这些划分以并行高效地找到不一致数据库的修复。
引用
@article{arxiv.1510.03989,
title = {repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints},
author = {Luís Cruz-Filipe and Michael Franz and Artavazd Hakhverdyan and Marta Ludovico and Isabel Nunes and Peter Schneider-Kamp},
journal= {arXiv preprint arXiv:1510.03989},
year = {2017}
}
备注
IMADA-preprint-cs