Title: Datalog and Logic Databases
Subjects: Relational databases, Logic programming, Logic design