Incremental Detection of Denial Constraint Violations
Summary: Weever is the first method for incrementally detecting all denial-constraint violations under updates, using an inequality-aware index and selectivity-driven predicate ordering. It achieves up to 100× speedups over DBMS validation and handles 200K insertions in the time of static analysis. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Youri Kaminsky (Hasso Plattner Institute; University of Potsdam)
- 2. Eduardo H. M. Pena (Federal University of Technology-Parana)
- 3. Felix Naumann (Hasso Plattner Institute; University of Potsdam)
BibTeX Citation
@article{kaminsky_vldb25,
title = {{Incremental Detection of Denial Constraint Violations}},
author = {Kaminsky, Youri and Pena, Eduardo H. M. and Naumann, Felix},
journal = {PVLDB},
series = {{VLDB} '25},
volume = {18},
number = {4},
pages = {1000--1012},
doi = {10.14778/3717755.3717761},
url = {https://doi.org/10.14778/3717755.3717761},
year = {2025}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,523 | Repairing Property Graphs under PG-Constraints | 2026 | VLDB | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 9 of 9 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 33 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00049907763 |
| 112 | HoloClean: Holistic Data Repairs with Probabilistic Inference | 2017 | VLDB | 0.00032801121 |
| 376 | Discovering Denial Constraints | 2013 | VLDB | 0.00019677674 |
| 533 | Improving Data Quality: Consistency and Accuracy | 2007 | VLDB | 0.0001705859 |
| 1,741 | Efficient Denial Constraint Discovery with Hydra | 2018 | VLDB | 9.8755846e-05 |
| 3,295 | Lightning Fast and Space Efficient Inequality Joins | 2015 | VLDB | 7.5477715e-05 |
| 6,403 | Parallel Discrepancy Detection and Incremental Detection | 2021 | VLDB | 5.8859374e-05 |
| 7,396 | Fast Detection of Denial Constraint Violations | 2022 | VLDB | 5.6257228e-05 |
| 8,686 | Rapidash: Efficient Detection of Constraint Violations | 2024 | VLDB | 5.3849387e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,330 | ConQuer: A System for Efficient Querying Over Inconsistent Databases | 2005 | VLDB |
| 2 | 12,984 | Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases | 1996 | VLDB |
| 3 | 8,686 | Rapidash: Efficient Detection of Constraint Violations | 2024 | VLDB |
| 4 | 3,361 | Cleaning Denial Constraint Violations through Relaxation | 2020 | SIGMOD |
| 5 | 10,223 | Discovery of Denial Constraints with Hardware Acceleration | 2026 | SIGMOD |
| 6 | 376 | Discovering Denial Constraints | 2013 | VLDB |
| 7 | 1,741 | Efficient Denial Constraint Discovery with Hydra | 2018 | VLDB |
| 8 | 5,611 | Fast Algorithms for Denial Constraint Discovery | 2023 | VLDB |
| 9 | 1,955 | Discovery of Approximate (and Exact) Denial Constraints | 2020 | VLDB |
| 10 | 7,396 | Fast Detection of Denial Constraint Violations | 2022 | VLDB |