Keyphrases
- boolean algebra
- set theory
- relation algebra
- algebraic structure
- data model
- logic programming
- concurrency control
- modal logic
- multi valued
- data structure
- fine grained
- data access
- database systems
- sound and complete axiomatization
- algebraic expressions
- concurrent programming
- predicate logic
- classical logic
- logical framework
- data flow