我有一张记录交易的表格。我想选择所有恰好有4笔交易值(value)2000的ID，然后排除那些单笔交易值(value)2500的ID。SELECTt.tuserid,COUNT(*)ASCNTFROMtransactionstWHEREt.amt=2000GROUPBYt.tuseridHAVINGCNT=4;那部分很简单，但我不确定如何有效地排除任何拥有t.amt=2500的交易的人。对where子句的简单子(monad)查询是否最有效？SELECTt.tuserid,COUNT(*)ASCNTFROMtransactionstWHEREt.amt=2000ANDt.tuseridN