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,598 | On XML Integrity Constraints in the Presence of DTDs | 2001 | PODS | 8.4660607e-05 |
| 3,962 | Integrity Constraints for XML | 2000 | PODS | 6.581926e-05 |
| 8,774 | CRIUS: User-Friendly Database Design | 2011 | VLDB | 4.4502549e-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.0007528369 |
| 1,051 | A Normal Form for Nested Relations | 1985 | PODS | 0.00014421811 |
| 3,262 | Path Constraints on Semistructured and Structured Data | 1998 | PODS | 7.3081091e-05 |
Previous
Page 1 / 1
Next