equality-generating dependency

certain kind of constraint on a relational database