On the Kleene Algebra of Partial Predicates with Predicate Complement.
Ievgen IvanovMykola S. NikitchenkoPublished in: ICTERI Workshops (2019)
Keyphrases
- propositional logic
- datalog programs
- first order logic
- monotonicity constraints
- horn clauses
- relational algebra
- data model
- expressive power
- quantifier free
- algebraic geometry
- user defined
- regular expressions
- boolean algebra
- query language
- search space
- database
- spatial data types
- algebraic expressions
- relational data model
- partial information
- pattern matching
- genetic algorithm