diff options
Diffstat (limited to 'lib/algebra.ml')
| -rw-r--r-- | lib/algebra.ml | 20 |
1 files changed, 8 insertions, 12 deletions
diff --git a/lib/algebra.ml b/lib/algebra.ml index 9c620ee..5416f65 100644 --- a/lib/algebra.ml +++ b/lib/algebra.ml @@ -10,26 +10,22 @@ type error = UnsupportedOperator of string REPL exploration; it does not go through the VM. TODO: materialise const tuples into InMemoryBackend and SCAN them so they can participate in VM JOINs. *) -let const_relation (pairs : (string * Conventions.AbstractValue.t) list) : - Relation.ephemeral = +let const_relation (pairs : (string * Conventions.AbstractValue.t) list) : Relation.ephemeral = let make_gen () = let attrs = List.fold_left - (fun acc (k, v) -> Tuple.AttributeMap.add k { Attribute.value = v } acc) + (fun acc (k, v) -> Tuple.AttributeMap.add k {Attribute.value= v} acc) Tuple.AttributeMap.empty pairs in - let tuple = - Tuple.Materialized { Tuple.relation = "const"; attributes = attrs } - in + let tuple = Tuple.Materialized {Tuple.relation= "const"; attributes= attrs} in let gen = function | None | Some 0 -> Generator.Value (tuple, fun _ -> Generator.Done) - | _ -> Generator.Done + | _ -> Generator.Done in gen in - let schema = List.map (fun (k, _) -> (k, "abstract")) pairs in - new Relation.ephemeral ~name:"const" ~schema ~constraints:None - ~cardinality:(Conventions.Cardinality.Finite 1) + let schema = List.map (fun (k, _) -> k, "abstract") pairs in + new Relation.ephemeral + ~name:"const" ~schema ~constraints:None ~cardinality:(Conventions.Cardinality.Finite 1) ~membership_criteria:(fun _ -> true) - ~lineage:None ~provenance:None - ~generator:(make_gen ()) + ~lineage:None ~provenance:None ~generator:(make_gen ()) |