Cut Normal Forms and Proof Complexity.

Matthias Baaz Alexander Leitsch

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

normal form
database design
formal definitions
relational databases
database theory
nested relations
functional dependencies
data dependencies
relational algebra
database
databases
information content
theorem proving
management system
decision problems
complex objects