@article {4008,
	title = {Reasoning About Equations and Functional Dependencies on Complex Objects},
	journal = {IEEE Transactions on Knowledge and Data Engineering (TKDE)},
	volume = {6},
	year = {1994},
	pages = {455--469},
	doi = {10.1109/69.334857},
	author = {Martin F. van Bommel and Grant Weddell}
}
