Completeness and Incompleteness of Synchronous Kleene Algebra.
Jana WagemakerMarcello M. BonsangueTobias KappéJurriaan RotAlexandra SilvaPublished in: MPC (2019)
Keyphrases
- propositional logic
- relational algebra
- data model
- regular expressions
- algebraic expressions
- query language
- incomplete information
- data sets
- algebraic structure
- data quality
- asynchronous communication
- first order logic
- algebraic geometry
- algebraic operations
- boolean algebra
- neural network
- relational model
- expressive power
- set theory
- databases
- real time
- formal proofs