Unified Decision Procedures for Regular Expression Equivalence.
Tobias NipkowDmitriy TraytelPublished in: Arch. Formal Proofs (2014)
Keyphrases
- regular expressions
- decision procedures
- query containment
- pattern matching
- modal logic
- theorem proving
- regular path queries
- conjunctive queries
- automated reasoning
- query language
- tight complexity bounds
- query evaluation
- semistructured data
- xml schema
- deterministic finite automata
- semistructured databases
- finite state machines
- satisfiability problem
- temporal logic
- expressive power
- np complete
- transitive closure
- np hard
- data model
- query processing
- lower bound
- high level