In relational database theory, a constraint between two sets of attributes in a relation from a database