Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms.
Claudia FaggianPublished in: FSCD (2019)
Keyphrases
- normal form
- boolean expressions
- database design
- functional dependencies
- database theory
- relational databases
- nested relations
- relational algebra
- termination analysis
- formal definitions
- relational database theory
- multi valued
- data dependencies
- database
- prime implicates
- information content
- conjunctive queries
- presburger arithmetic
- query rewriting
- databases