表示的意味論に副作用なんて出てこないのだが。

SQLのqueryコマンド単品なら表示的意味論で表せるが、
SQLコマンドの羅列で見れば操作的意味論の範疇。
視野が変わるというか。
もうちっとマクロ的に見ようよ。