-- User USR exists.
--
user {USR}
PK {USR}
-- Role ROL exists.
--
role_ {ROL}
PK {ROL}
Xorg é um termo genérico para uma universidade, uma organização ou uma fundação.Discriminador TYP é usado para distinguir entre esses três. -- Xorg XOG, of type TYP, named XNM was created
-- (is owned) by user USR.
--
xorg {XOG, TYP, USR, XNM, ...common_cols}
PK {XOG}
SK {XOG, TYP}
CHECK TYP in {'U', 'O', 'F'}
FK {USR} REFERENCES user {USR}
-- University (xorg) XOG, of xorg-type TYP = 'U', exists.
--
university {XOG, TYP, ...university_specific_cols}
PK {XOG}
CHECK TYP = 'U'
FK {XOG, TYP} REFERENCES xorg {XOG, TYP}
-- Organization (xorg) XOG, of xorg-type TYP = 'O', exists.
--
organization {XOG, TYP, ...organization_specific_cols}
PK {XOG}
CHECK TYP = 'O'
FK {XOG, TYP} REFERENCES xorg {XOG, TYP}
-- Foundation (xorg) XOG, of xorg-type TYP = 'F', exists.
--
organization {XOG, TYP, ...foundation_specific_cols}
PK {XOG}
CHECK TYP = 'F'
FK {XOG, TYP} REFERENCES xorg {XOG, TYP}
-- User USR is member of xorg XOG, of xorg-type TYP,
-- in role ROL.
--
user_xorg {USR, XOG, TYP, ROL}
PK {USR, XOG}
FK1 {XOG, TYP} REFERENCES
xorg {XOG, TYP}
FK2 {USR} REFERENCES user {USR}
FK3 {ROL} REFERENCES role_ {ROL}
Observação:
All attributes (columns) NOT NULL
PK = Primary Key
AK = Alternate Key (Unique)
SK = Proper Superkey (Unique)
FK = Foreign Key
Uma palavra sobre subtipos . A maneira correta de implementar restrições para subtipos seria usar asserções (
CREATE ASSERTION ), mas ainda não está disponível nos principais bancos de dados. Estou usando FKs em vez disso, e como todos os outros métodos substitutos, não é perfeito. As pessoas discutem muito, em SO e SE-DBA, o que é melhor. Eu encorajo você a verificar outros métodos também. 
