An Improved Algorithm for Transitive Closure on Acyclic Digraphs.
Klaus SimonPublished in: Theor. Comput. Sci. (1988)
Keyphrases
- transitive closure
- expressive power
- np hard
- directed acyclic graph
- constraint databases
- query evaluation
- equivalence classes
- directed graph
- query language
- recursive queries
- np complete
- first order logic
- relational algebra
- spatial databases
- query containment
- binary relations
- conjunctive queries
- database systems
- knowledge representation
- expert systems