Succinctness of the Complement and Intersection of Regular Expressions.
Wouter GeladeFrank NevenPublished in: STACS (2008)
Keyphrases
- regular expressions
- pattern matching
- modal logic
- finite automata
- tree automata
- semistructured data
- query language
- xml schema
- regular path queries
- deterministic finite automata
- regular languages
- knowledge compilation
- finite state machines
- matching algorithm
- graph databases
- frequent sequences
- database
- query evaluation
- special case
- databases