1 files changed, 23 insertions, 0 deletions
diff --git a/lib/kernel/SubstantialRelation.ml b/lib/kernel/SubstantialRelation.ml
index 57bb79e..09aec90 100644
--- a/lib/kernel/SubstantialRelation.ml
+++ b/lib/kernel/SubstantialRelation.ml
@@ -116,6 +116,13 @@ module Make (S : Abstract.Storage.STORAGE) = struct
             let* node = tuple_node tx relation in
             TupleSet.mem tx (Concepts.Tuple.hash tuple) node )
 
+      method modes =
+        Ok
+          Concepts.
+            [ Mode.mode [] Cardinality.Finite;
+              Mode.mode (List.map fst (BatMap.String.bindings description)) (Cardinality.bounded 1)
+            ]
+
       method describe () = Ok (Protocols.Schematics.Relation description)
       method enumerate = enumerate connection relation
 
@@ -134,6 +141,22 @@ module Make (S : Abstract.Storage.STORAGE) = struct
     |> Result.map (fun description ->
         new substantial_relation connection relation description |> Protocols.Handle.make )
 
+  let store tx description tuples =
+    let open Utilities.Result in
+    let* schematics = store_schema tx description in
+    let* _ = TupleSet.empty_under tx in
+    let* node =
+      TupleSet.with_batch tx (fun () ->
+          List.fold_left
+            (fun node tuple ->
+              let* node = node in
+              TupleSet.insert tx (Concepts.Tuple.hash tuple) tuple node )
+            (Ok TupleSet.empty) tuples )
+    in
+    let relation = {schematics; tuples= TupleSet.hash_of node} in
+    let* _ = SI.store_blob tx (encode relation) in
+    Ok relation
+
   let instantiate connection ~schematics =
     let open Utilities.Result in
     let* relation =