Keyphrases
- relation algebra
- expressive power
- formal logic
- logic programming
- horn clauses
- information retrieval
- predicate logic
- semantic relations
- classical logic
- clifford algebra
- test collection
- totally ordered
- temporal relations
- boolean algebra
- interval algebra
- formal theory
- spatial reasoning
- modal logic
- data model
- relational databases