DBScholar

Back to papers

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)

Paper ID
13961
Venue
VLDB
Year
2025
Pagerank
5.2434488e-05
Overall Rank
9,623 | 33.98%
DOI
10.14778/3717755.3717761

Incoming Non-self Citations Over Time

Authors

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.

Previous Page 1 / 1 Next

Semantically Similar Papers