Transformations into Normal Forms for Quantified Circuits.
Hans Kleine BüningXishun ZhaoUwe BubeckPublished in: SAT (2011)
Keyphrases
- normal form
- functional dependencies
- database design
- relational databases
- nested relations
- database theory
- data dependencies
- relational algebra
- formal definitions
- information content
- high speed
- relational database theory
- prime implicates
- multi valued
- boolean expressions
- databases
- object oriented
- null values
- management system
- function symbols
- xml documents