Title: Building a deductive database
Subjects: Database design, Deductive databases