Wiring diagrams as normal forms for computing in symmetric monoidal categories.
Evan PattersonDavid I. SpivakDmitry VagnerPublished in: ACT (2020)
Keyphrases
- normal form
- database design
- functional dependencies
- relational databases
- database theory
- nested relations
- formal definitions
- building blocks
- information content
- relational algebra
- function symbols
- data dependencies
- boolean expressions
- integrated circuit
- equational theories
- null values
- multi valued
- relational database systems
- database management systems
- knowledge representation