preparation cleanup for RNT integration

1 files changed, 0 insertions, 31 deletions

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 ())