Deduction in Non-Horn Databases.

Adnan H. Yahya Lawrence J. Henschen

Published in: J. Autom. Reason. (1985)

Keyphrases

relational databases
databases
database
normal form
np hard
theorem proving
knowledge discovery
inference rules
database applications
neural network
decision trees
database systems
data integration