Bit Complexity of Jordan Normal Form and Polynomial Spectral Factorization.
Papri DeyRavi KannanNick RyderNikhil SrivastavaPublished in: ITCS (2023)
Keyphrases
- normal form
- relational databases
- database design
- functional dependencies
- relational algebra
- nested relations
- information content
- computational complexity
- propositional formulas
- polynomial size
- disjunctive normal form
- relational database theory
- knowledge compilation
- boolean expressions
- set of functional dependencies