Login / Signup
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