仮定法ですな。

> もし@dataSource@としてトランザクション対応のプロキシを使っていなかったとしたら、その@dataSource@から取得したコネクションは新規コネクションであり、(@READ_COMMITTED@やより上位の適切なトランザクション分離が設定されていると仮定すれば)まだコミットされていない変更はみえないことでしょう。