Completeness and incompleteness in nominal Kleene algebra.

Dexter Kozen Konstantinos Mamouras Alexandra Silva

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

propositional logic
regular expressions
query language
incomplete information
algebraic expressions
relational algebra
missing values
data quality
data mining
algebraic structure
algebraic operations
neural network
object oriented
database
data model
social networks
real numbers
algebraic geometry