polymorfisme voor FOREIGN KEY-beperkingen

Hier is het patroon dat ik heb gebruikt.

CREATE TABLE room (
    room_id serial primary key,
    room_type VARCHAR not null,

    CHECK CONSTRAINT room_type in ("standard_room","family_room"),
    UNIQUE (room_id, room_type)
);

CREATE_TABLE standard_room (
    room_id integer primary key,
    room_type VARCHAR not null default "standard_room",

    FOREIGN KEY (room_id, room_type) REFERENCES room (room_id, room_type),
    CHECK CONSTRAINT room_type  = "standard_room"
);
CREATE_TABLE family_room (
    room_id integer primary key,
    room_type VARCHAR not null default "family_room",

    FOREIGN KEY (room_id, room_type) REFERENCES room (room_id, room_type),
    CHECK CONSTRAINT room_type  = "family_room"
);

Dat wil zeggen, de 'subklassen' wijzen naar de superklasse, door middel van een type decriminatorkolom (zodanig dat de naar de basisklasse verwezen van het juiste type is en dat de primaire sleutel van de superklasse hetzelfde is als de onderliggende klassen