Login / Signup
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization.
Violetta Lonati
Dino Mandrioli
Federica Panella
Matteo Pradella
Published in:
SIAM J. Comput. (2015)
Keyphrases
</>
automata theoretic
regular path queries
temporal logic
regular expressions
conjunctive queries
data complexity
expressive power
query answering
semistructured data
query containment
graph databases
modal logic
query rewriting
reasoning tasks
satisfiability problem
query language
query optimization