Infinite Normal Forms for Non-Linear Term Rewriting Systems.
Paola InverardiMonica NesiPublished in: MFCS (1991)
Keyphrases
- normal form
- term rewriting systems
- database design
- logic programs
- functional dependencies
- database theory
- relational databases
- functional programs
- relational algebra
- nested relations
- information content
- formal definitions
- data dependencies
- multi valued
- prime implicates
- data structure
- knowledge base
- general purpose
- database systems