On Computing the Transitive Closure of a State Transition Relation.
Yusuke MatsunagaPatrick C. McGeerRobert K. BraytonPublished in: DAC (1993)
Keyphrases
- transitive closure
- state transition
- binary relations
- state transition model
- expressive power
- input output
- state transitions
- black box
- query evaluation
- state space
- hidden markov models
- constraint databases
- directed acyclic graph
- markov chain
- recursive queries
- spatial databases
- first order logic
- finite state machines
- query language
- probability distribution
- expert systems
- complex objects
- data mining
- artificial intelligence