ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.
Naiyong JinHuibiao ZhuPublished in: ISoLA (2008)
Keyphrases
- regular expressions
- pattern matching
- sibling axes
- query language
- finite automata
- monadic second order logic
- xml schema
- satisfiability problem
- semistructured data
- deterministic finite automata
- tree automata
- regular languages
- regular path queries
- matching algorithm
- context free grammars
- np complete
- data mining
- computational complexity
- learning algorithm
- databases