Relational String Verification Using Multi-track Automata.
Fang YuTevfik BultanOscar H. IbarraPublished in: CIAA (2010)
Keyphrases
- regular expressions
- relational databases
- relational data
- string matching
- cellular automata
- asynchronous circuits
- finite automata
- model checking
- finite state automata
- finite state
- deterministic automata
- pattern matching
- data model
- edit distance
- data warehouse
- state space
- formal verification
- image sequences
- neural network
- databases