The run-time control machine of the Hermes/1 distributed database system