Keyphrases
- normal form
- recursive programs
- program synthesis
- logic programs
- relational databases
- transformation rules
- nested relations
- relational algebra
- functional dependencies
- information content
- database design
- case study
- database
- databases
- multi dimensional
- software engineering
- query language
- data structure
- set of functional dependencies