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
No takes yet. Share an insight, caveat, or question.
Gallaire et al. (1984) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: