在SQL中，CHECK约束用于对表中的数据进行验证，确保其满足指定的条件。通常情况下，CHECK约束中的表达式是可变的，即它可以根据表中的数据动态计算结果。然而，有时候我们可能希望使用一个不可变的函数作为CHECK约束中的表达式。

下面是一种解决方法，使用一个触发器来实现不可变函数作为CHECK约束的效果。

首先，创建一个不可变的函数，例如：

CREATE FUNCTION is_valid_name(name TEXT) RETURNS BOOLEAN AS $$
BEGIN
    -- 检查name是否为有效的名称
    -- 返回TRUE或FALSE
END;
$$ LANGUAGE plpgsql IMMUTABLE;

然后，创建一个触发器，在插入或更新数据时调用该函数：

CREATE TRIGGER check_valid_name
BEFORE INSERT OR UPDATE ON your_table
FOR EACH ROW
WHEN (NOT is_valid_name(NEW.name))
EXECUTE FUNCTION raise_exception('Invalid name');

上述代码中，your_table是你要应用该CHECK约束的表的名称，name是要验证的列名。raise_exception是一个自定义的函数，用于抛出一个异常，以确保不满足CHECK约束时无法插入或更新数据。

通过以上的触发器，只有当is_valid_name函数返回FALSE时，新的数据才会被拒绝插入或更新。

需要注意的是，如果使用触发器来实现CHECK约束，需要确保触发器函数是幂等的，即多次调用不会产生不同的结果。