Any set of attributes that uniquely determine a tuple in a relation is superkey
key (candidate key) is minimal superkey. i.e removal of any attribute from the superkey does not make it superkey anymore
any superset of candidate key is superkey
trivial super key is complete set of attributes in the relation
One among the candidate keys is selected as primary key
primary key ⊆ candidate key ⊆ super key