A Complete Axiom System for Algebra of Closed-Regular Expression.
Hiroyuki IzumiYasuyoshi InagakiNamio HondaPublished in: ICALP (1984)
Keyphrases
- regular expressions
- query language
- pattern matching
- finite automata
- semistructured data
- deterministic finite automata
- xml schema
- data model
- cost model
- inference rules
- approximate matching
- matching algorithm
- relational algebra
- static analysis
- expressive power
- keyword search
- structured data
- domain knowledge
- regular path queries
- databases