Multi-valued Dependencies in the Presence of Lists

Summary: Axiomatizes multi-valued dependencies for nested list-typed data via an abstract nested-attribute/co-Heyting algebra, characterizing satisfaction as lossless decomposition. Gives sound and complete finite-implication rules, introduces a new list-specific inference rule and studies rule minimality. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1335
Venue: PODS
Year: 2004
Pagerank: 5.4958075e-05
Overall Rank: 8,421 | 41.48%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Sven Hartmann
2. Sebastian Link

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
12,542	Differential Constraints	2005	PODS	5.1725247e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
172	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS	0.00027557144
13,071	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	5.1725247e-05
1,037	A Normal Form for Nested Relations	1985	PODS	0.00012574301
2,484	REAL-WORLD MVD's	1981	SIGMOD	8.591081e-05
13,005	Some Classes of Multilevel Relational Structures (Extended Abstract)	1986	PODS	5.1725247e-05
4,420	Reasoning about Nested Functional Dependencies	1999	PODS	6.7755891e-05
9,193	Unifying Functional and Multivalued Dependencies for Relational Database Design	1986	PODS	5.3707121e-05
6,414	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies	1980	SIGMOD	5.9492423e-05
6,384	Weak Multivalued Dependencies+	1984	PODS	5.9584185e-05
481	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.00017782069