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

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