Mathematics
Relational algebra
Tuple
Selection algorithm
SQL
FO
Relation
Finitary relation
Predicate
Data management
Relational model
Computing