Regular expression order-sorted unification and matching.
Temur KutsiaMircea MarinPublished in: J. Symb. Comput. (2015)
Keyphrases
- regular expressions
- pattern matching
- approximate matching
- matching algorithm
- string matching
- order sorted
- semistructured data
- finite automata
- xml schema
- query language
- graph matching
- predicate logic
- record linkage
- database
- approximate string matching
- domain specific
- deterministic finite automata
- edit distance
- static analysis
- query evaluation
- programming language
- expert systems
- data analysis