Discovery of Denial Constraints with Hardware Acceleration

Summary: DCArray accelerates denial-constraint discovery on FPGAs, replacing evidence-set materialization with prefix-tree Boolean patterns, pipelined parallel evaluation, and circuit-level minimality checks. It achieves up to 1560× speedup over DCFinder with predictable scaling, ultimately bounded by host–device I/O. (summarized by gpt-5.6-luna on Jul 26 2026)

Paper ID: 7414
Venue: SIGMOD
Year: 2026
Pagerank: 5.093636e-05
Overall Rank: 10,223 | 29.87%
DOI: 10.1145/3802041

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Sergio Luiz Marques Filho (Federal University of Parana)
2. Eduardo Cunha de Almeida (Federal University of Parana)
3. Marco Antonio Zanata Alves (Federal University of Parana)

BibTeX Citation

@inproceedings{filho_sigmod26,
        title = {{Discovery of Denial Constraints with Hardware Acceleration}},
        author = {Filho, Sergio Luiz Marques and de Almeida, Eduardo Cunha and Alves, Marco Antonio Zanata},
        series = {{SIGMOD} '26},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3802041},
        url = {https://dl.acm.org/doi/10.1145/3802041},
        year = {2026}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 17 of 17 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
112	HoloClean: Holistic Data Repairs with Probabilistic Inference	2017	VLDB	0.00032801121
376	Discovering Denial Constraints	2013	VLDB	0.00019677674
729	Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms	2015	VLDB	0.00014539421
922	Data Processing on FPGAs	2009	VLDB	0.00013207382
1,741	Efficient Denial Constraint Discovery with Hydra	2018	VLDB	9.8755846e-05
1,955	Discovery of Approximate (and Exact) Denial Constraints	2020	VLDB	9.4166032e-05
2,181	Streams on Wires — A Query Compiler for FPGAs	2009	VLDB	9.0101847e-05
2,685	Approximate Denial Constraints	2020	VLDB	8.2594662e-05
3,361	Cleaning Denial Constraint Violations through Relaxation	2020	SIGMOD	7.4872032e-05
4,861	CXL and the Return of Scale-Up Database Engines	2024	VLDB	6.4747307e-05
5,611	Fast Algorithms for Denial Constraint Discovery	2023	VLDB	6.1504635e-05
7,170	Lowering the Latency of Data Processing Pipelines Through FPGA based Hardware Acceleration	2020	VLDB	5.6840081e-05
7,396	Fast Detection of Denial Constraint Violations	2022	VLDB	5.6257228e-05
7,982	Fast Approximate Denial Constraint Discovery	2023	VLDB	5.5138609e-05
9,544	SwiftSpatial: Spatial Joins on Modern Hardware	2025	SIGMOD	5.2528121e-05
9,568	Making Search Engines Faster by Lowering the Cost of Querying Business Rules Through FPGAs	2020	SIGMOD	5.2528121e-05
10,928	How and Why False Denial Constraints are Discovered	2025	VLDB	5.093636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,685	Approximate Denial Constraints	2020	VLDB
2	8,686	Rapidash: Efficient Detection of Constraint Violations	2024	VLDB
3	9,623	Incremental Detection of Denial Constraint Violations	2025	VLDB
4	10,928	How and Why False Denial Constraints are Discovered	2025	VLDB
5	376	Discovering Denial Constraints	2013	VLDB
6	1,741	Efficient Denial Constraint Discovery with Hydra	2018	VLDB
7	7,396	Fast Detection of Denial Constraint Violations	2022	VLDB
8	1,955	Discovery of Approximate (and Exact) Denial Constraints	2020	VLDB
9	7,982	Fast Approximate Denial Constraint Discovery	2023	VLDB
10	5,611	Fast Algorithms for Denial Constraint Discovery	2023	VLDB