Logic and databases: a deductive approach (1984)
by
Hervi Gallaire
,
Jack Minker
| Venue: | ACM Computing Surveys |
| Citations: | 130 - 2 self |
BibTeX
@ARTICLE{Gallaire84logicand,
author = {Hervi Gallaire and Jack Minker},
title = {Logic and databases: a deductive approach},
journal = {ACM Computing Surveys},
year = {1984},
volume = {16},
pages = {153--185}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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
