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

New issue

Open

opened 2020-08-06 16:55:02 +00:00 by gburd · 0 comments

gburd commented

2020-08-06 16:55:02 +00:00

(Migrated from github.com)

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:

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

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; 1. Bumping the SQL schema to accommodate the new idents; 1. Adding new `ValueType` cases; 1. Adding corresponding `TypedValue` cases; 1. Implementing the conversions to and from SQL; 1. testing the new types in the transactor and potentially in the query engine as well.