Testclasses and Closed World Assumptions for Non-Horn Theories.

Published in: Nonclassical Logics and Information Processing (1990)

Keyphrases

horn theories
closed world assumptions
closed world assumption
databases
canonical representation
functional dependencies
deductive databases
data exchange
closed world
relational databases
data management
artificial intelligence
database design
normal form
database management systems
expert systems
case study