22.6 SQLコマンド

SML#は，SELECTクエリに加え，以下の規則で定義されるSQLコマンドのサブセット $\,\langle$ sqlcommand $\rangle\,$ を受け付ける．

$\,\langle$ sqlcommand $\rangle\,$	::=	$\,\langle$ sqlinsert $\rangle\,$	INSERTコマンド
	$\|$	$\,\langle$ sqlupdate $\rangle\,$	UPDATEコマンド
	$\|$	$\,\langle$ sqldelete $\rangle\,$	DELETEコマンド
	$\|$	$\,\langle$ sqltransaction $\rangle\,$	トランザクション関連コマンド
	$\|$	( $\,\langle$ sqlfn $\rangle\,$ ; $\cdots$ ; $\,\langle$ sqlfn $\rangle\,$ )	コマンドのシーケンス
	$\|$	... ( $\,\langle$ exp $\rangle\,$ )	SQLコマンドの埋め込み

INSERT，UPDATE，DELETE，トランザクション関連コマンドの型は，

(unit, $w$ ) SQL.command

である．各コマンドの詳細は以下の各副節で与える．

( $\,\langle$ sqlfn ${}_{1}$ $\rangle\,$ ; $\cdots$ ; $\,\langle$ sqlfn ${}_{n}$ $\rangle\,$ ) （ $n$ は2以上でなければならない）は，一度に送信されるセミコロンで区切られた一連のコマンドを表す．その型は最後のコマンド $\,\langle$ sqlfn ${}_{n}$ $\rangle\,$ の型に等しい．

...( $\,\langle$ exp $\rangle\,$ )は，SML#の式を評価した結果をコマンドとして埋め込む．

22.6.1 INSERTコマンド

INSERTコマンドの構文は以下の通りである．

$\,\langle$ sqlinsert $\rangle\,$	::=	insert into # $\,\langle$ vid $\rangle\,$ . $\,\langle$ lab $\rangle\,$ ( $\,\langle$ lab $\rangle\,$ , $\cdots$ , $\,\langle$ lab $\rangle\,$ )
		values $\,\langle$ insertRow $\rangle\,$ , $\cdots$ , $\,\langle$ insertRow $\rangle\,$
	$\|$	insert into # $\,\langle$ vid $\rangle\,$ . $\,\langle$ lab $\rangle\,$ ( $\,\langle$ lab $\rangle\,$ , $\cdots$ , $\,\langle$ lab $\rangle\,$ )
		values $\,\langle$ insertVar $\rangle\,$
	$\|$	insert into # $\,\langle$ vid $\rangle\,$ . $\,\langle$ lab $\rangle\,$ $($ ( $\,\langle$ lab $\rangle\,$ , $\cdots$ , $\,\langle$ lab $\rangle\,$ ) $)?$ $\,\langle$ sqlselect $\rangle\,$
$\,\langle$ insertRow $\rangle\,$	::=	( $\,\langle$ insertVal $\rangle\,$ , $\cdots$ , $\,\langle$ insertVal $\rangle\,$ )
$\,\langle$ insertVal $\rangle\,$	::=	$\,\langle$ sqlexp $\rangle\,$ $\|$ default
$\,\langle$ insertVar $\rangle\,$	::=	$\,\langle$ vid $\rangle\,$ $\|$ op $\,\langle$ longvid $\rangle\,$

以下の構文上の制約がある．

•

( $\,\langle$ lab $\rangle\,$ , $\cdots$ , $\,\langle$ lab $\rangle\,$ )に現れるラベルは全て互いに異なっていなければならない．
•

$\,\langle$ insertRow $\rangle\,$ に現れる $\,\langle$ insertVal $\rangle\,$ の数は， ( $\,\langle$ lab $\rangle\,$ , $\cdots$ , $\,\langle$ lab $\rangle\,$ )のラベルの数と一致しなければならない．

INSERTコマンドは， values句で指定された各行あるいは $\,\langle$ sqlselect $\rangle\,$ クエリの評価結果の各行を，指定したテーブルに挿入する． values句にSML#の変数 $\,\langle$ vid $\rangle\,$ またはop $\,\langle$ longvid $\rangle\,$ を書いた場合，ラベル $\,\langle$ lab ${}_{1}$ $\rangle\,$ , $\cdots$ , $\,\langle$ lab ${}_{n}$ $\rangle\,$ を持つレコードのリストをテーブルに挿入する．挿入しようとしている行が挿入先テーブルのカラムを網羅していないとき，指定のないカラムには，テーブル作成時に指定されたデフォルト値が挿入される．また，values句にdefaultと書かれている箇所についてもデフォルト値が挿入される．カラムにデフォルト値が設定されていないときは，コマンドを評価するサーバーで実行時エラーが発生し， SQL.Exec例外が発生する．

型の制約は以下の通りである．

•

$\,\langle$ vid $\rangle\,$ はテーブル名 $\,\langle$ lab $\rangle\,$ を含む SQL.db型でなければならない．
•

