Completeness for Linear Regular Negation Normal Form Inference Systems.

Reiner Hähnle Neil V. Murray Erik Rosenthal

Published in: ISMIS (1997)

Keyphrases

normal form
relational databases
database design
management system
logic programs
boolean expressions
nested relations
np complete