Minha implementação do padrão de design de tipo/subtipo (para subclasses mutuamente exclusivas) está correta?

Introdução

Para que esta questão seja útil para futuros leitores, usarei o modelo de dados genérico para ilustrar os problemas que enfrento.

Nosso modelo de dados consiste em duas entidades, que serão rotuladas como Ae B. Para manter as coisas simples, todos os seus atributos serão do inttipo.

A entidade Apossui os seguintes atributos: De X; A entidade Bpossui os seguintes atributos: De Y;

Problema

Como ambas as entidades compartilham atributos comuns D, decidi aplicar o design de tipo/subtipo .

Não tenho certeza se minha implementação está correta, portanto, estou pedindo aqui uma revisão do design.

Minha Implementação

-- lookup table for discriminator column
CREATE TABLE ClassType
(
  ClassTypeID INT NOT NULL IDENTITY(1, 1) PRIMARY KEY,
  Class_Description VARCHAR(50) NOT NULL
);

-- inserting types A and B from our example 
INSERT INTO ClassType (Class_Description)
VALUES ('A'), ('B');

-- creating base class table
CREATE TABLE BaseClass
(
  BaseClass_ID INT NOT NULL IDENTITY(1, 1) PRIMARY KEY,
  ClassTypeID INT NOT NULL, -- FK to Type
  D int
);

ALTER TABLE BaseClass
ADD CONSTRAINT [FK_BaseClass_ClassType]
FOREIGN KEY (ClassTypeID)
REFERENCES ClassType (ClassTypeID);

-- we need this constraint in order for foreign keys in subclasses to work
ALTER TABLE BaseClass
ADD CONSTRAINT [FK_AltKey]
UNIQUE (BaseClass_ID, ClassTypeID);

-- creating subclasses:
CREATE TABLE SubclassA
(
  BaseClass_ID INT NOT NULL PRIMARY KEY,
  X int,
  ClassTypeID AS 1 PERSISTED -- calculated field, ensures integrity
);

ALTER TABLE SubclassA
ADD CONSTRAINT [FK_SubclassA_BaseClass]
FOREIGN KEY (BaseClass_ID, ClassTypeID)
REFERENCES BaseClass (BaseClass_ID, ClassTypeID);

CREATE TABLE SubclassB
(
  BaseClass_ID INT NOT NULL PRIMARY KEY,
  Y int,
  ClassTypeID AS 2 PERSISTED -- calculated field, ensures integrity
);

ALTER TABLE SubclassB
ADD CONSTRAINT [FK_SubclassB_BaseClass]
FOREIGN KEY (BaseClass_ID, ClassTypeID)
REFERENCES BaseClass (BaseClass_ID, ClassTypeID);

Esta é a aparência do diagrama de banco de dados no SQL Server 2012:

Perguntas

• Cometi algum erro na minha implementação?
• Além de calcular e persistir o tipo de classe (em tabelas de subclasse), há mais alguma coisa que eu possa fazer para evitar erros durante INSERT/UPDATE/DELETE?