blob: f3f536a42c2e8b4c540e91397dc0546eff1de4ae (
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
module Hash = struct
type t = Interop.Sha256.t
let compare = String.compare
end
module Name = struct
type t = string
let compare = String.compare
end
module Tree = struct
type t = unit
end
module Schema = struct
type t = (string, string) Hashtbl.t
let create () = Hashtbl.create 16
end
module RelationConstraints = struct
type t = (string * string) list
end
module Cardinality = struct
type t = Finite of int | AlephZero | Continuum
end
module Generator = struct
type result =
| Done
| Value of (string, string) Hashtbl.t * t
| Error of string
and t = (string, string) Hashtbl.t -> result
end
module MembershipCriteria = struct
type t = (string, string) Hashtbl.t
let create () = Hashtbl.create 16
end
module Provenance = struct
type t =
| Undefined
| Base of Name.t
| Join of t * t
| Select of t * MembershipCriteria.t
| Project of t * string list
| Take of t * int
end
module Lineage = struct
type t =
| Base of 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 t = {
hash : Hash.t;
name : Name.t;
tree : Tree.t option;
schema : Schema.t;
constraints : RelationConstraints.t;
cardinality : Cardinality.t;
generator : Generator.t option;
membership_criteria : MembershipCriteria.t;
provenance : Provenance.t;
lineage : Lineage.t;
}
let make ~hash ~name ~tree ~schema ~constraints ~cardinality ~generator
~membership_criteria ~provenance ~lineage =
{
hash;
name;
tree;
schema;
constraints;
cardinality;
generator;
membership_criteria;
provenance;
lineage;
}
let compare left right =
match Name.compare left.name right.name with
| 0 -> Hash.compare left.hash right.hash
| n -> n
module Ord = struct
type nonrec t = t
let compare = compare
end
module Set = Set.Make (Ord)
module Map = Map.Make (Ord)
|
