結果 : plpgsql check if array is empty