blob: db7f45380e66e2665ce3dca5d61c2e47ce60212e (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
module Tree = Merkle
(** Use the Merkle module for tuple hash storage *)
module RelationConstraint = struct
type name = string
type t = (name * Constraint.t) list
end
module Provenance = struct
type t =
| Undefined
| Base of Conventions.Name.t
| Join of t * t
| Select of t * (Tuple.t -> bool)
| Project of t * string list
| Take of t * int
end
module Lineage = struct
type t =
| Base of Conventions.Name.t
| Select of (string -> bool) * t
| Project of string list * t
| Join of string * t * t
| ThetaJoin of (string -> string -> bool) * t * t
| Sort of (string -> string -> int) * t
| Take of int * t
| Aggregate of string * string * t
end
type producer = (string * Conventions.AbstractValue.t) list -> Generator.t
type t = {
hash : Conventions.Hash.t option;
name : Conventions.Name.t;
schema : Schema.t;
tree : Tree.t option;
constraints : RelationConstraint.t option;
cardinality : Conventions.Cardinality.t;
generator : Generator.t option;
producer : producer option;
membership_criteria : (string -> Tree.t option) -> Tuple.t -> bool;
provenance : Provenance.t;
lineage : Lineage.t;
}
let make ?(producer = None) ~hash ~name ~schema ~tree ~constraints ~cardinality
~generator ~membership_criteria ~provenance ~lineage () =
{
hash;
name;
schema;
tree;
constraints;
cardinality;
generator;
producer;
membership_criteria;
provenance;
lineage;
}
|
