blob: 9c620ee80e11a46781d6d1ceae22f4e7f0eba3db (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
(* 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 ())
|
