Modeling Equality Semantics in Relational Databases: An Abstract Lattice-Based Approach

The core message of this paper is to introduce a declarative framework for relational databases that allows specification of different meanings of equality at a high level of abstraction, and to study the impact of this framework on functional dependencies.