ひろせです

# 随分、間が空いちゃいましたが。

on "[mysql 09962] Re: データのロックについて"
   <20040807074900.431891AA02E@xxxxxxxxxx>
at Sat, 07 Aug 2004 16:49:00 +0900
   ML account <ml@xxxxxxxxxx> wrote:

(snip)
> 　で、今焦点となっているのはselectの中でも単純なread-opのselectですね。
> よって、
> > 手元の書籍*1 によれば、SELECT 文でも暗黙的にトランザクションは開始され
> > るようです
> を参考にしろと言う事は、
> 
>         select for updateのみならず、今回焦点となっている read-opのみの
>         selectを含め、全ての selectでトランザクションが開始される。
>         それがSQL92の規格。
> 
> がひろせさんの主張ですね。
> 
> 　もしも、その２つの本の記述の意が「selectでトランザクションが開始される
> 場合がある」程度のものであれば、それは全く正しいながら(select for
> updateがありますからね)、このコンテキストでは残念ながら全く参考になりま
> せんし、逆に話をただただ混乱させる結果に終わってしまいますよね。
> 
> 　で、その本にはどう書いてあります？
(snip)

両書ともトランザクションの開始に関する文章で出てくる言葉は、(私が読んだ
限りでは)『SELECT』もしくは『SELECT文』だけです。(1)

また、
『SQL92完全ガイド』には付録に SQL92 の BNF があるのですが、SELECT 文に
は FOR UPDATE という句は出てきません。(2)
# FOR UPDATE を含む定義はあるのですが、これはカーソルの定義でしか使われ
# ていません。
## 紙の上で BNF を追っ掛けたので、私が見逃している可能性は否定しません
## が、<query expression> を起点として数回見直しました。
『SQLクイックリファレンス』の SELECT の節では、『SQL99の構文と機能説明』
としては FOR UPDATE 句は現れず、Oracle と PostgreSQL の拡張として FOR
UPDATE 句が取り上げられています。(3)
# この本が対象としている MySQL が 3.22.9 のせいか、MySQL の拡張には
# FOR UPDATE 句は触れられていません。

更に、
『SQLクイックリファレンス』の START TRANSACTION の節では、『SQL99 で新
しく追加された START TRANSACTION 文は、』と書かれているので、SQL92 で
は明示的にトランザクションを開始する START TRANSACTION 文はなかったこ
とがうかがえます。(4)
# START じゃなくて BEGIN TRANSACTION は SQL92, 99 の規格にはないようで
# す。

それと、私が読んだ限りでは『自動コミット』『AUTOCOMMIT』という言葉は、
両書ともに SQL92 (もしくはSQL99) を説明する文脈には表れていませんでした。
(5)

                                  //

「FOR UPDATE 句を伴わない SELECT 文でもトランザクションが開始されるの
かどうか」という問題は、きちんとした規格書がある以上、『と思う』とか
『と聞いたことがある』といった主観的、不確実な根拠を元にして話を進めて
もあまり意味がないのではないかと思います。

先に挙げたことも、解説本を私が読み取った結果ですので、正しいかどうかと
いうのはお約束できません。
# もちろん、ウソのないように書いたつもりではあります。

従って、トランザクションの開始と SELECT 文について (1) と ((2)+(3)) を
根拠として得られる結論、また、SQL92 におけるトランザクションの開始につ
いて (4) と (5) から得られる結論については、規格書を読んでいない私の意
見は敢えて控えさせてもらいます。
# 自明なような気もしますが ;p)

規格書 (ISO/IEC 9075:1992 か ANSI X.3.135-1992) を持っている人がいたら
是非情報をいただきたいです。

ではでは

-- 
ひろせ
http://www.irori.org/