Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms.
Claudia FaggianPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- normal form
- boolean expressions
- database design
- relational databases
- functional dependencies
- formal definitions
- relational algebra
- database theory
- termination analysis
- nested relations
- data dependencies
- relational database theory
- prime implicates
- relational model
- information content
- function symbols
- presburger arithmetic
- integrity constraints
- query language
- database management systems
- rewrite rules
- probabilistic logic
- multi valued
- active databases
- data structure
- conjunctive queries
- expressive power
- incomplete information
- belief revision