Logic and databases: a deductive approach

Logic and databases: a deductive approach (1984)

by Hervi Gallaire , Jack Minker

Venue:	ACM Computing Surveys
Citations:	130 - 2 self

Datum	Value	Source
TITLE	Logic and databases: a deductive approach	INFERENCE
AUTHOR NAME	Hervi Gallaire	SVM HeaderParse 0.2
AUTHOR AFFIL	Compagnie G~n~rale d'I~lectricit ~ Laboratoire de Marcoussis	SVM HeaderParse 0.2
AUTHOR ADDR	Marcoussis, France	SVM HeaderParse 0.2
AUTHOR NAME	Jack Minker	SVM HeaderParse 0.2
AUTHOR AFFIL	; University of Maryland, Computer Science Department, College Park; JEAN-MARIE NICOLAS	SVM HeaderParse 0.2
AUTHOR ADDR	; Maryland; ONERA-CERT, D~partement d'In[ormatique, Toulouse, France	SVM HeaderParse 0.2
ABSTRACT	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	SVM HeaderParse 0.2
YEAR	1984	INFERENCE
VENUE	ACM Computing Surveys	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	153--185	INFERENCE
VOLUME	16	INFERENCE
CITATIONS	176 found	ParsCit 1.0