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
- 1. Georg Gottlob (University of Oxford)
- 2. Reinhard Pichler (Vienna University of Technology)
- 3. Emanuel Sallinger (Vienna University of Technology)
BibTeX Citation
@inproceedings{gottlob_pods15,
address = {New York, NY, USA},
series = {{PODS} '15},
title = {{Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability}},
url = {https://dl.acm.org/doi/10.1145/2745754.2745756},
doi = {10.1145/2745754.2745756},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Gottlob, Georg and Pichler, Reinhard and Sallinger, Emanuel},
year = {2015}
}
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,067 | Datalog Unchained | 2021 | PODS | 6.2898972e-05 |
| 12,169 | Rewriting of Plain SO Tgds into Nested Tgds | 2019 | VLDB | 4.9793485e-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 |
|---|---|---|---|---|
| 24 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00055043581 |
| 136 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00029740459 |
| 703 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS | 0.00014660132 |
| 793 | Model Management 2.0: Manipulating Richer Mappings | 2007 | SIGMOD | 0.00013942384 |
| 2,584 | Advanced Processing for Ontological Queries | 2010 | VLDB | 8.2585389e-05 |
| 2,849 | Nested Mappings: Schema Mapping Reloaded | 2006 | VLDB | 7.942171e-05 |
| 8,591 | XML Schema Mappings | 2009 | PODS | 5.3070609e-05 |
| 9,753 | Nested Dependencies: Structure and Reasoning | 2014 | PODS | 5.1349531e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 6,424 | Expressiveness and Complexity of Order Dependencies | 2013 | VLDB |
| 2 | 3,598 | Functional Dependencies on Cyclic Database Schemes | 1983 | SIGMOD |
| 3 | 1,522 | Composition of Mappings Given by Embedded Dependencies | 2005 | PODS |
| 4 | 4,582 | Reasoning about Nested Functional Dependencies | 1999 | PODS |
| 5 | 13,549 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS |
| 6 | 159 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS |
| 7 | 2,098 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS |
| 8 | 11,937 | Model-theoretic Characterizations of Rule-based Ontologies | 2021 | PODS |
| 9 | 703 | Composing Schema Mappings: Second-Order Dependencies to the Rescue | 2004 | PODS |
| 10 | 12,266 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS |