A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.
Wojciech RozowskiPublished in: CoRR (2024)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- query language
- regular path queries
- xml schema
- semistructured data
- deterministic finite automata
- tree automata
- regular languages
- query evaluation
- inference rules
- graph databases
- matching algorithm
- functional dependencies
- conjunctive queries
- structured data
- metadata