Keys
Superkey
Given a relation with Attributes and subset of , then is a superkey of if the FD holds on any instance of
Candidate Key
Given a relation with attributes and subset of , then is a candidate key of , and no strict subset of is a superkey
- Can’t remove any attribute from a candidate key and still have a superkey
Primary Key
Given a relation with attributes , the primary key of is a distinguished candidate key of chosen by the DBA group