Nested Dependencies: Structure and Reasoning

Summary: Systematic investigation of nested GLAV mappings (nested tgds) for data exchange, focusing on reasoning, algorithms, and structural properties. Key results: decidability of the implication problem for nested tgds, structural analysis of cores, techniques separating nested from SO tgds, and a decidable test whether a nested GLAV mapping is equivalent to a (non-nested) GLAV mapping. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1619
Venue: PODS
Year: 2014
Pagerank: 5.2528121e-05
Overall Rank: 9,577 | 34.30%
DOI: 10.1145/2594538.2594544

Incoming Non-self Citations Over Time

Authors

1. Phokion G. Kolaitis (IBM; University of California Santa Cruz)
2. Reinhard Pichler (Vienna University of Technology)
3. Emanuel Sallinger (Vienna University of Technology)
4. Vadim Savenkov (Vienna University of Technology)

BibTeX Citation

@inproceedings{kolaitis_pods14,
        address = {New York, NY, USA},
        series = {{PODS} '14},
        title = {{Nested Dependencies: Structure and Reasoning}},
        url = {https://dl.acm.org/doi/10.1145/2594538.2594544},
        doi = {10.1145/2594538.2594544},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kolaitis, Phokion G. and Pichler, Reinhard and Sallinger, Emanuel and Savenkov, Vadim},
        year = {2014}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
8,348	Reflections on Schema Mappings, Data Exchange, and Metadata Management	2018	PODS	5.4469775e-05
8,817	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability	2015	PODS	5.3637297e-05
11,869	Rewriting of Plain SO Tgds into Nested Tgds	2019	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
22	Data Integration: A Theoretical Perspective	2002	PODS	0.00056204792
377	Data Exchange: Getting to the Core	2003	PODS	0.00019643793
685	Composing Schema Mappings: Second-Order Dependencies to the Rescue	2004	PODS	0.00014979915
788	Composing Mappings Among Data Sources	2003	VLDB	0.00014031294
2,785	Nested Mappings: Schema Mapping Reloaded	2006	VLDB	8.1236628e-05
2,954	The Recovery of a Schema Mapping: Bringing Exchanged Data Back	2008	PODS	7.9234704e-05
4,608	Towards a Theory of Schema-Mapping Optimization	2008	PODS	6.6082619e-05
9,483	Local Transformations and Conjunctive-Query Equivalence	2012	PODS	5.2634238e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,608	Towards a Theory of Schema-Mapping Optimization	2008	PODS
2	788	Composing Mappings Among Data Sources	2003	VLDB
3	9,483	Local Transformations and Conjunctive-Query Equivalence	2012	PODS
4	6,747	Query Processing under GLAV Mappings for Relational and Graph Databases	2013	VLDB
5	3,341	Designing and Refining Schema Mappings via Data Examples	2011	SIGMOD
6	2,785	Nested Mappings: Schema Mapping Reloaded	2006	VLDB
7	4,487	Reasoning about Nested Functional Dependencies	1999	PODS
8	685	Composing Schema Mappings: Second-Order Dependencies to the Rescue	2004	PODS
9	1,491	Composition of Mappings Given by Embedded Dependencies	2005	PODS
10	11,869	Rewriting of Plain SO Tgds into Nested Tgds	2019	VLDB