Keyphrases
- set theory
- boolean algebra
- modal logic
- concurrency control
- relation algebra
- algebraic structure
- relational algebra
- data model
- logic programming
- algebraic operators
- automated reasoning
- multi valued
- query language
- spatial locality
- database systems
- logical framework
- computational properties
- database management systems
- epistemic logic
- proof theory