Undecidability of Language Equivalence for Generalized Regular Expressions.
Yoram HirshfeldPublished in: Fundam. Informaticae (1996)
Keyphrases
- regular expressions
- query containment
- regular languages
- pattern matching
- regular path queries
- finite automata
- query language
- semistructured data
- finite state machines
- tree automata
- natural language
- deterministic finite automata
- description logics
- matching algorithm
- conjunctive queries
- monadic second order logic
- xml schema
- graph databases
- query evaluation
- context free grammars
- database
- domain knowledge
- keywords
- learning algorithm
- databases