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,716 | Datalog Unchained | 2021 | PODS | 5.3569788e-05 |
| 11,679 | Rewriting of Plain SO Tgds into Nested Tgds | 2019 | VLDB | 4.1905499e-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 |
|---|---|---|---|---|
| 47 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00069691761 |
| 142 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00041780711 |
| 818 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016240185 |
| 1,075 | Model Management 2.0: Manipulating Richer Mappings | 2007 | SIGMOD | 0.00014233255 |
| 2,763 | Advanced Processing for Ontological Queries | 2010 | VLDB | 8.1614123e-05 |
| 2,909 | Nested Mappings: Schema Mapping Reloaded | 2006 | VLDB | 7.9282234e-05 |
| 8,190 | XML Schema Mappings | 2009 | PODS | 4.5598146e-05 |
| 9,428 | Nested Dependencies: Structure and Reasoning | 2014 | PODS | 4.3399748e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,259 | Expressiveness and Complexity of Order Dependencies | 2013 | VLDB | 4.7815192e-05 |
| 3,367 | Functional Dependencies on Cyclic Database Schemes | 1983 | SIGMOD | 7.1665323e-05 |
| 1,739 | Composition of Mappings Given by Embedded Dependencies | 2005 | PODS | 0.00010698182 |
| 4,166 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3843679e-05 |
| 13,071 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS | 4.1905499e-05 |
| 105 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00049082041 |
| 2,064 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6485054e-05 |
| 11,435 | Model-theoretic Characterizations of Rule-based Ontologies | 2021 | PODS | 4.1905499e-05 |
| 818 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00016240185 |
| 11,770 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1905499e-05 |