Reasoning about equations and functional dependencies on complex objects (1994)

by M F Bommel, G E Weddell
Venue:Trans. Knowledge Data Eng