Definition
Super Key
A subset of attributes
of a relation is called super key iff ( functionally determines ). In other words, a super key of a relation uniquely identifies a tuple in a relation. Trivially, the set of all attributes is a super key since
.