Logic
Mathematical logic
Relational algebra
Relation
Tuple
Finitary relation
Completeness
SQL
Structure
Mathematics
Relational model
Data management