Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting.
Stefan BlomPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- normal form
- term rewriting
- database design
- theorem proving
- theorem prover
- functional dependencies
- relational databases
- information content
- relational algebra
- nested relations
- operational semantics
- rewrite systems
- knuth bendix
- data dependencies
- complex objects
- data model
- boolean expressions
- databases
- relational database theory