Completeness and Incompleteness in Nominal Kleene Algebra.
Dexter KozenKonstantinos MamourasAlexandra SilvaPublished in: RAMiCS (2015)
Keyphrases
- propositional logic
- regular expressions
- query language
- incomplete information
- data model
- databases
- algebraic structure
- real numbers
- relational algebra
- missing values
- neural network
- formal proofs
- algebraic geometry
- bayesian networks
- data quality
- social networks
- distributive lattices
- algebraic operations
- boolean algebra
- database
- genetic algorithm
- video sequences
- computer vision
- image processing
- multiscale
- multi agent
- query processing
- evolutionary algorithm