Long Normal Form Proof Search and Counter-Model Generation.

Sachio Hirokawa Daisuke Nagano

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

normal form
proof search
inference rules
theorem prover
theorem proving
relational databases
database design
linear logic
functional dependencies
nested relations
set of functional dependencies
expert systems
proof procedure