如何在PostgreSQL中對1：1關系實現不相交的約束？

Question

我需要使用一對一關系來實現實體的特殊化，讓我們這樣說：

create table vehicles (
  vehicle_id int primary key,
  ...
)

create table cars (
  car_id int primary key,
  vehicle_id int references vehicles(vehicle_id),
  ...
)

create table bikes (
  bike_id int primary key,
  bike_id int references vehicles(vehicle_id),
  ...
)

現在，我想強制執行一個不相交的約束，以確保車輛既可以是汽車，也可以是自行車，也許既不能是汽車，也可以是自行車。 據我了解，通過RDBM本身實現起來並不容易，因此我決定在應用程序（Ruby on Rails）中對此進行驗證。 在這種情況下，我認為如果以相反的方式進行關系驗證會更容易，因為在插入過程中不需要任何附加的選擇和鎖定：

create table vehicles (
  vehicle_id int primary key,
  car_id int references cars(car_id),
  bike_id int references bikes(bike_id),
  ...
)

create table cars (
  car_id int primary key,
   ...
)

create table bikes (
  bike_id int primary key,
  ...
)

現在，我發現沒有任何不相交的約束實現都使用這種方式。 有沒有我看不到的缺點？

Answer 1

只需添加一個CONSTRAINT CHECK，這樣的回答就可以了

ALTER TABLE ONLY vehicles
    ADD CONSTRAINT cars_or_bikes  CHECK (car_id IS NULL OR bike_id IS NULL);