Reasoning about Nested Functional Dependencies
Summary: Introduce NFDs: functional dependencies over nested relations using path expressions to capture intra-/inter-set constraints not expressible by classical FDs/MVDs/JDs. Provide logical semantics, a sound & complete eight-rule axiomatization and analysis of empty-set effects for reasoning about complex-type data-warehouse constraints. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,594 | On XML Integrity Constraints in the Presence of DTDs | 2001 | PODS | 8.474176e-05 |
| 3,960 | Integrity Constraints for XML | 2000 | PODS | 6.5882121e-05 |
| 8,777 | CRIUS: User-Friendly Database Design | 2011 | VLDB | 4.4545267e-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 |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00075110004 |
| 1,052 | A Normal Form for Nested Relations | 1985 | PODS | 0.00014436103 |
| 3,257 | Path Constraints on Semistructured and Structured Data | 1998 | PODS | 7.3151681e-05 |
Previous
Page 1 / 1
Next