用于删除概念架构中的泛化的子集方法

Question

所以即时通过逻辑设计进行一些实践，我所知道的问题是我不确定我是否使用子集方法来消除泛化是准确的。

这是原始架构

以下是iv完成的事情：

在我看来它可行，但我不认为B的PK是现实的。