Static Analysis and Query Answering for Incomplete Data Trees with Constraints.
Amélie GheerbrantLeonid LibkinJuan L. ReutterPublished in: In Search of Elegance in the Theory and Practice of Computation (2013)
Keyphrases
- query answering
- incomplete data
- static analysis
- regular path queries
- regular expressions
- data exchange
- tree automata
- missing data
- dynamic analysis
- missing values
- answering queries
- integrity constraints
- incomplete information
- bayesian networks
- data complexity
- source code
- conjunctive queries
- query containment
- data integration
- data dependencies
- em algorithm
- tuple generating dependencies
- decision trees
- xml schema
- dl lite
- inconsistent databases
- datalog programs
- test suite
- schema mappings
- data mining
- case study
- machine learning