Title: Logics for databases and information systems
Subjects: Computer logic, Database management