Proof Pearl: Regular Expression Equivalence and Relation Algebra.
Alexander KraussTobias NipkowPublished in: J. Autom. Reason. (2012)
Keyphrases
- regular expressions
- relation algebra
- pattern matching
- expressive power
- query language
- query containment
- finite automata
- xml schema
- formal logic
- deterministic finite automata
- semistructured data
- theorem prover
- xml documents
- semistructured databases
- data mining
- approximate matching
- causal models
- theorem proving
- matching algorithm
- string matching
- co occurrence
- domain knowledge
- machine learning