PostgreSQLの配列型の全要素の比較

Question

###前提・実現したいこと
PostgreSQLの配列型の全要素を比較してすべて大きい場合のみTrueを返したいです。

例えば
array[1, 2, 3] と array[1, 0, 2]を比較した時
(以後、array[1, 2, 3]をA1、array[1, 0, 2]をA2と呼びます)
1と1
2と0
3と2
を比較することになります。
この場合A1の要素はすべてA2の要素以上なのでTrueを返したいです。

unnestで両方のarrayを一度行にして、
その後各行を再帰WITHを用いたりして比較すれば良いかなと思ったのですがどうでしょうか？

特に再帰WITHにこだわるつもりはありませんのでどんな方法でも結構です。

皆様のアドバイスをいただけたら幸いです。
よろしくお願いします。

###補足情報(言語/FW/ツール等のバージョンなど)
PostgreSQL (9.5.4)

Comments

[退会済みユーザー]

よりはふくまないので　１より１が大きいかは FALSE

[acre_maker]

すいません、そうですね。
要素以上、と書くべきでした。ありがとうございました。
訂正しました。

Answer 1

9.24. 集合を返す関数
http://www.postgresql.jp/document/9.5/html/functions-srf.html
を見ながら、PostgreSQL9.3で作ってみました :-)

with t(A1,A2) as(
values(array[1, 2, 3],array[1, 0, 2]))
select bool_And(A1[Cnt] >= A2[Cnt])
  from t Cross Join Generate_SubScripts(t.a1,1) as b(Cnt)

| bool_and |
|----------|
|     true |

Comments

[acre_maker]

Generate_SubScripts、bool_Andはしらなかったです。
勉強になりました！ありがとうございました。

AketiJyuuzouさんのコードを参考に最終的にこんな感じで関数にしてみました。
CREATE OR REPLACE FUNCTION each_ge(array1 int[], array2 int[]) RETURNS bool AS
$$
WITH t(a1, a2) AS (
values ($1, $2)
), s AS (
SELECT unnest(a1) AS a1, unnest(a2) AS a2 FROM t
)
SELECT bool_And(a1 >= a2) FROM s
$$ LANGUAGE sql IMMUTABLE;