On a hierarchy involving transitive closure logic and existential second-order quantification.
Richard GaultIain A. StewartPublished in: Log. J. IGPL (2001)
Keyphrases
- transitive closure
- expressive power
- directed acyclic graph
- constraint databases
- query evaluation
- recursive queries
- query language
- first order logic
- query answering
- modal logic
- spatial databases
- logic programming
- binary relations
- complex objects
- concept hierarchy
- hierarchical structure
- relational algebra
- database
- data management
- databases