Logic and Databases: A Deductive Approach
Hervé Gallaire, Jack Minker, Jean‐Marie Nicolas · ACM Computing Surveys · 1984
The purpose of this paper is to show that logic provides a convenient formalism for studying classical database problems. There are two main parts to the paper, devoted respectively to conventional databases and deductive databases. In the first part, we focus on query languages, integrity modeling and maintenance, query optimization, and data