En Elmasri, 1995, se tratan las categorías, que son subtipos cuyas instancias, para existir, deben ser participantes de, al menos, uno de los supertipos de los que depende, y no necesariamente de todos como en el caso planteado precedentemente.