A finite axiomatization of nondeterministic regular expressions.

Flavio Corradini Rocco De Nicola Anna Labella

Published in: RAIRO Theor. Informatics Appl. (1999)

Keyphrases

regular expressions
finite automata
pattern matching
query language
regular languages
tree automata
semistructured data
xml schema
matching algorithm
deterministic finite automata
query evaluation
graph databases
finite state machines
context free grammars
situation calculus
query optimization
relational databases