Datascript中处理带有唯一标识符的引用类型属性问题

问题背景

在使用Datascript数据库时，开发者遇到了一个关于临时ID(tempid)解析的特殊情况。当尝试创建一个既是:db.unique/identity又是:db.type/ref类型的属性时，Datascript无法正确解析临时ID引用。

问题复现

考虑以下schema定义：

(def schema {:user/email {:db/unique :db.unique/identity}
             :profile/user {:db/valueType :db.type/ref
                           :db/cardinality :db.cardinality/one
                           :db/unique :db.unique/identity}})

当尝试执行包含临时ID的事务时：

(datascript/transact! conn
  [{:db/id "A"
    :user/email "[e-mail]"}
   {:db/id "B"
    :profile/avatar "face.jpg"
    :profile/user "A"}])

系统会抛出异常，提示"Expected number or lookup ref for entity id, got 'A'"。

技术分析

这个问题揭示了Datascript在处理特殊属性组合时的限制。从数据库设计角度来看，同时将属性标记为引用类型(:db.type/ref)和唯一标识(:db.unique/identity)确实存在概念上的矛盾：

1. 引用类型属性通常用于建立实体间的关系，其值应该是另一个实体的ID或查找引用
2. 唯一标识属性则用于确保该属性的值在整个数据库中唯一，常用于作为实体的业务键

当这两种特性结合时，Datascript的临时ID解析机制会出现混淆，因为它无法确定是将"A"视为一个待解析的临时ID，还是将其视为一个唯一标识值。

解决方案

在实际应用中，这种属性组合确实较为罕见。更合理的做法是：

1. 对于需要唯一性的引用属性，使用:db/unique :db.unique/value替代
2. 保留:db.unique/identity用于那些真正需要作为业务键的简单值属性

修改后的schema示例：

(def schema {:user/email {:db/unique :db.unique/identity}
             :profile/user {:db/valueType :db.type/ref
                           :db/cardinality :db.cardinality/one
                           :db/unique :db.unique/value}})

这种设计既保持了引用关系的完整性，又通过:db.unique/value确保了关系本身的唯一性，同时避免了临时ID解析的问题。

最佳实践建议

1. 谨慎组合属性特性，特别是当涉及引用和唯一性约束时
2. 对于实体间关系，优先考虑使用简单的引用类型
3. 保留:db.unique/identity用于那些需要作为业务键的非引用属性
4. 当确实需要确保关系唯一时，使用:db.unique/value而非:db.unique/identity

总结

Datascript的这一行为实际上反映了良好的数据库设计原则——引用关系和业务标识应该保持清晰的分离。通过理解这一限制背后的设计理念，开发者可以创建出更加合理和可维护的数据模型。