From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- lib/algebra.ml | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 lib/algebra.ml (limited to 'lib/algebra.ml') diff --git a/lib/algebra.ml b/lib/algebra.ml deleted file mode 100644 index 5416f65..0000000 --- a/lib/algebra.ml +++ /dev/null @@ -1,31 +0,0 @@ -(* algebra.ml — plan compilation support. - Generator-based evaluation is removed; all query execution goes through the - Tarski VM via Nt.execute_query. This module retains only what is needed to - construct plan nodes and handle compile-time errors. *) - -type error = UnsupportedOperator of string - -(* const_relation is kept for the Ast.Const case which produces an in-memory - ephemeral relation from literal pairs. It is used only in DRL tests and - 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 make_gen () = - let attrs = - List.fold_left - (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 gen = function - | None | Some 0 -> Generator.Value (tuple, fun _ -> 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) - ~membership_criteria:(fun _ -> true) - ~lineage:None ~provenance:None ~generator:(make_gen ()) -- cgit v1.2.3