Used to verify a certain condition (insure that a scalar subquery returns one row, validate referential integrity, etc).

• 用于验证特定条件（确保标量子查询返回一行，验证引用完整性等）。