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: 4.5435639e-05
Overall Rank: 8,316 | 42.15%
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,533	Differential Constraints	2005	PODS	4.1945683e-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
104	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS	0.00048766186
13,059	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	4.1945683e-05
1,052	A Normal Form for Nested Relations	1985	PODS	0.00014436103
2,026	REAL-WORLD MVD's	1981	SIGMOD	9.7457158e-05
12,994	Some Classes of Multilevel Relational Structures (Extended Abstract)	1986	PODS	4.1945683e-05
4,169	Reasoning about Nested Functional Dependencies	1999	PODS	6.3905263e-05
9,119	Unifying Functional and Multivalued Dependencies for Relational Database Design	1986	PODS	4.3927483e-05
6,083	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies	1980	SIGMOD	5.2201823e-05
5,679	Weak Multivalued Dependencies+	1984	PODS	5.3739358e-05
170	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.0003886136