PostgreSQL:Wie implementiert man die minimale Kardinalität?

Es gibt keine Möglichkeit, dies mit einer CHECK-Einschränkung anzugeben, daher denke ich, dass der beste Ansatz ein Trigger ist:

http://www.postgresql.org/docs/9.1/static /sql-createtrigger.html
http://www.postgresql.org/docs /9.1/static/plpgsql-trigger.html

Sie würden mit etwas wie (ich habe es nicht getestet oder so) enden:

CREATE TRIGGER at_least_one before INSERT, UPDATE, DELETE ON the_one_table  FOR EACH ROW EXECUTE PROCEDURE check_at_least_one();

CREATE OR REPLACE FUNCTION check_at_least_one() RETURNS trigger AS $$
    BEGIN
    nmany := select count(*) from the_many_table where the_many_table.the_one_id=NEW.id;   
    IF nmany > 0 THEN 
        RETURN NEW;
    END IF;
    RETURN NULL;
END;