Keyphrases
- relation algebra
- boolean algebra
- distributive lattices
- formal logic
- set theory
- expressive power
- three dimensional
- cardinality constraints
- interval algebra
- automated reasoning
- algebraic structure
- configuration space
- spatial reasoning
- logic programming
- query language
- data model
- databases
- database
- computational properties
- relational algebra
- temporal reasoning
- predicate logic
- epistemic logic
- modal logic
- rough sets