如何在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);