sql - 発生をチェックする Postgres Aggregator

Question

次の表で使用すると、Postgres Aggregator は存在しますか?

 id | value 
----+-----------
  1 |     1
  2 |     1
  3 |     2
  4 |     2
  5 |     3
  6 |     3
  7 |     3
  8 |     4
  9 |     4
 10 |     5

次のようなクエリで：

select agg_function(4,value) from mytable where id>5

戻ります

agg_function
--------------
t

(ブール値の真の結果) value=4 の行が選択されたため?

つまり、1 つの引数は探している値を指定し、もう 1 つの引数は列指定子を取り、列の値が 1 つ以上の行の指定された値と等しい場合は true を返しますか?

まさにそれを行うための集約を正常に作成しましたが、ホイールを再作成しただけなのか疑問に思っています...

Answer 1

select sum(case when value = 4 then 1 else 0 end) > 0
from mytable
where id > 5