The Implication And Finite Implication Problems For Typed Template Dependencies
Summary: Establishes undecidability of implication and finite implication for typed template dependencies (generalizing embedded MVDs and JDs), implying no formal axiomatization. Extends to simple template dependencies and exhibits a finite set with unsolvable implication. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,960 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9543811e-05 |
| 3,325 | On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information | 2006 | PODS | 7.2149375e-05 |
| 3,389 | The Inference Problem for Template Dependencies | 1982 | PODS | 7.1489238e-05 |
| 6,037 | Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies | 1985 | PODS | 5.2365238e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.0015464728 |
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 3,389 | The Inference Problem for Template Dependencies | 1982 | PODS | 7.1489238e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,405 | Extending Dependencies with Conditions | 2007 | VLDB | 0.00012174499 |
| 1,739 | Composition of Mappings Given by Embedded Dependencies | 2005 | PODS | 0.00010698182 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083070519 |
| 105 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00049082041 |
| 6,087 | Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies | 1980 | SIGMOD | 5.2150531e-05 |
| 1,960 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9543811e-05 |
| 13,071 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS | 4.1905499e-05 |
| 2,064 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6485054e-05 |
| 4,421 | The Interaction between Functional Dependencies and Template Dependencies | 1980 | SIGMOD | 6.1939227e-05 |
| 3,389 | The Inference Problem for Template Dependencies | 1982 | PODS | 7.1489238e-05 |