Uniqueness of Normal Forms for Shallow Term Rewrite Systems.
Nicholas R. RadcliffeLuis F. T. MoraesRakesh M. VermaPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- normal form
- term rewrite systems
- database design
- rewrite rules
- relational algebra
- relational databases
- database theory
- functional dependencies
- information content
- nested relations
- formal definitions
- natural language processing
- data dependencies
- relational database theory
- database systems
- prime implicates
- data structure
- database
- database schema
- object oriented databases
- query language
- data model