Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. (English) Zbl 0456.68096
MSC:
68Q45 | Formal languages and automata |
68P20 | Information storage and retrieval of data |
68N25 | Theory of operating systems |
68M20 | Performance evaluation, queueing, and scheduling in the context of computer systems |