RustのEnumのような制約を実現したいということになるかと思います。
例えば、Student
クラスとTeacher
クラスが、User
クラスを継承しているとします。
それをDBテーブルで表現すると、以下のようになるかと思います。(具象テーブル継承)
user
テーブル
- id (※主キー)
- name(氏名)
- ...
student
テーブル
- user_id(※外部キー)
- student_no(学籍番号)
- class_room(所属クラス)
- ...
teacher
テーブル
- user_id(※外部キー)
- office_room(職員用の居室)
- ...
このとき、user
の具象先(student
かteacher
)が単一であることを保証する仕組みは、存在しますでしょうか?
あるuser
レコードに対して、student
とteacher
の両方にレコードが存在できてしまう場合を懸念しています。