Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
Jörg EndrullisClemens GrabmayerDimitri HendriksJan Willem KlopPublished in: CoRR (2009)
Keyphrases
- normal form
- term rewriting
- theorem prover
- database design
- theorem proving
- operational semantics
- database theory
- functional dependencies
- relational databases
- rewrite systems
- relational algebra
- nested relations
- formal definitions
- knuth bendix
- data dependencies
- prime implicates
- database systems
- information content
- user defined
- inference rules
- integrity constraints
- first order logic
- machine learning