Mathematics
Computing
Mathematical logic
Database theory
Complexity classes
Boolean algebra
Algebraic structures
Relational model
Datalog
Relational algebra
Tuple
FO