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,954 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9639379e-05 |
| 3,324 | On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information | 2006 | PODS | 7.2213002e-05 |
| 3,390 | The Inference Problem for Template Dependencies | 1982 | PODS | 7.1559646e-05 |
| 6,033 | Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies | 1985 | PODS | 5.2415551e-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 |
|---|---|---|---|---|
| 8 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.0015385917 |
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00075110004 |
| 3,390 | The Inference Problem for Template Dependencies | 1982 | PODS | 7.1559646e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,401 | Extending Dependencies with Conditions | 2007 | VLDB | 0.00012187775 |
| 1,742 | Composition of Mappings Given by Embedded Dependencies | 2005 | PODS | 0.00010708408 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083101742 |
| 104 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00048766186 |
| 6,083 | Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies | 1980 | SIGMOD | 5.2201823e-05 |
| 1,954 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9639379e-05 |
| 13,059 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS | 4.1945683e-05 |
| 2,058 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6585264e-05 |
| 4,448 | The Interaction between Functional Dependencies and Template Dependencies | 1980 | SIGMOD | 6.1785017e-05 |
| 3,390 | The Inference Problem for Template Dependencies | 1982 | PODS | 7.1559646e-05 |