Uniqueness of Normal Forms for Shallow Term Rewrite Systems.
Nicholas R. RadcliffeLuis F. T. MoraesRakesh M. VermaPublished in: CoRR (2016)
Keyphrases
- normal form
- term rewrite systems
- rewrite rules
- functional dependencies
- nested relations
- relational databases
- database design
- database theory
- relational algebra
- information content
- relational database theory
- formal definitions
- natural language processing
- data dependencies
- integrity constraints
- database systems
- user defined
- database applications
- databases