Gröbner-free normal forms for Boolean polynomials.
Michael BrickensteinAlexander DreyerPublished in: J. Symb. Comput. (2013)
Keyphrases
- normal form
- numerically stable
- boolean expressions
- database design
- multi valued
- relational databases
- database theory
- functional dependencies
- nested relations
- polynomial equations
- formal definitions
- relational algebra
- data dependencies
- information content
- real valued
- relational database theory
- prime implicates
- methods in computer vision
- computer vision
- numerical stability
- boolean functions