The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification.
Boldizsár PoórRobert I. BoothTitouan CaretteJohn van de WeteringLia YehPublished in: QPL (2023)
Keyphrases
- graph theoretic
- normal form
- database design
- relational databases
- database theory
- relational algebra
- data dependencies
- graph theory
- nested relations
- functional dependencies
- hamiltonian path
- knowledge base
- bayesian network structure learning
- random graphs
- information content
- formal definitions
- first order logic
- graph properties
- maximum independent set
- evolutionary algorithm
- databases
- function symbols
- maximal cliques
- relational database theory
- database