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

by M F van Bommel, G E Weddell
Venue:IEEE Transaction on Knowledge and Data Engineering