equality-generating dependency
certain kind of constraint on a relational database
functional dependency
in relational database theory, a constraint between two sets of attributes in a relation from a database
certain kind of constraint on a relational database