Logic and Databases: A Deductive Approach.

Hervé Gallaire Jack Minker Jean-Marie Nicolas

Published in: ACM Comput. Surv. (1984)

Keyphrases

databases
closed world assumptions
deductive reasoning
database languages
database
modal logic
multi valued
logic programming
object oriented
data integration
relational databases
data mining
knowledge discovery
data model
database applications
case study
computational properties
website
real time