实现可选关系（如果 FK 不为空则强制执行）

Question

假设我们有这些表

Person( person_id, name, car_id )
CompanyCar( car_id, make, model, colour, plate )

Person.car_id 应该是 CompanyCar.car_id 的外键，但我希望 Person.car_id 可以为空，所以当我运行 sqlmetal 生成 linq-to-sql DataContext 时，我应该得到

class Person{
    int person_id,
    string name,
    int? car_id,
    CompanyCar companyCar //object references may hold null
}

并且 如果存在，Person.car_id 应该存在于 CompanyCar 中。

根据我读过的 MSDN 文档，这应该是不可能的，但是当我们尝试时，它起作用了。似乎很少有人在网上写或询问这种类型的关系。

我可以相信这个外键是强制执行的，同时也是可选的吗？

更新： 以下是当我请求 CREATE 脚本时 SMSS 生成的内容。请注意，FK 创建为 NOCHECK 但是，如果我输入我知道 CompanyCar 表中不存在的 CarID（例如 9999），它确实会抱怨。

SET ANSI_NULLS ON
GO

SET QUOTED_IDENTIFIER ON
GO

SET ANSI_PADDING ON
GO

CREATE TABLE [dbo].[Person](
    [PersonID] [int] NOT NULL,
    [Name] [varchar](100) NOT NULL,
    [CarID] [int] NULL
 CONSTRAINT [PK_Person] PRIMARY KEY CLUSTERED 
(
    [PersonID] ASC
)WITH FILLFACTOR = 92 ON [PRIMARY]
) ON [PRIMARY]

GO

SET ANSI_PADDING OFF
GO

ALTER TABLE [dbo].[Person]  WITH NOCHECK ADD  CONSTRAINT [FK_Person_CompanyCar] FOREIGN KEY([CarID])
REFERENCES [dbo].[CompanyCar] ([CarID])
GO

（对名称不一致表示歉意，工作需要示例命名）

Answer 1

可空列上的 FK 引用完全按照您的希望工作。当存在非 NULL 值时，通常会强制执行 FK 约束。 FK 约束不会检查 NULL 值，因为该值当前未知，无法判断它是否违反约束。