Completeness and normal form of multi-valued logical functions.
Daizhan ChengZequn LiuHongsheng QiPublished in: J. Frankl. Inst. (2020)
Keyphrases
- normal form
- multi valued
- truth values
- single valued
- functional dependencies
- relational databases
- relational algebra
- nested relations
- database design
- data dependencies
- information content
- disjunctive normal form
- logic synthesis
- boolean expressions
- database systems
- databases
- set of functional dependencies
- computational complexity
- computer vision