Probabilistic Rewriting: Relations between Normalization, Termination, and Unique Normal Forms.
Claudia FaggianPublished in: CoRR (2018)
Keyphrases
- normal form
- data dependencies
- boolean expressions
- database design
- functional dependencies
- relational databases
- relational calculus
- database theory
- nested relations
- termination analysis
- information content
- relational algebra
- set of functional dependencies
- null values
- formal definitions
- relational data model
- prime implicates
- active rules
- database schema
- modal logic
- logic programs
- relational database theory
- probabilistic logic
- database schemes
- database
- conjunctive queries
- np complete
- query language
- case study