Eliminating Recursion from Monadic Datalog Programs on Trees.
Filip MazowieckiJoanna OchremiakAdam WitkowskiPublished in: MFCS (1) (2015)
Keyphrases
- datalog programs
- query answering
- deductive databases
- conjunctive queries
- datalog queries
- recursive queries
- fixpoint
- magic sets
- fixpoint semantics
- inconsistent databases
- data exchange
- data complexity
- integrity constraints
- relational databases
- incomplete information
- schema mappings
- data integration
- np complete
- software engineering
- query containment
- expert systems
- high level
- machine learning
- data mining