Determinacy and Rewriting of Top-Down and MSO Tree Transformations.
Michael BenediktJoost EngelfrietSebastian ManethPublished in: MFCS (2013)
Keyphrases
- conjunctive queries
- rewrite rules
- query rewriting
- tree structure
- tree automata
- high level
- binary tree
- tree structures
- regular expressions
- databases
- data complexity
- integrity constraints
- np complete
- b tree
- tree search
- multi dimensional
- monadic second order logic
- query answering
- finite state
- query optimization
- logic programs
- tree models
- data sets
- rewriting rules