Generalized Schema-Mappings: From Termination To Tractability

Summary: Generalizes schema-mappings with semantics (Soundness, Completeness, Laconicity) shown equal to cores of universal solutions and extended to nulls/equality. Introduces TOC, an oblivious-chase termination criterion strictly generalizing weak‑acyclicity, gives a new PTIME algorithm, and a decidable PTIME relaxation called Super‑weak Acyclicity. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1472
Venue: PODS
Year: 2009
Pagerank: 0.00010427058
Overall Rank: 1,541 | 89.43%
DOI: 10.1145/1559795.1559799

Incoming Non-self Citations Over Time

Authors

1. Bruno Marnette (University of Oxford)

BibTeX Citation

@inproceedings{marnette_pods09,
        address = {New York, NY, USA},
        series = {{PODS} '09},
        title = {{Generalized Schema-Mappings: From Termination To Tractability}},
        url = {https://dl.acm.org/doi/10.1145/1559795.1559799},
        doi = {10.1145/1559795.1559799},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Marnette, Bruno},
        year = {2009}
}

Incoming Citations (Sorted by Pagerank)

Showing 18 of 18 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,324	Dependencies for Graphs	2017	PODS	8.7506505e-05
2,634	Benchmarking the Chase	2017	PODS	8.3210907e-05
3,487	++Spicy: an Open-Source Tool for Second-Generation Schema Mapping and Data Exchange	2011	VLDB	7.3687386e-05
4,353	Chase Termination for Guarded Existential Rules	2015	PODS	6.7490677e-05
4,369	Semantic Query Optimization in the Presence of Types	2010	PODS	6.7390374e-05
5,060	Scalable Data Exchange with Functional Dependencies	2010	VLDB	6.3803935e-05
6,740	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.7869364e-05
7,045	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.7186824e-05
7,411	Flag & Check: Data Access with Monadically Defined Queries	2013	PODS	5.6242786e-05
7,930	Optimizing the Chase: Scalable Data Integration under Constraints	2014	VLDB	5.5181056e-05
8,779	Chase Termination: A Constraints Rewriting Approach	2010	VLDB	5.3748499e-05
9,195	Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study	2023	VLDB	5.3058708e-05
9,196	Non-Uniformly Terminating Chase: Size and Complexity	2022	PODS	5.3058708e-05
9,522	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	5.2557598e-05
10,649	Restricted Chase Termination: You Want More than Fairness	2025	PODS	5.093636e-05
11,129	Chase Termination Beyond Polynomial Time	2024	PODS	5.093636e-05
11,366	Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying	2023	PODS	5.093636e-05
11,750	All-Instances Restricted Chase Termination	2020	PODS	5.093636e-05

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
377	Data Exchange: Getting to the Core	2003	PODS	0.00019643793
525	The Chase Revisited	2008	PODS	0.00017118255
2,550	Computing Cores for Data Exchange: New Algorithms and Practical Solutions	2005	PODS	8.4290753e-05
3,302	Data Exchange: Computing Cores in Polynomial Time	2006	PODS	7.5406585e-05
4,377	Data Exchange and Schema Mappings in Open and Closed Worlds	2008	PODS	6.7358004e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,279	Getting Unique Solution in Data Exchange	2013	VLDB
2	2,954	The Recovery of a Schema Mapping: Bringing Exchanged Data Back	2008	PODS
3	2,934	Data Exchange and Incomplete Information	2006	PODS
4	7,214	Schema Mappings for Data Graphs	2017	PODS
5	685	Composing Schema Mappings: Second-Order Dependencies to the Rescue	2004	PODS
6	3,485	The Complexity of Data Exchange	2006	PODS
7	6,933	Laconic Schema Mappings: Computing the Core with SQL Queries	2009	VLDB
8	4,377	Data Exchange and Schema Mappings in Open and Closed Worlds	2008	PODS
9	3,942	On the Complexity of Deriving Schema Mappings from Database Instances	2008	PODS
10	4,608	Towards a Theory of Schema-Mapping Optimization	2008	PODS