An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.
Doron A. PeledThomas WilkePierre WolperPublished in: CONCUR (1996)
Keyphrases
- query evaluation
- regular languages
- closure properties
- regular expressions
- tree automata
- context free grammars
- query language
- finite automata
- grammatical inference
- expressive power
- xml data
- context free
- finite state machines
- xml schema
- data model
- databases
- positive data
- equivalence queries
- integrity constraints
- xml documents