OS・ネットワークは非決定論的に動作するが，その上に構築されるDeterministic Databaseは決定論的に動作する 参考 An Overview of Deterministic Database Systems