Data management
Logic programming
Model theory
Computing
Artificial intelligence
Constraint programming
Programming paradigms
Data integration