Algorithmic operator algebras via normal forms in tensor rings.
Jamal Hossein PoorClemens G. RaabGeorg RegensburgerPublished in: J. Symb. Comput. (2018)
Keyphrases
- normal form
- nested relations
- relational databases
- database design
- database theory
- high order
- formal definitions
- functional dependencies
- data dependencies
- prime implicates
- information content
- relational algebra
- complex objects
- relational database theory
- databases
- data structure
- multi valued
- incomplete information
- integrity constraints
- logic programs
- database