The algebra of non-deterministic programs: demonic operators, orders and axioms.
Robin HirschSzabolcs MikulásTim StokesPublished in: CoRR (2020)
Keyphrases
- control structures
- set theory
- knowledge base
- turing machine
- morphological operators
- first order logic
- programming environment
- database languages
- aggregate functions
- databases
- building blocks
- relational algebra
- deductive databases
- automatic programming
- logic programs
- data model
- control program
- algebraic operations
- database systems
- algebraic geometry
- algebraic operators