Causality in Databases: The Diagnosis and Repair Connections
在这项工作中，我们建立和调查数据库中的查询答案，数据库修复wrt之间的因果关系。拒绝约束和基于一致性的诊断。前两个是数据库中相对较新的问题，第三个是知识表示中的一个既定主题。我们将展示如何从原因和其他方式获得数据库修复。关于数据库修复的大量研究可以应用于确定查询答案的实际原因的新问题。通过将因果关系问题表述为诊断问题，我们可以根据系统的诊断来描述原因。
2014-06-28 cs.DB
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
Carleton University（卡尔顿大学）；University of Washington（华盛顿大学）
在这项工作中，我们建立和调查数据库中的查询答案，数据库修复wrt的原因之间的连接。拒绝约束和基于一致性的诊断。前两个是数据库中相对较新的研究领域，第三个是知识表示中的一个既定课题。我们展示了如何从原因中获得数据库修复，以及相反的方法。因果关系问题被表述为诊断问题，诊断提供原因及其责任。关于数据库修复的大量研究可以应用于计算查询答案的实际原因及其责任的新问题。这些连接本身就很有趣，在基于一致性诊断的启发下，我们可以过渡到超图中的碰集和顶点覆盖的计算问题，从而获得数据库因果关系的几个新算法和复杂性结果。
2016-10-23 cs.AI cs.DB cs.LO
On Multiple Semantics for Declarative Database Repairs
我们通过一个基于规则的框架研究数据库修复问题，我们称之为Delta规则。Delta规则具有高度的表达性，允许指定与拒绝约束、因果规则相关联的复杂的交叉关系修复逻辑，并允许捕获感兴趣的数据库触发器。我们表明，有没有一个尺寸适合所有的语义修复在这个包容性的设置，因此，我们引入了多种替代语义，提出了使用它们中的每一个的情况。然后，我们研究的语义之间的关系，在他们的输出和计算的复杂性。我们的结果正式建立之间的折衷的许可的语义和它的计算复杂性。我们证明了有用的框架捕获多个数据修复方案的学术搜索数据库和TPC-H数据库，显示如何使用不同的语义影响修复的大小和运行时，并检查修复之间的关系。我们还将我们的方法与SQL触发器和最先进的数据修复系统进行了比较。
2020-04-13 cs.DB
Prioritized Repairing and Consistent Query Answering in Relational Databases
不一致数据库中的一致查询答案是在每次（最小）修复中获得的答案。通过以所有可能的方式解决所有冲突来获得修复。然而，用户通常能够提供关于应当如何解决冲突的偏好。我们在这里调查的框架首选一致的查询答案，其中用户的喜好是用来缩小一组首选的维修。我们公理化理想的性能首选维修。我们提出了三个不同的家庭的首选维修和研究他们的相互关系。最后，我们调查的复杂性首选修复和计算首选一致的查询答案。
2011-10-07 cs.DB
The Causality/Repair Connection in Databases: Causality-Programs
Carleton University（卡尔顿大学）
在这项工作中，指定数据库的修复的答案集程序被用来作为一个基础，用于解决计算和推理问题的原因，从数据库查询答案。
2017-06-26 cs.AI cs.DB
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
在这项工作中，我们建立和调查数据库中查询答案的因果关系，数据库修复wrt之间的连接。拒绝约束和基于一致性的诊断。前两个是数据库中相对较新的问题，第三个是知识表示中的一个既定主题。我们将展示如何从原因和其他方式获得数据库修复。因果关系问题被表述为诊断问题，诊断提供原因及其责任。关于数据库修复的大量研究可以应用于确定查询答案的实际原因及其责任的新问题。这些连接，这是有趣的本身，使我们能够在过渡后-灵感来自基于一致性的诊断-计算问题的打击集和顶点覆盖超图，获得几个新的算法和复杂性的结果，因果关系在数据库中。
2014-12-14 cs.DB
Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"
[Maslowski and Wijsen，ICDT，2014]中的辅助引理7是错误的。该引理用于（且仅用于）同一篇论文的定理3的证明。在本勘误中，我们对后一个定理提供了一个新的证明。
2019-03-29 cs.DB
Priority-Based Conflict Resolution in Inconsistent Relational Databases
我们在这里研究的影响，优先级冲突解决不一致的关系数据库。我们扩展了维修和一致的查询答案的框架。我们提出了一组假设，一个扩展的框架应该满足并考虑两个实例的框架：（本地首选）l-维修和（全球首选）g-维修。我们研究了它们之间的关系和修复的计算复杂性的修复检查和一致的查询答案的每一个概念的影响。
2005-06-14 cs.DB
Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases
Millennium Institute for Foundational Research on Data（千禧数据基础研究所）
来自可能不一致的数据库的查询的一致答案是从数据库的每个可能的修复中同时检索的答案。修复是与原始不一致实例差异最小的一致实例。以前已经表明，数据库修复可以被指定为一个析取逻辑程序的稳定模型。在本文中，我们展示了如何使用修复程序转换问题的一致性查询回答问题的推理w.r.t.用二阶谓词逻辑写成的理论。它还研究了如何一阶理论，而不是通过应用二阶量词消去技术。
2021-10-18 cs.AI cs.DB cs.LO
Unifying Causality, Diagnosis, Repairs and View-Updates in Databases
在这项工作中，我们建立并指出数据库中的查询-答案因果关系的概念和数据库修复，基于模型的诊断在其基于一致性和溯因版本，并通过视图数据库更新之间的连接。数据管理和知识表示的这些领域之间的相互关系揭示了它们中的每一个，并有助于分享它们共同的概念和结果。无论如何，这些都是不确定性管理的方法，在必须理解的大数据背景下，这变得更加相关。
2014-06-28 cs.DB
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
CNRS, University of Bordeaux, Bordeaux INP, LaBRI, Talence, France（法国国家科学研究中心、波尔多大学、波尔多INP、LaBRI、塔勒朗）；DI ENS, ENS, CNRS, PSL University & Inria, Paris, France（巴黎高等师范学院DI系、巴黎高等师范学院、法国国家科学研究中心、巴黎文理研究学院及Inria、巴黎法国）
本文研究带通用约束的优先级数据库的不一致性问题，将对称差修复和二元优先级关系扩展至更丰富设定，分析其计算复杂性，并证明其帕累托最优修复与主动完整性约束框架下的修复概念存在对应关系。
2025-09-11 cs.AI cs.DB cs.LO
Answer-Set Programs for Repair Updates and Counterfactual Interventions
Skema Business School（SKEMA商学院）
我们简要地描述-主要是通过非常简单的例子-不同种类的答案集程序的注释，已提出指定：数据库修复和一致的查询回答;保密视图和查询评估与他们;反事实的干预数据库中的因果关系;和反事实为基础的解释，在机器学习。
2022-09-25 cs.AI cs.DB cs.LO
Unambiguous Prioritized Repairing of Databases
在其传统定义中，不一致数据库的修复是以“最小方式”区别于不一致数据库的一致数据库。通常情况下，修复并不同样合法，因为人们希望选择一个而不是另一个;例如，一个事实被认为比另一个更可靠，或者一个最近的事实应该优先于一个早期的事实。出于这些考虑，研究人员已经介绍和调查的框架，首选的修复，在否认约束和子集修复的背景下。在那里，事实之间的优先级关系被提升到一致数据库之间的优先级关系，并且修复被限制在提升意义上最优的修复。提出了三种提升（和最优修复）的概念：帕累托，全局和完成。在本文中，我们调查的复杂性，决定是否有足够的优先级关系，以明确地清理数据库，或者换句话说，是否正好有一个最佳的修复。我们表明，不同的提升语义带来了高度不同的复杂性。在帕累托最优性下，对于每一组函数依赖（FD），除了（等价于）每个关系一个FD的易处理的情况外，该问题在数据复杂度上是coNP完全的。在全局最优性条件下，每个关系只有一个FD仍然是容易处理的，但是我们建立了具有两个FD的关系的$Π^{p}_{2}$ -完全性。相反，在完备最优性下，对于每一组FD，问题在多项式时间内都是可解的。事实上，我们提出了一个多项式时间算法的任意冲突超图。我们进一步表明，在一般假设的传递性，该算法解决了问题，甚至为全局最优。该算法非常简单，但其正确性的证明是相当复杂的。
2016-03-06 cs.DB
From Database Repairs to Causality in Databases and Beyond
SKEMA Business School（SKEMA商学院）
该研究介绍了作者及合作者提出的数据库查询结果基于评分的解释方法，重点关注反事实推理在评分设定与计算中的应用，通过示例展现了方法的灵活性。
2023-06-15 cs.AI cs.DB
Database Repairing with Soft Functional Dependencies
软约束的一种常见解释是，每次违反每个约束都会惩罚数据库，惩罚是约束的成本（权重）。一个计算挑战是找到一个最佳子集：一个数据库元组的集合，当每个元组都有被排除的代价时，它会使总惩罚最小化。当约束是严格的（即，具有无限的成本），该子集是不一致数据库的“基数修复”;在软解释中，该子集对应于概率数据库的“最可能的世界”，概率不干净数据库的“最可能的意图”，等等。在函数依赖类中，找到基数修复的复杂性得到了彻底的理解。然而，很少有人知道这个问题的复杂性，在更一般的软语义。本文在这方面取得了重大进展。除了一般的洞察力的硬度和逼近的问题，我们提出了两种特殊情况下的算法：一个单一的功能依赖，和二分匹配。后者是寻找二分图的最优“几乎匹配”的问题，其中对每一个丢失的边和每一个违反一夫一妻制都要支付罚款。
2020-09-29 cs.DB
Repair-Based Degrees of Database Inconsistency: Computation and Complexity
RelationalAI Inc.（RelationalAI公司）；Carleton University（卡尔顿大学）
我们提出了一个通用的数值措施的数据库的不一致性方面的一组完整性约束。它是基于一个抽象的修复语义。特别是，与基数修复的不一致性措施进行了详细研究。更具体地说，它表明，它可以通过答案集程序计算，但有时它的计算可能是棘手的数据复杂性。然而，多项式时间的确定性和随机近似展出。小更新下的行为，这种措施进行了分析，获得固定参数的易处理性结果。此外，替代的不一致性措施提出和讨论。
2019-01-22 cs.AI cs.DB
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints
知识库的一致性在组织管理中至关重要。完整性约束是一个众所周知的工具，用于指定知识库中的数据一致性要求;特别是，主动完整性约束更进一步，允许规范的首选方法，以克服不一致的情况下，数据库管理。本文介绍了一种工具来验证SQL数据库相对于一组给定的主动完整性约束，提出了可能的修复的情况下，数据库是不一致的。该工具能够与文献中提出的不同类型的修复一起工作，即简单的，有根据的，有根据的和合理的修复。它还实现了并行搜索它们的策略，允许用户计算独立或分层主动完整性约束的分区，并应用这些分区来有效地并行查找不一致数据库的修复。
2015-10-14 cs.DB
Data-graph repairs: the preferred approach
本文研究带数据值图数据库的首选子集与超集修复，采用 Reg-GXPath 表达式作为完整性约束，并提出基于权重和多重集的两类偏好准则，证明多数情况下复杂度不增加。
2023-04-03 cs.DB cs.LO
Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics
一致性查询查询（CQA）是从数据库中计算查询的答案的问题，这些答案相对于数据库作为一个整体可能无法满足的某些完整性约束是一致的。一致的答案已经被表征为那些在数据库一致性的某些最小形式的恢复下是不变的。我们调查的算法和复杂性理论问题的CQA数据库修复，最小的偏离-wrt的对称差异的基数-从原始数据库。我们得到了第一个严格的复杂性界。我们还解决了CQA的复杂性增加的问题，自然发生时，原来一致的数据库变得不一致后，执行一系列的更新操作。在拒绝约束下，为各种语义提供了增量复杂性的严格界限。固定参数的易处理性也在这个动态的上下文中进行了研究，其中更新序列的大小成为相关的参数。
2006-04-02 cs.CC cs.DB
Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
本文证明论证框架可视为不一致数据库，建立子集修复与论证扩展的联系，定义基于属性的修复，并实现多项式时间转换，传递复杂性结果。
2024-12-16 cs.DB cs.LO
Capuchin: Causal Database Repair for Algorithmic Fairness
University of Washington（华盛顿大学）
公平性越来越被认为是机器学习系统的关键组成部分。然而，这些系统训练的基础数据往往反映了歧视，这表明数据库修复问题。现有的公平处理方法依赖于统计相关性，而这些相关性可能被统计异常所愚弄，比如辛普森悖论。基于因果关系的公平定义的建议可以正确地模拟这些情况中的一些，但它们需要规范的基本因果模型。在本文中，我们正式的情况下，作为一个数据库修复问题，证明公平的分类器的充分条件，而不是一个完整的因果模型的容许变量。我们表明，这些条件正确地捕捉微妙的违反公平。然后，我们使用这些条件作为数据库修复算法的基础，这些算法为在其训练标签上训练的分类器提供可证明的公平性保证。我们评估我们的算法在真实数据上，证明了在文献中提出的多个公平性指标上的最新技术水平的改进，同时保留了高实用性。
2019-10-01 cs.AI cs.DB
Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics (extended version)
数据库D可能与给定的完整性约束集合IC不一致。一致性查询排序（CQA）是从D计算与IC一致的查询答案的问题。一致答案在D的所有修正下都是不变的，即最小偏离D的一致实例。三类修复已被认为是在文献中：那些最小化集理论上的对称差中的元组集;那些最小化属性值的变化，以及那些最小化对称差中的元组集的基数。后一类尚未进行系统的研究。在本文中，我们得到的算法和复杂性理论的结果CQA在这个基数为基础的修复语义。我们在通常的静态设置中这样做，但也在动态框架中，一致的数据库受到一系列更新的影响，这可能使其不一致。我们还建立了比较结果与其他两种修复的动态情况下。
2016-05-23 cs.DB
Repairing Databases over Metric Spaces with Coincidence Constraints
研究度量空间中违反重合约束的不一致数据库修复问题，证明一般度量空间下APX-hard，提出树度量最优算法及一般度量的对数比近似算法，并分析了限制更改变体的复杂性。
2024-09-25 cs.DB
Grounded Fixpoints and Active Integrity Constraints
主动完整性约束的形式主义被引入作为一种方式来指定特定类别的完整性约束的关系数据库连同偏好如何修复现有的不一致。这种完整性约束的基于规则的语法还提供了用于找到实现最佳渐近复杂度的这种修复的算法。然而，为这些完整性约束提出的不同语义都表现出一些反直觉的例子。在这项工作中，我们期待在积极的完整性约束，使用代数不动点理论的想法。我们展示了如何数据库修复可以建模为特定的运营商对数据库的不动点，并研究如何接地不动点的概念引起相应的概念接地数据库修复，捕捉几个自然的直觉，特别是避免了以前的替代语义问题。为了研究接地修复在其充分的普遍性，我们需要推广的概念接地不动点的非确定性运营商。我们提出了这样一个定义，并说明其在数据库上下文中的可扩展性。
2016-07-19 cs.DB
The View-Update Problem for Indefinite Databases
Università della Calabria（卡拉布里亚大学）；University of Kentucky（肯塔基大学）
本文介绍并研究了一个声明式的不确定数据库视图更新框架。不确定数据库是具有空值的数据库，这些空值按照标准数据库方法由单个空常数表示。本文将这类数据库上的视图形式化为不确定演绎数据库，并定义了几类实现视图更新请求的数据库修复。最值得注意的是限制修复类。受约束的修复“最小限度地”更改数据库，并避免做出任意的承诺。它们将实现视图更新请求的替代方法的空间缩小到那些在某种强烈意义上基于数据库、视图和视图更新请求的方法。
2012-05-21 cs.AI cs.DB
Semantically Correct Query Answers in the Presence of Null Values
由于多种原因，数据库可能不满足给定的完整性约束（IC）集，但很可能其中的大部分信息仍然与这些IC一致;并且可以在回答查询时检索。一致的答案查询wrt的一组IC已被表征为答案，可以从每个可能的最低限度地修复一致的版本的原始数据库中获得。在本文中，我们考虑的数据库，包含空值，也修复，如果必要的话，使用空值。为此，我们首先提出了一个精确的语义IC满意度在一个数据库中的空值，是与空值的方式在商业数据库管理系统中处理兼容。接下来，引入了一个精确的修复概念，它允许在修复外键约束时引入空值，这样这些新值就不会产生新的不一致性的无限循环。最后，我们分析了如何使用具有稳定模型语义的析取逻辑程序来指定这种包含空值的数据库的修复。
2006-04-19 cs.DB
Answer Sets for Consistent Query Answering in Inconsistent Databases
如果一个关系数据库不满足给定的完整性约束集，那么它就是不一致的。然而，其中的大部分数据很可能符合限制条件。在本文中，我们应用逻辑规划的基础上回答集的问题，从一个可能不一致的数据库检索一致的信息。由于一致的信息持续从原始数据库的每一个最小的维修，该方法是基于一个规范的数据库修复使用析取逻辑程序与异常，其答案集语义可以表示和计算的系统，实现稳定的模型语义。这些程序允许我们通过默认值声明持久性，并通过异常来修复更改。我们主要集中在二进制完整性约束的逻辑程序，其中，我们发现在实践中发现的完整性约束。
2002-07-26 cs.DB
On the complexity of finding set repairs for data-graphs
University of Buenos Aires（布宜诺斯艾利斯大学）；ICC-CONICET（阿根廷国家科学与技术研究理事会计算科学研究所）
本文研究了在基于 Reg-GXPath 表达式作为完整性约束的条件下，为带有数据值的图数据库计算子集和超集修复的复杂度，证明了正片段存在多项式时间算法，而全语言表达能力则使问题难以处理。
2022-06-15 cs.AI cs.DB cs.LO
Consistent query answers on numerical databases under aggregate constraints
研究了从违反数值型数据完整性约束的关系数据库中提取一致性信息的问题。特别是，聚合约束定义为线性不等式聚合和查询输入数据被认为是。利用的概念，在属性值水平的一致的更新集的修复，并提供了几个复杂的问题，修复数据和计算一致的查询答案的表征。
2005-05-23 cs.DB
Exact and Approximate Counting of Database Repairs
本文研究函数依赖下蕴含查询的数据库修复计数，推广精确计数二分法，并刻画 FPRAS 可近似与不可近似边界，发现左侧链函数依赖的可近似性孤岛。
2024-04-09 cs.DB
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys
自2005年以来，在关于主键的一致性查询排序（CQA）问题上取得了重大进展。在这个问题中，输入是一个可能违反一个或多个主键码约束的数据库实例。修复被定义为满足所有主键的最大子实例。给定一个布尔查询q，问题是q是否在每次修复中都为真。尽管引用完整性在数据库系统中非常重要，但到目前为止，该领域的理论研究还没有解决主键码和外键约束的组合。本文讨论的问题，CQA方面的主键和外键。在这种情况下，很自然地采用了关键字差异修复的概念，因为可以通过插入新的元组来修复外键。我们考虑的情况下，外键是一元的，查询是合取查询没有自连接。在这种情况下，我们的特点之间的边界CQA问题，承认一个一致的一阶重写，和那些不。
2022-03-25 cs.DB cs.LO
Cleaning data with Swipe
针对函数依赖下的最优数据修复NP难问题，提出仅含单路径Chase树的Swipe算法，结合属性划分与优先级修复，在保证修复质量的同时大幅提升速度且扩展性良好。
2024-04-17 cs.DB
MIRA: Evidence-Verified Repair Memory for Text-to-SQL Correction
Beijing Institute of Technology（北京理工大学）；The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；Shenzhen University（深圳大学）
本研究针对Text-to-SQL智能体生成的语义错误SQL问题，提出可插拔SQL修正器MIRA，将历史修正转为独立记忆项，经实验在BIRD和ScienceBenchmark数据集上显著提升了SQL执行准确率。
2026-08-10 cs.DB
Complexity and Efficient Algorithms for Data Inconsistency Evaluating and Repairing
数据不一致性评估与修复是数据质量管理中的重要内容。作为最基本的计算任务，最优子集修复不仅可以用于数据库修复过程中的成本估算，而且可以直接用于数据库不一致性的评估。计算最优子集修复是从不一致数据库中找到一个最小元组集，该元组集的删除导致留下一个一致子集。其复杂度的严格限制和有效的算法仍然是未知的。在本文中，我们改进了现有的复杂度和算法的结果，以及快速估计的最佳子集修复的大小。我们首先加强了最优子集修复计算问题的二分法，证明了在大多数情况下，以优于$17/16$的因子逼近最优子集修复不仅是APX完全的，而且是NPhhard的.我们第二次显示$(2-0.5^{\tinyσ-1})$ -近似时，$σ$功能的依赖关系，和一个$(2-η_k+\frac{η_k}{k})$ -近似时，$η_k$ -部分元组的$k$ -准Tur $\acute{\text{a}}$ n属性的一些$k>1$。最后给出了子集查询的最优\textit{S} -修复的大小的次线性估计，它以高概率输出比率$2n+εn$的估计，从而导出比率$2+ε$的FD-不一致度的估计.为了支持各种子集查询FD-不一致性评估，我们将它们统一为$\subseteq$ -oracle，它可以回答成员查询，并返回$p$元组均匀采样时，给定一个数字$p$。在$\subseteq$ -oracle实现的范围查询上进行了实验，实验结果表明了FD-不一…
2020-01-13 cs.DB
Computing Optimal Repairs for Functional Dependencies
我们调查的复杂性计算的不一致的数据库的最佳修复，在完整性约束的情况下，功能的重复性（FD）。我们专注于两种类型的修复：一个最佳的子集修复（最佳S-修复），这是由最小数量的元组删除，和最佳的更新修复（最佳U-修复），这是由最小数量的值（细胞）更新。为了计算一个最佳的S-修复，我们提出了一个多项式时间算法，成功的某些集合的FD和失败的其他。我们证明了以下关于算法。当它成功时，它还可以合并加权元组和重复元组。当它失败时，问题是NP难的，实际上是APX完全的（因此，不能比某个常数更好地近似）。因此，我们在计算最优S-修复的复杂性中建立了一个二分法。我们提出了一般的分析技术计算的最佳U-修复的复杂性，一些基于S-修复的二分法。我们还提请连接到过去的二分法的复杂性，找到一个“最可能的数据库”，满足一组FD与一个单一的属性在左手边;一般FD的情况下是开放的，我们展示了我们的二分法如何提供失踪的泛化，从而解决了开放的问题。
2017-12-20 cs.DB
Minimal-Change Integrity Maintenance Using Tuple Deletions
本文研究了关系数据库中完整性约束下的最小变化完整性维护问题。我们假设完整性恢复操作仅限于元组删除。我们确定了两个基本的计算问题：修复检查（数据库实例是给定数据库的修复？）以及一致的查询答案（元组是给定数据库的每次修复中给定查询的答案吗？）。我们研究了这两个问题的计算复杂性，划定了易处理和难处理之间的边界。我们考虑拒绝约束，一般功能和包含依赖，以及关键字和外键约束。我们的研究结果揭示了最小变化的完整性维护的计算可行性。易于处理的案例应导致实际执行。棘手的结果突出了任何完整性实施机制的固有局限性，例如，触发器或引用约束操作，作为执行最小更改完整性维护的一种方式。
2002-12-05 cs.DB
Analyzing Deviations from Monotonic Trends through Database Repair
本文提出通过数据库修复分析数据集偏离单调趋势的问题，引入AODs概念并设计算法模板，实验验证了算法效率及启发式方法的有效性。
2025-12-09 cs.DB
Type- and Content-Driven Synthesis of SQL Queries from Natural Language
本文提出了一种从自然语言自动合成SQL查询的新技术。我们的技术是完全自动化的，适用于任何数据库，而不需要额外的定制，也不需要用户知道底层的数据库模式。我们的方法通过结合自然语言处理、程序合成和自动程序修复来实现这些目标。给定用户的英文描述，我们的技术首先使用语义解析来生成查询草图，随后使用类型导向的程序合成完成查询草图，并使用数据库内容分配置信度分数。然而，由于用户的描述可能无法准确地反映实际的数据库模式，我们的方法也执行故障定位和修复草图的错误部分。重复该合成-修复循环，直到算法推断出具有足够高的置信度分数的查询。我们已经实现了所提出的技术在一个工具称为Sqlizer和评估它在三个不同的数据库。我们的实验表明，在接近90%的情况下，所需的查询是排名前5名的候选人。
2017-02-03 cs.DB cs.PL
Computing Range Consistent Answers to Aggregation Queries via Rewriting
本文研究在违反主键约束的数据库上回答带聚合的连接查询，目标是找出使聚合值最低的修复，并刻画可通过一阶逻辑聚合重写确定该值的查询类。
2024-09-03 cs.DB
T-REx: Table Repair Explanations
数据修复是当今许多框架中常见的关键步骤，因为应用程序可能使用来自不同来源和不同可信度的数据。因此，这一步骤一直是许多工作的重点，提出了不同的方法。为了帮助用户理解这种数据修复算法的输出，我们提出了T-REx，一个系统，通过Shapley值提供数据修复解释。该系统是通用的，而不是特定于给定的修复算法或方法：它将算法视为黑盒。给定用户选择的特定表格单元格，T-REx使用Shapley值来解释每个约束和每个表格单元格在修复感兴趣的单元格中的重要性。然后，T-REx根据约束和表格单元格在修复该单元格中的重要性对其进行排名。这种解释使用户能够理解修复过程，并根据这些知识采取行动，修改最具影响力的约束或原始数据库。
2020-07-08 cs.DB
Consistent Query Answering for Primary Keys in Logspace
我们研究了数据库上可能违反主键码约束的一致性查询应答的复杂性。这种数据库的修复是可以通过删除最小元组集来获得的任何一致数据库。对于每个布尔查询q，CERTAINTY（q）是一个问题，它以数据库作为输入，并询问q是否在每次修复时都计算为true。在[KW 17]中，作者证明了对于每个自连接自由布尔合取查询q，问题CERATAINTY（q）要么在P中，要么是coNP-完全的，并且可以判定这两种情况中的哪一种适用。在本文中，我们锐化这一结果表明，对于每一个自连接的布尔合取查询q，问题CERATAINTY（q）是可表达的对称分层数据或coNP完全。由于对称分层数据集在L中，因此我们得到了L和coNP-完全之间的复杂性理论二分法。另一个具有实际重要性的新发现是，对于所有连接条件都表示外部到主键码的匹配的查询q，CERTAINTY（q）位于二分法的对数空间一侧，这无疑是最常见的连接条件类型。
2018-10-08 cs.CC cs.DB cs.LO
Consistency and Trust in Peer Data Exchange Systems
Carleton University（卡尔顿大学）；Universidad del Desarrollo（发展大学）
我们提出并研究了“对等数据交换系统”的语义，其中不同的对等体相关的数据交换约束和信任关系。这两个元素加上对等点站点上的数据及其本地完整性约束通过表征对等点的“解决方案实例”集的语义而变得兼容。它们是通过我们介绍和研究的数据修复语义获得的对等体的预期实例（可能是虚拟实例）。从一个节点到一个查询的语义正确的答案，所谓的“对等一致的答案”，被定义为那些答案是不变的所有不同的解决方案的情况下。我们表明，解决方案的实例可以指定为一个稳定的模型语义的逻辑程序的模型。修复语义基于SQL数据库中使用的空值，并且对于相对于完整性约束的单个数据库的修复也具有独立的兴趣。
2016-06-06 cs.AI cs.DB cs.LO
Attribution-Scores in Data Management and Explainable Machine Learning
SKEMA Business School（SKEMA商学院）
本文介绍了实际因果性中的责任分数在数据库查询答案解释和机器学习分类模型输出解释中的应用，说明了与数据库修复的联系，扩展了分类模型的责任分数，并讨论了Shap-score的高效计算。
2023-07-31 cs.AI cs.DB cs.LG
LitMOF: An LLM Multi-Agent for Literature-Validated Metal-Organic Frameworks Database Correction and Expansion
Korea Advanced Institute of Science and Technology（韩国科学技术院）
提出LitMOF框架，利用大语言模型多智能体从原始文献验证并修复MOF数据库中的结构错误，成功修复9227个无效条目并发现8771个新MOF，通过直接空气捕获案例证明结构错误严重影响材料筛选可靠性。
2026-06-29 cond-mat.mtrl-sci cs.DB
Paraconsistent logic and query answering in inconsistent databases
本文提出用亚相容逻辑LPQ$^{\supset,\mathsf{F}}$处理不一致数据库中的查询，无需数据库修复即可定义一致答案，并给出序列演算证明系统以支持证明搜索算法。
2023-03-11 cs.DB cs.LO
Active Integrity Constraints for Multi-Context Systems
我们引入了一种形式主义耦合的完整性约束，通用的知识库，可以执行恢复一致性的行动。这种形式主义概括了数据库上的主动完整性约束。在多上下文系统的更一般的设置中，将修复建议添加到完整性约束允许定义简单的迭代算法来找到所有可能的接地修复-遵循个体规则中的动作给出的建议的全局系统的修复。我们将我们的方法应用于本体，并表明它可以表达在这个领域中最相关的类型的完整性约束。
2016-09-20 cs.DB
Uniform Operational Consistent Query Answering
操作一致性查询应答（CQA）是CQA的一个新框架，基于修正的修复和一致性答案的定义，它开辟了具有显式错误保证的有效近似的可能性。主要思想是迭代地应用操作（例如，事实删除），从不一致的数据库开始，直到我们到达相对于. r. t.给定的一组约束。这使我们可以灵活地选择应用操作的概率，这反过来又使我们能够计算操作修复的概率，从而计算得出一致答案的概率。为操作分配概率的一种自然方式是通过在合理的空间上以均匀概率分布为目标，例如操作修复集合、导致操作修复的操作序列集合以及修复过程的某个步骤处的可用操作集合。这导致了我们通常所说的统一操作CQA。这项工作的目标是执行精确和近似统一的操作CQA的数据复杂性分析，重点是函数依赖关系（及其子类），和合取查询。我们分析的主要结果（以及其他积极和消极的结果）是，统一操作CQA通过确保在超出主键的简单情况下存在有效的近似方案，进一步推动了效率边界，这似乎是CQA的经典方法的限制。
2022-04-22 cs.DB
Repairing Property Graphs under PG-Constraints
Lyon 1 University（里昂第一大学）；Liris CNRS（CNRS Liris研究所）；IUF（法国高等研究院）；CNRS LIG, Univ. Grenoble Alpes（格勒诺布尔阿尔卑斯大学 CNRS LIG实验室）
本文提出在PG约束下修复属性图的方法，通过三种算法策略实现高效修复，实验表明标签删除可减少删除量，LP引导贪心算法运行效率更高。
2026-02-05 cs.DB
A SAT-based System for Consistent Query Answering
不一致数据库是违反一个或多个完整性约束（如函数依赖性）的数据库。一致性查询是一种严格和原则性的方法，用于处理针对不一致数据库提出的查询的语义。对不一致数据库上的查询的一致回答是对每次修理的查询的回答的交集，即，在每一个一致的数据库，不同于给定的不一致的一个在最小的方式。在给定的不一致数据库上计算固定合取查询的一致答案可能是一个困难的问题，即使每个固定合取查询在给定的一致数据库上是有效可计算的。我们设计，实现和评估CAvSAT，一个基于SAT的系统一致的查询回答。CAvSAT利用了一组从一致性查询回答到SAT和加权MaxSAT的补充的自然约简。该系统能够处理联合查询和任意拒绝约束的联合，其中包括函数依赖作为特殊情况。我们报告的结果从实验评估CAvSAT合成和现实世界的数据库。这些结果提供的证据表明，基于SAT的方法可以产生一个全面的和可扩展的系统，一致的查询回答。
2019-05-07 cs.DB cs.LO
Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints
University of Washington（华盛顿大学）；Carleton University（卡尔顿大学）
因果关系最近被引入到数据库中，用于建模，表征和可能计算查询结果（答案）的原因。查询答案因果关系，基于一致性的诊断，数据库修复（wrt。完整性约束违反）、溯因诊断和视图更新问题。在这项工作中，我们进一步调查之间的联系问答因果关系和溯因诊断和视图更新问题。在这种情况下，我们还定义和调查的概念，查询答案因果关系的完整性约束的存在。
2016-02-20 cs.AI cs.DB
The Cost of Representation by Subset Repairs
本文研究在函数依赖的子集修复中同时满足完整性约束和子群体表征约束所需额外删除的元组数量，分析其计算复杂性，并提出特殊情况的多项式时间算法与一般情况的高效启发式方法。
2024-10-21 cs.DB
A Dichotomy on the Complexity of Consistent Query Answering for Atoms with Simple Keys
研究了主键码违规情况下的一致性查询应答问题。在这种情况下，数据库中的关系违反了关键约束，我们对满足约束的数据库的最大子集感兴趣，我们称之为修复。对于一个布尔查询Q，问题CERTAINTY（Q）询问是否每个这样的修复满足查询或不;问题是已知的，总是在coNP的合取查询。然而，存在可以在多项式时间内解决的查询。已经证明，对于合取查询，CERTAINTY（Q）的复杂性存在二分法：它要么是PTIME，要么是CONP-完全的。在本文中，我们证明了该猜想确实是真实的情况下，合取查询没有自我加入，每个原子作为一个关键字，无论是一个单一的属性（简单的关键字）或所有属性的原子。
2014-01-15 cs.DB
On the Computational Complexity of Consistent Query Answers
我们在这里考虑的问题，获得可靠的，一致的信息，从不一致的数据库-数据库，不必满足给定的完整性约束。我们使用一致查询答案的概念-在数据库的每次（最小）修复中为真的查询答案。我们提供了一个完整的分类的计算复杂性一致的答案一阶查询w.r.t.功能依赖和拒绝约束。我们展示了复杂性如何依赖于所考虑的约束的{\em类型}、它们的{\em数量}和查询的{\em大小}。我们获得了几个新的PTIME的情况下，使用新的算法。
2002-04-05 cs.DB
Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints
Carleton University（卡尔顿大学）；University of Washington（华盛顿大学）
因果关系最近被引入到数据库中，用于建模、表征和可能计算查询答案的原因。QA因果关系和基于一致性的诊断与数据库修复之间的联系（wrt。完整性约束违反）已经建立。在这项工作中，我们建立了QA因果关系和溯因诊断和数据库中的视图更新问题之间的精确连接，使我们能够获得QA因果关系的新算法和复杂性结果。我们还获得了新的结果的复杂性的观点条件下的因果关系，并调查的QA-因果关系的概念存在的完整性约束，获得复杂性的结果与观点条件下的因果关系的连接。完整性约束下的溯因连接使我们能够获得QA因果关系的算法工具。
2017-07-31 cs.AI cs.DB
