mozilla/mentat

[meta] Full Datalog type support (instants, UUIDs, URIs)

Open

#201 创建于 2017年1月25日

在 GitHub 查看
 (2 评论) (0 反应) (0 负责人)Rust (116 fork)github user discovery
correctnessenhancementhelp wanted

仓库指标

Star
 (1,661 star)
PR 合并指标
 (PR 指标待抓取)

描述

Over in #170, I simplified things by not including placeholders for Mentat value types I wasn't going to support at the start: :db.type/instant, :db.type/uuid, and :db.type/uri. (We might consider supporting JSON and a binary blob type like :db.type/bytes as well.)

This ticket tracks supporting these types. Off the top, this will mean:

  1. Adding new DB_TYPE_* values to the bootstrapper;
  2. Bumping the SQL schema to accommodate the new idents;
  3. Adding new ValueType cases;
  4. Adding corresponding TypedValue cases;
  5. Implementing the conversions to and from SQL;
  6. testing the new types in the transactor and potentially in the query engine as well.

贡献者指南