Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.
Massimo FranceschetAngelo MontanariPublished in: AI*IA (1999)
Keyphrases
- partially ordered
- transitive closure
- event calculus
- partial order
- expressive power
- totally ordered
- recursive queries
- constraint databases
- partial ordering
- query evaluation
- directed acyclic graph
- first order logic
- spatial databases
- relational algebra
- query language
- database systems
- temporal data
- database
- database design
- natural language