A logic assistant for the database searcher.

Published in: Inf. Process. Manag. (1988)

Keyphrases

database
databases
database systems
relational databases
data sets
query language
learning algorithm
similarity measure
data model
database management systems
database applications
test bed
automated reasoning