Relational Concurrent Refinement: Automata.
John DerrickEerke A. BoitenPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- relational databases
- relational data
- cellular automata
- data model
- entity relationship
- regular expressions
- concurrent programs
- lattice gas
- probabilistic automata
- mutual exclusion
- databases
- finite state machines
- statistical relational learning
- relational model
- refinement process
- finite state automata
- xml data
- search algorithm
- neural network