The Interaction between Functional Dependencies and Template Dependencies

Summary: Interplay of template dependencies and functional dependencies under Sadri-Ullman 1979 axioms. Partial decidability of template+FD implications; extends Sadri-Ullman techniques to broader dependencies (MV, join, mutual, subset, embedded), enabling wider inference. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2180
Venue: SIGMOD
Year: 1980
Pagerank: 6.8622758e-05
Overall Rank: 4,160 | 71.46%
DOI: 10.1145/582250.582258

Incoming Non-self Citations Over Time

Authors

1. Fereidoon Sadri (Princeton University)
2. Jeffrey D. Ullman (Stanford University)

BibTeX Citation

@inproceedings{sadri_sigmod80,
        title = {{The Interaction between Functional Dependencies and Template Dependencies}},
        author = {Sadri, Fereidoon and Ullman, Jeffrey D.},
        series = {{SIGMOD} '80},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/582250.582258},
        url = {https://dl.acm.org/doi/10.1145/582250.582258},
        year = {1980}
}

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,324	Dependencies for Graphs	2017	PODS	8.7506505e-05
6,478	Weak Multivalued Dependencies+	1984	PODS	5.8678984e-05
8,113	Capturing Associations in Graphs	2020	VLDB	5.484341e-05
9,647	Rock: Cleaning Data by Embedding ML in Logic Rules	2024	SIGMOD	5.2430158e-05
10,324	Outliers: The Good, the Bad and the Ugly	2026	SIGMOD	5.093636e-05
11,227	Extending Graph Rules with Oracles	2024	VLDB	5.093636e-05
11,424	Splitting Tuples of Mismatched Entities	2023	SIGMOD	5.093636e-05
11,434	Learning and Deducing Temporal Orders	2023	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
40	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00046918506
495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.00017513721

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,414	When Data Dependencies over SQL Tables Meet the Logics of Paradox and S-3	2010	PODS
2	3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD
3	162	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS
4	2,047	Functional and Inclusion Dependencies: A Graph Theoretic Approach	1984	PODS
5	203	Dependency Inference	1987	VLDB
6	13,259	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS
7	4,210	The Inference Problem for Template Dependencies	1982	PODS
8	3,461	Inference Rules for Functional and Inclusion Dependencies	1983	PODS
9	495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD
10	3,291	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS