Keyphrases
- tree decomposition
- labeling scheme
- constraint networks
- decomposition method
- probabilistic reasoning
- branch and bound
- graph theory
- xml documents
- parallel processing
- transitive closure
- constraint satisfaction problems
- xml data
- xml queries
- answer set programming
- xml databases
- decomposition methods
- bayesian networks
- directed acyclic graph
- efficient processing
- first order logic
- expert systems
- lower bound
- temporal reasoning
- belief networks
- integrity constraints
- expressive power
- upper bound
- database