postgresqlのレコード型変数のNULLチェック

postgresql 9.6で確認。

postgresqlの関数で、レコード型の変数を用意して、
そのレコード型変数自体を、IS NULLと、IS NOT NULLで判断したとき、
どうなるか調べてみた。

結果、以下のような判断となった。
・IS NULLとした場合、レコードが持つ列すべてがNULLだったら真、それ以外だったら偽（1つでも値がNULLでなければ偽）
・IS NOT NULLとした場合、レコードが持つ列すべてが非NULLだったら真、それ以外だったら偽（1つでも値がNULLだったら偽）

また、NULLのチェックをするときに、レコード型の変数自体がNULLだった場合、エラーが発生する。
レコード型が持っている列が確定していないと、チェックができない、ということらしい。

SELECT INTOで代入しようとしたとき、SELECTの結果が1行もない場合は、
レコード型変数の構造自体は決定するが、列すべてはNULL値となっている。
なので、レコード型変数自体にNULLを代入したときのようなエラーは発生しない。

CREATE OR REPLACE FUNCTION public.test_record()
  RETURNS integer AS
$BODY$
DECLARE
	rec RECORD;
BEGIN
	-- 何も代入していないレコード型変数に対して、IS NULLを見ると、以下のエラーが発生する。
	-- ERROR:  record "rec" is not assigned yet
	-- DETAIL:  The tuple structure of a not-yet-assigned record is indeterminate.
/*
	IF rec IS NULL THEN
		RAISE INFO 'rec is null';
	ELSE
		RAISE INFO 'rec is not null';
	END IF;
*/
	
	-- 2つのカラムを持つレコードを代入。うち、1つのカラムはNULLとした。
	SELECT INTO rec
		 'test' as name
		,NULL as val
	WHERE
		true
	;
	
	RAISE INFO 'rec.name = %, rec.val = %', rec.name, rec.val;
	
	-- この結果は偽となる。
	-- rec.nameが非NULLなので。
	IF rec IS NULL THEN
		RAISE INFO 'rec IS NULL -> true';
	ELSE
		RAISE INFO 'rec IS NULL -> false';
	END IF;
	
	-- この結果は偽となる。（自分は、この結果で少しハマった。レコードあるのに、NOT NULLが偽？、、という具合に）
	-- rec.valがNULLなので。
	IF rec IS NOT NULL THEN
		RAISE INFO 'rec IS NOT NULL -> true';
	ELSE
		RAISE INFO 'rec IS NOT NULL -> false';
	END IF;
	
	-- 先ほど代入したカラムのうち、NULLではなかったカラムにNULLを代入。
	rec.name := NULL;
	
	RAISE INFO 'rec.name = %, rec.val = %', rec.name, rec.val;
	
	-- この結果は真となる。
	-- すべての列がNULLなので。
	IF rec IS NULL THEN
		RAISE INFO 'rec IS NULL -> true';
	ELSE
		RAISE INFO 'rec IS NULL -> false';
	END IF;
	
	-- この結果は偽となる。
	-- すべての列がNULLなので。
	IF rec IS NOT NULL THEN
		RAISE INFO 'rec IS NOT NULL -> true';
	ELSE
		RAISE INFO 'rec IS NOT NULL -> false';
	END IF;

	-- 両方のカラムに値を代入
	rec.name := 'test';
	rec.val := '1';
	
	RAISE INFO 'rec.name = %, rec.val = %', rec.name, rec.val;
	
	-- この結果は偽となる。
	-- すべての列が非NULLなので。
	IF rec IS NULL THEN
		RAISE INFO 'rec IS NULL -> true';
	ELSE
		RAISE INFO 'rec IS NULL -> false';
	END IF;
	
	-- この結果は真となる。
	-- すべての列が非NULLなので。
	IF rec IS NOT NULL THEN
		RAISE INFO 'rec IS NOT NULL -> true';
	ELSE
		RAISE INFO 'rec IS NOT NULL -> false';
	END IF;
	
	-- レコード型変数自体に、NULLを代入。
	rec := NULL;
	
	-- レコード型変数に対してNULLを代入してからIS NULLを見ると、以下のエラーが発生する。
	-- ERROR:  record "rec" is not assigned yet
	-- DETAIL:  The tuple structure of a not-yet-assigned record is indeterminate.
/*
	IF rec IS NULL THEN
		RAISE INFO 'rec is null';
	ELSE
		RAISE INFO 'rec is not null';
	END IF;
*/
	
	-- 2つのカラムを持つ問い合わせで、結果が0行だった、という結果を代入する。
	SELECT INTO rec
		 'test' as name
		,NULL as val
	WHERE
		false
	;
	
	RAISE INFO 'rec.name = %, rec.val = %', rec.name, rec.val;

	-- この結果は真となる。
	-- すべての列がNULLなので。
	IF rec IS NULL THEN
		RAISE INFO 'rec IS NULL -> true';
	ELSE
		RAISE INFO 'rec IS NULL -> false';
	END IF;
	
	-- この結果は偽となる。
	-- すべての列がNULLなので。
	IF rec IS NOT NULL THEN
		RAISE INFO 'rec IS NOT NULL -> true';
	ELSE
		RAISE INFO 'rec IS NOT NULL -> false';
	END IF;
	
	RETURN 0;
END
$BODY$
  LANGUAGE plpgsql VOLATILE
  COST 100;

ログの出力結果

< 2017-09-22 12:31:53.503 JST > INFO:  rec.name = test, rec.val = <NULL>
< 2017-09-22 12:31:53.503 JST > INFO:  rec IS NULL -> false
< 2017-09-22 12:31:53.503 JST > INFO:  rec IS NOT NULL -> false
< 2017-09-22 12:31:53.503 JST > INFO:  rec.name = <NULL>, rec.val = <NULL>
< 2017-09-22 12:31:53.504 JST > INFO:  rec IS NULL -> true
< 2017-09-22 12:31:53.504 JST > INFO:  rec IS NOT NULL -> false
< 2017-09-22 12:31:53.504 JST > INFO:  rec.name = test, rec.val = 1
< 2017-09-22 12:31:53.504 JST > INFO:  rec IS NULL -> false
< 2017-09-22 12:31:53.504 JST > INFO:  rec IS NOT NULL -> true
< 2017-09-22 12:31:53.505 JST > INFO:  rec.name = <NULL>, rec.val = <NULL>
< 2017-09-22 12:31:53.505 JST > INFO:  rec IS NULL -> true
< 2017-09-22 12:31:53.505 JST > INFO:  rec IS NOT NULL -> false