Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition.
Ievgen IvanovMykola S. NikitchenkoPublished in: ICTERI (Revised Selected Papers) (2019)
Keyphrases
- relational data model
- propositional logic
- data model
- web service composition
- object oriented
- boolean algebra
- query language
- user defined
- quantifier free
- spatial data types
- learning algorithm
- algebraic expressions
- music composition
- real numbers
- relational database systems
- regular expressions
- integrity constraints
- case study
- website