Machine Learning
Inductive Logic Programming
$\thetassubsumption
Relational Databases
Acyclic Conjunctive Queries