Unified Decision Procedures for Regular Expression Equivalence.
Tobias NipkowDmitriy TraytelPublished in: ITP (2014)
Keyphrases
- regular expressions
- decision procedures
- query containment
- pattern matching
- modal logic
- theorem proving
- automated reasoning
- query language
- conjunctive queries
- regular path queries
- tight complexity bounds
- semistructured data
- query evaluation
- xml schema
- satisfiability problem
- matching algorithm
- deterministic finite automata
- finite state machines
- theorem prover
- semistructured databases
- approximate matching
- query answering
- building blocks
- data model
- datalog programs
- machine learning