Title: Logic in databases
Subjects: Logic programming, Congresses, Deductive databases, Database management