Beobachtung:•mögliche Problemursache Nicht-serialisierbare Schedules Man hat früh beobachtet, dass viele Probleme offenbar dann auftreten, wenn Schedules „nicht serialisierbar“ sind, z.B.•Erster Lösungsansatz zur Formalisierung des Synchronisationsproblems:•Nur „serialisierbare“ Schedules dürfen zugelassen werden.