数据模型：让非法状态不可表示

unionid 的 schema 由积类型（record/tuple）与和类型（sum）组成。命名类型具有身份：即使两个类型形状相同，也不能互换。

Record 与 sum

struct Contact {
  email: text
  nickname: Option<text> = None
}

enum State {
  Pending
  Running {
    worker: text
    attempt: int
  }
  Done {
    result: text
  }
  Failed {
    message: text
    retryable: bool
  }
}

struct Task {
  id: int
  title: text
  owner: Contact
  tags: List<text> = []
  state: State
  priority: int = 0
}

table tasks: Task {
  key id
}

没有默认值的字段必须提供，即使类型是 Option<T> 也要明确写 None。默认值在 schema 建立时类型检查，只能是纯 typed literal，不能引用字段、参数、时钟或函数。

值与构造器

insert tasks {
  id: 1
  owner: Contact {email: "alice@example.com"}
  state: Running {attempt: 2, worker: "local"}
  title: "ship docs"
}

列表写作 [1, 2]，tuple 写作 (1, "x")，位置 payload 写作 Pair(1, "x")。期望 enum 类型明确时可写 Pending 或 Running {...}；独立构造或有歧义时用 State::Pending 限定 constructor。

主键与索引

主键必须是可索引 scalar，UUID 可以直接作为生产 ID。无主键的表允许重复行。

create index tasks (state)

create unique index tasks (owner.email)

create index tasks (state, -priority, id)

索引可包含 1–16 个嵌套字段路径，方向和顺序属于索引身份。unique 对完整 typed value 生效，None 也是一个普通值。添加 unique index 会预检已有行，任何冲突都会原子回滚。

部分唯一索引

create unique index ... if <predicate> 只约束 predicate 为 true 的行，适合可选邮箱、软删除和“只在 Active 状态唯一”的外部 ID：

create unique index users (email) if is_some email
create unique index users (email) if deleted_at == None
create unique index jobs (provider, external_id) if state == Active

普通 unique 把 None 当作一个值，因此最多允许一行没有邮箱；if is_some email 允许多个 None，同时限制每个 Some(email) 最多出现一次。insert、upsert、update、delete、批量写入与 migration 都在最终候选状态上检查约束，冲突时整批回滚。文本按精确值比较，大小写、空白与 Unicode 规范化需要由应用统一处理。

planner 只在查询过滤条件机械蕴含 index predicate 时使用部分唯一索引，explain 会输出 index_predicate 与 predicate_proven。新数据库默认是 storage format 10，可以直接使用；旧 format 6/7 数据库需要先显式 upgrade 到 10/11。

Typed map

Map<text, T> 保存有界的 text key 到 typed value 映射，用 map {...} 字面量构造：

struct Account {
  id: int
  attributes: Map<text, text>
}

insert accounts {
  id: 1
  attributes: map {"plan": "pro", "region": "eu"}
}

key 必须是 text，value 类型统一。map 有条目数、字节与深度预算，按 UTF-8 key 字节的规范顺序比较和持久化，因此字面量的书写顺序不影响相等性。查询函数见查询中的 typed map。首版不支持按 key 原地更新、map 模式解构或 keyed secondary index；修改时构造并替换完整 map。

有限递归 ADT

enum Tree {
  Leaf(text)
  Branch {
    label: text
    children: List<Tree>
  }
}

struct Chain {
  value: int
  next: Option<Chain> = None
}

直接自递归必须存在终止路径；Option<T> 的 None 与空 list 可以终止。互递归、纯别名循环、共享对象图与循环引用不支持。值是深度不超过 64 的有限树。

稳定身份

类型、字段、variant、表和索引拥有永不复用的 catalog ID。rename 保留 ID，drop 后同名重建会获得新 ID。业务主键与内部 RowId 是不同概念；删除后的 RowId 不复用。

继续阅读标量与表达式或直接进入查询。