On Database Logic.

Barry E. Jacobs

Published in: J. ACM (1982)

Keyphrases

database
databases
data sets
database systems
real time
query language
database management
information retrieval
bayesian networks
management system
object oriented
data management
logic programming
database queries
proof theory