Reasoning about equations and functional dependencies on complex objects | IEEE Journals & Magazine | IEEE Xplore