- Create a single relation including all attributes of C ∪ S1..m and a type/discriminating attribute
- only for disjoint subclasses
- Create a single relation as above, but include a boolean type flag for each subclass
- works for overlapping, and also disjoint