every account has exactly one type. This is enforced by a discriminator attribute (ACCOUNT_TYPE_CODE) in the supertype that determines which subtype table contains the additional attributes.