SQLのEXISTS記述がわかりません。

Question

sql攻略というサイトで学習していたのですが、EXISTSでつまずきました。

参考URL
http://sql.main.jp/cont/sql/ne/exists.html

記載のSQLを実行すると、
SMITHの給料の800とSMITHの給料の800を比較することとなり、
800>800のEXISTSは偽となり、
NOTが付いているので真となってしまう気がします。

なぜサイトに書かれているように、最終的には最大の給与をもらっている人がわかるのか分かりません。
初歩的な質問で申し訳ありませんが、どうぞ宜しくお願い致します。

Answer 1

exists内のサブクエリーは相関問合せです。

実際の動作は外側のEMP表（EA）から一行ずつ取り出され、内側のSQLで比較されます。

上記解説にあるように、相関問合せは外側の1行毎にその1行の値とサブクエリー内条件の全ての行との比較という所が理解のポイントです。

Comments

[tukikai-incid]

1600>800という事でしょうか？？

[sazi]

それは次の行の値との比較ですね。
次の行だけではなく、EA1行に対してEBの全行と比較することになります。
それを全てのEAの行に対して行う事になります。

Answer 2

手続プログラミングでたとえると、二重ループになっていると考えると理解しやすいのかなと思います。
(あくまでたとえで、実際sqlやDBがいわゆるループ的に動くということではないです)

for(int i = 0 ; i < EAの行数; i++)
  for (int j = 0 ; j < EBの行数; j++)

なので、smithさんについては(i=jとなる任意のiについて)EB[j].SAL > EA[i].SALがなりたたずnot existsは真ですが、他のjをまわしていけば、最大の給料をもつi以外はEB[j].SAL > EA[i].SALとなるようなjが存在します。

Answer 3

質問の中のURLは対応しているMarkdownの機能 の[リンク]を使いましょう。他のMarkdownの機能も良く読んでおくと良いです。

普通こんなトリッキーなSQLは書かないでしょうね。

SELECT EA.ENAME,EA.SAL
FROM EMP EA
WHERE EA.SAL = (
SELECT MAX(EB.SAL) FROM EMP EB
)

みたいな記述が一般的でしょう。SQLは他のサイトで勉強された方が良いように思えます。

SQLはデータベースによってかなり方言がありますから、お使いのデータベースをタグで明記したほうが適切なコメントが付き易いです。