Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability
Summary: Analyzes how explicit function symbols extend tgds via second-order, nested, and newly introduced Henkin tgds to capture expressiveness beyond Skolemized existentials. Characterizes intertranslatability, decidability of query answering under tgd syntactic criteria, and model-checking complexity. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,705 | Datalog Unchained | 2021 | PODS | 5.3621239e-05 |
| 11,674 | Rewriting of Plain SO Tgds into Nested Tgds | 2019 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 48 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00069720859 |
| 144 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00041462501 |
| 822 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016255689 |
| 1,078 | Model Management 2.0: Manipulating Richer Mappings | 2007 | SIGMOD | 0.00014245848 |
| 2,755 | Advanced Processing for Ontological Queries | 2010 | VLDB | 8.1690695e-05 |
| 2,904 | Nested Mappings: Schema Mapping Reloaded | 2006 | VLDB | 7.9355829e-05 |
| 8,190 | XML Schema Mappings | 2009 | PODS | 4.5641911e-05 |
| 9,422 | Nested Dependencies: Structure and Reasoning | 2014 | PODS | 4.3441378e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,261 | Expressiveness and Complexity of Order Dependencies | 2013 | VLDB | 4.7861106e-05 |
| 3,361 | Functional Dependencies on Cyclic Database Schemes | 1983 | SIGMOD | 7.1735665e-05 |
| 1,742 | Composition of Mappings Given by Embedded Dependencies | 2005 | PODS | 0.00010708408 |
| 4,169 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3905263e-05 |
| 13,059 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS | 4.1945683e-05 |
| 104 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00048766186 |
| 2,058 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6585264e-05 |
| 11,432 | Model-theoretic Characterizations of Rule-based Ontologies | 2021 | PODS | 4.1945683e-05 |
| 822 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016255689 |
| 11,762 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1945683e-05 |