Relational String Verification Using Multi-Track Automata.
Fang YuTevfik BultanOscar H. IbarraPublished in: Int. J. Found. Comput. Sci. (2011)
Keyphrases
- regular expressions
- relational data
- cellular automata
- finite automata
- finite state machines
- model checking
- pattern matching
- data model
- relational databases
- relational model
- database
- bayesian networks
- deterministic automata
- relational queries
- functional verification
- finite automaton
- probabilistic automata
- database schema
- entity relationship
- relational learning
- finite state
- data structure
- real time