diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/dml/ast.ml | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/lib/dml/ast.ml b/lib/dml/ast.ml index 4a903e7..479437a 100644 --- a/lib/dml/ast.ml +++ b/lib/dml/ast.ml @@ -3,20 +3,11 @@ open Sexplib.Std type attr_value = string * Drl.Ast.value [@@deriving sexp] -type cardinality_spec = - | Finite of int - | AlephZero - | Continuum - | ConstrainedFinite -[@@deriving sexp] - type statement = - | CreateDatabase of string - | CreateRelation of { name: string; schema: (string * string) list } - | RetractRelation of string - | ClearRelation of string - | RegisterDomain of { name: string; cardinality: cardinality_spec } | InsertTuple of { relation: string; attributes: attr_value list } | InsertTuples of { relation: string; tuples: attr_value list list } | DeleteTuple of { relation: string; attributes: attr_value list } + | Assign of { target: string; body: Drl.Ast.query } + | InsertFrom of { target: string; source: Drl.Ast.query } + | DeleteWhere of { target: string; predicate: Drl.Ast.query } [@@deriving sexp] |