Kdb+是否支持类SQL约束？含NOT NULL、UNIQUE等功能咨询

Kdb+作为列式数据库，原生并未提供SQL那样的强制约束机制（如NOT NULL、UNIQUE、CHECK），但可以通过代码逻辑或内置特性间接实现类似效果：

NOT NULL 约束 #

Kdb+允许列存储空值（不同类型对应不同空值表示，如0N表示整数空值、""表示字符串空值），没有原生强制非空的设置。若需要确保列无空值，可在数据插入/更新前通过过滤逻辑实现：

// 创建表
t: ([] id: int[]; name: string[])
// 插入前过滤空值记录
insert[t] select id: x, name: y from ([] x: 1 2 3; y: "Alice" "" "Bob") where not null name

UNIQUE 约束 #

原生无强制唯一约束，但可通过以下方式实现：

• 使用主键字典表：通过!创建的字典表，主键键值天然唯一，重复插入会覆盖原有记录：

  // 主键为sym列的字典表
  t: `sym`price!(`sym$[]; float[])
  // 重复插入主键会覆盖而非新增
  upsert[t] (`ibm; 150.2)
  upsert[t] (`ibm; 151.1) // 最终`ibm对应价格为151.1
  

• 普通表插入前检查：通过in操作符过滤已存在的重复值：

  t: ([] sym: `sym$[]; price: float[])
  newData: ([] sym: `ibm`ibm`msft; price: 150.2 151.1 300.5)
  // 仅插入sym未存在于表中的记录
  insert[t] newData where not sym in t.sym
  

CHECK 约束 #

无原生CHECK约束，可通过自定义验证函数在数据写入前校验字段规则：

// 定义验证函数：确保价格大于0
validatePrice: {x > 0f}
t: ([] sym: `sym$[]; price: float[])
newData: ([] sym: `ibm`msft; price: 150.2 -5.0)
// 仅插入符合价格规则的记录
insert[t] newData where validatePrice each price

整体来说，Kdb+更倾向于让开发者通过代码逻辑控制数据完整性，以避免强制约束带来的性能损耗，适配其高吞吐的设计目标。

内容的提问来源于stack exchange，提问作者Xavier Z