Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.
Laureano LambánFrancisco J. Martín-MateosJulio RubioJosé-Luis Ruiz-ReinaPublished in: ITP (2017)
Keyphrases
- normal form
- database design
- functional dependencies
- relational databases
- database theory
- nested relations
- relational algebra
- prime implicates
- formal definitions
- data dependencies
- information content
- relational database theory
- natural language learning
- relational model
- knowledge compilation
- multi valued
- relational database systems
- boolean expressions
- database schema