Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning

Summary: Proposes harmless EGDs, a broad class extending TGDs for value assignment and equivalence; a syntactic test for harmlessness. PTIME data complexity in Warded Datalog+/- with harmless EGDs; chase-based reasoning and Vadalog implementation with experiments. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 12907
Venue: VLDB
Year: 2022
Pagerank: 4.347117e-05
Overall Rank: 9,377 | 34.77%
DOI: 10.14778/3565838.3565850

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,813	Datalog with First-Class Facts	2025	VLDB	4.2783272e-05
10,826	Vadacode: A Logician-friendly IDE for Datalog+/-	2025	VLDB	4.1945683e-05
13,192	KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs	2023	VLDB	-

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
38	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00075110004
613	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00019181325
698	The Chase Revisited	2008	PODS	0.00018030148
1,018	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00014627963
1,102	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS	0.00014049364
1,736	Generalized Schema-Mappings: From Termination To Tractability	2009	PODS	0.00010720323
1,883	The iBench Integration Metadata Generator	2016	VLDB	0.00010215862
2,720	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2367715e-05
2,755	Advanced Processing for Ontological Queries	2010	VLDB	8.1690695e-05
2,936	Querying with Access Patterns and Integrity Constraints	2015	VLDB	7.8554347e-05
3,004	Benchmarking the Chase	2017	PODS	7.7314538e-05
4,907	DEMo: Data Exchange Modeling Tool	2009	VLDB	5.8359897e-05
5,165	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	5.6529675e-05
5,382	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	5.5397633e-05
5,705	Datalog Unchained	2021	PODS	5.3621239e-05
8,259	PDQ: Proof-driven Query Answering over Web-based Data	2014	VLDB	4.5486275e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,762	Stable Model Semantics for Tuple-Generating Dependencies Revisited	2017	PODS	4.1945683e-05
10,908	Chase Termination Beyond Polynomial Time	2024	PODS	4.1945683e-05
2,720	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2367715e-05
2,755	Advanced Processing for Ontological Queries	2010	VLDB	8.1690695e-05
4,298	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.2885419e-05
11,386	Rewriting the Infinite Chase	2022	VLDB	4.1945683e-05
11,130	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1945683e-05
11,432	Model-theoretic Characterizations of Rule-based Ontologies	2021	PODS	4.1945683e-05
5,165	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	5.6529675e-05
6,470	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.0513478e-05