Discovering Denial Constraints
Summary: Proposes Denial Constraints (DCs) as a more expressive integrity-constraint language than FDs/CFDs, with sound inference rules and a linear-time implication test. Devotes an instance-driven DC discovery algorithm and a novel scoring function to rank candidates for user validation; empirical evaluation on real and synthetic data demonstrates scalable, effective constraint discovery. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Xu Chu (University of Waterloo)
- 2. Ihab F. Ilyas (Qatar Computing Research Institute)
- 3. Paolo Papotti (Qatar Computing Research Institute)
BibTeX Citation
@article{chu_vldb13,
title = {{Discovering Denial Constraints}},
author = {Chu, Xu and Ilyas, Ihab F. and Papotti, Paolo},
journal = {PVLDB},
series = {{VLDB} '13},
volume = {6},
number = {13},
pages = {1498--1509},
doi = {10.14778/2536258.2536262},
url = {https://doi.org/10.14778/2536258.2536262},
year = {2013}
}
Incoming Citations (Sorted by Pagerank)
Showing 50 of 73 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 13 | Mining Association Rules between Sets of Items in Large Databases | 1993 | SIGMOD | 0.0006567919 |
| 159 | CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies | 2004 | SIGMOD | 0.00028129426 |
| 432 | Mining Database Structure; Or, How to Build a Data Quality Browser | 2002 | SIGMOD | 0.00018572055 |
| 647 | Discovering Data Quality Rules | 2008 | VLDB | 0.00015334666 |
| 1,033 | On Generating Near-Optimal Tableaux for Conditional Functional Dependencies | 2008 | VLDB | 0.00012529852 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 9,841 | Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems | 2025 | VLDB |
| 2 | 7,982 | Fast Approximate Denial Constraint Discovery | 2023 | VLDB |
| 3 | 2,591 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB |
| 4 | 2,685 | Approximate Denial Constraints | 2020 | VLDB |
| 5 | 4,454 | Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization | 2017 | VLDB |
| 6 | 6,142 | Integrity Constraint Reformulation for Efficient Validation | 1987 | VLDB |
| 7 | 1,741 | Efficient Denial Constraint Discovery with Hydra | 2018 | VLDB |
| 8 | 10,928 | How and Why False Denial Constraints are Discovered | 2025 | VLDB |
| 9 | 5,611 | Fast Algorithms for Denial Constraint Discovery | 2023 | VLDB |
| 10 | 1,955 | Discovery of Approximate (and Exact) Denial Constraints | 2020 | VLDB |