SQL: 設計そのものが競合バグを招く

SQL: Incorrect by Construction

SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。

"SQLプログラムは完全に合理的に見えるのに、深刻なバグで溢れている。"