( $\,\langle$ lab ${}_{1}$ $\rangle\,$ , $\cdots$ , $\,\langle$ lab ${}_{n}$ $\rangle\,$ )が書かれているとき， # $\,\langle$ vid $\rangle\,$ . $\,\langle$ lab $\rangle\,$ が指示するテーブルおよび $\,\langle$ sqlselect $\rangle\,$ は，少なくともカラム $\mbox{\mbox{$\,\langle$}{\it lab${}_{1}$}\mbox{$\rangle\,$}},\ldots,\mbox{% \mbox{$\,\langle$}{\it lab${}_{n}$}\mbox{$\rangle\,$}}$ を持っていなければならない．それ以外のカラムを持っていても良い．また，挿入先テーブルと $\,\langle$ sqlselect $\rangle\,$ クエリのカラム集合が一致していなくてもよい．
•

( $\,\langle$ lab ${}_{1}$ $\rangle\,$ , $\cdots$ , $\,\langle$ lab ${}_{n}$ $\rangle\,$ )が書かれていないとき，挿入先テーブルと $\,\langle$ sqlselect $\rangle\,$ クエリのカラム集合は一致しなければならない．
•

values句に並ぶ各組の $i$ 番目の式 $\,\langle$ sqlexp ${}_{i}$ $\rangle\,$ の型は，挿入先テーブルのカラム $\,\langle$ lab ${}_{i}$ $\rangle\,$ の型が $\tau_{i}$ のとき， $(\mbox{\tt\frenchspacing\char 123\char 125},w)\triangleright\tau_{i}$ 型でなければならない．

22.6.2 UPDATEコマンド

UPDATEコマンドの構文は以下の通りである．

$\,\langle$ sqlupdate $\rangle\,$	::=	update # $\,\langle$ vid $\rangle\,$ . $\,\langle$ lab $\rangle\,$
		set $\,\langle$ updateRow $\rangle\,$ , $\cdots$ , $\,\langle$ updateRow $\rangle\,$
		$($ $\,\langle$ sqlWhereClause $\rangle\,$ $)?$
$\,\langle$ updateRow $\rangle\,$	::=	$\,\langle$ lab $\rangle\,$ = $\,\langle$ sqlexp $\rangle\,$

以下の構文上の制約がある．

•

$\,\langle$ updateRow $\rangle\,$ の $\,\langle$ lab $\rangle\,$ は全て互いに異なっていなければならない．

UPDATEコマンドは，指定したテーブルのうち WHERE句の条件を満たす行を， SET句の値で更新する． SET句で指定されていないカラムは更新されない．新しい値を計算する式には，更新前の行の値を参照するために， $\,\langle$ lab $\rangle\,$ をテーブル名とするカラム参照式を書いても良い．

型の制約は以下の通りである．

•

$\,\langle$ vid $\rangle\,$ はテーブル名 $\,\langle$ lab $\rangle\,$ を含む SQL.db型でなければならない．
•

各 $\,\langle$ updateRow ${}_{i}$ $\rangle\,$ で指定されるカラム $\,\langle$ lab ${}_{i}$ $\rangle\,$ はすべて更新先テーブルに含まれていなければならない．更新先テーブルはそれ以外のカラムを持っていても良い．
•

各 $\,\langle$ updateRow ${}_{i}$ $\rangle\,$ の式 $\,\langle$ sqlexp ${}_{i}$ $\rangle\,$ の型は，更新先テーブルの行の型が $\tau$ ，カラム $\,\langle$ lab ${}_{i}$ $\rangle\,$ の型が $\tau_{i}$ のとき， $(\mbox{\tt\frenchspacing\char 123\mbox{$\,\langle$}{\it lab}\mbox{$\rangle\,$}% : $\tau$\char 125},w)\triangleright\tau_{i}$ 型でなければならない．
•

$\,\langle$ sqlWhereClause $\rangle\,$ は，存在するならば，更新先テーブルの型が $\tau$ のとき， ( $\tau$ -> $\tau$ , $w$ ) SQL.whr型でなければならない．

22.6.3 DELETEコマンド

DELETEコマンドの構文は以下の通りである．

\,\langle

sqldelete

\rangle\,

::=

delete from #

\,\langle

vid

\rangle\,

\,\langle

lab

\rangle\,

(

\,\langle

sqlWhereClause

\rangle\,

)?

DELETEコマンドは指定したテーブルのうち WHERE句の条件を満たす行を削除する．

型の制約は以下の通りである．

•

$\,\langle$ vid $\rangle\,$ はテーブル名 $\,\langle$ lab $\rangle\,$ を含む SQL.db型でなければならない．
•

$\,\langle$ sqlWhereClause $\rangle\,$ は，存在するならば，更新先テーブルの型が $\tau$ のとき， ( $\tau$ -> $\tau$ , $w$ ) SQL.whr型でなければならない．

22.6.4 BEGIN，COMMIT，ROLLBACKコマンド

SML#は，トランザクションを制御するコマンドのうち，以下のコマンドをサポートする．

$\,\langle$ sqltransaction $\rangle\,$	::=	begin	トランザクションの開始
	$\|$	commit	トランザクションの終了
	$\|$	rollback	トランザクションの中断