Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies

Summary: Demonstrates there is no finite, complete rule set for Embedded Multivalued Dependencies (EMVDs) and Transitive Dependencies (TDs). Explicitly constructs irreducible n-ary EMVD inference rules for all n, via Paredaens' TD framework, illustrating failure of unary/binary rule sets. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2181
Venue: SIGMOD
Year: 1980
Pagerank: 5.8583679e-05
Overall Rank: 6,505 | 55.38%
DOI: 10.1145/582250.582259

Incoming Non-self Citations Over Time

Authors

1. D. Stott Parker, Jr. (University of California Los Angeles)
2. Kamran Parsaye-Ghomi (University of California Los Angeles)

BibTeX Citation

@inproceedings{jr_sigmod80,
        title = {{Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies}},
        author = {D. Stott Parker, Jr. and Parsaye-Ghomi, Kamran},
        series = {{SIGMOD} '80},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/582250.582259},
        url = {https://dl.acm.org/doi/10.1145/582250.582259},
        year = {1980}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,516	The Design of non-1NF Relational Databases into Nested Normal Form	1987	SIGMOD	5.8545649e-05
7,126	Sort Sets in the Relational Model* (extended abstract)	1983	PODS	5.695798e-05

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
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
3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD	7.3387532e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,277	Extending Dependencies with Conditions	2007	VLDB
2	4,160	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD
3	203	Dependency Inference	1987	VLDB
4	4,487	Reasoning about Nested Functional Dependencies	1999	PODS
5	162	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS
6	2,047	Functional and Inclusion Dependencies: A Graph Theoretic Approach	1984	PODS
7	3,291	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS
8	495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD
9	3,461	Inference Rules for Functional and Inclusion Dependencies	1983	PODS
10	8,552	Multi-valued Dependencies in the Presence of Lists	2004	PODS