path: root/lib/algebra.ml

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