Relational algebra
Extension
Tuple
Relation
Structure
Finitary relation
Exponentiation
Candidate key
Mathematics
Relational model
Mathematical logic