Logic and Databases: A Response.

Hervé Gallaire Jack Minker Jean-Marie Nicolas

Published in: ACM SIGPLAN Notices (1987)

Keyphrases

databases
database
closed world assumptions
relational databases
logic programming
modal logic
database applications
predicate logic
data mining
information retrieval
learning algorithm
social networks
metadata
case study
data sources
logic programs
computational properties
dynamic logic