TY - JOUR
AU - Nicolas, Jean-Marie
AB -  Logic and Databases: A Deductive Approach HERVI~ GALLAIRE Compagnie G~n~rale d'I~lectricit~Laboratoire de Marcoussis, Marcoussis, France JACK MINKER University of Maryland, Computer Science Department, CollegePark, Maryland JEAN-MARIE NICOLAS ONERA-CERT, D~partement d'In[ormatique, Toulouse, France 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 dependencies. The second part deals mainly with the representation and manipulation of deduced facts and incomplete information. Categories and Subject Descriptors: H.2.1 [Database Management]: Logical Desigum data models; H.2.3 [Database Management]: Languages--query languages; H.2.4 [Database Management]: Systems--query processing General Terms: Deductive Databases, Indefinite Data, Logic and Databases, Null Values, Relational Databases INTRODUCTION As emphasized by Codd [1982], theoretical database studies form a fundamental basis for the development of homogeneous and sound database management systems (DBMS), which offer sophisticated capabilities for data handling. A comprehensive study of the many problems that exist in databases requires a precise formalization so that detailed analyses can be carried out and satisfactory solutions can be obtained. Most of the 
TI - Logic and Databases: A Deductive Approach
JF - ACM Computing Surveys (CSUR)
DO - 10.1145/356924.356929
DA - 1984-06-01
UR - https://www.deepdyve.com/lp/association-for-computing-machinery/logic-and-databases-a-deductive-approach-M07C9zH0oY
SP - 153
VL - 16
IS - 2
DP - DeepDyve
ER -