Datalog Relational database Computer science Relational algebra Relational calculus Relational model Programming language Logic program Conjunctive query Deductive database Database Theoretical computer science Algebra over a field Logic programming Mathematics Pure mathematics