blob: db66b27c9f32533b5d532c5f9cbf59c8d89a43f5 (
plain) (
tree)
|
|
(** Effect classification for sublanguage operations.
Categorically:
- Query: a natural transformation between instance functors (DRL).
Side-effect-free; the database state is unchanged.
- Transition: a morphism in the category of database states (DDL, DML, ICL,
DCL, and future TCL). Produces a new state via substitution (Harper, PFPL
ch. 3-4).
Future sublanguages:
- TCL -> Transition (transaction boundaries are state morphisms with
atomicity constraints)
- PPL -> new effect class: potentially non-terminating computation
(Turing-complete; breaks the termination guarantee of DRL)
- ACL -> a functor restriction: narrows the admissible natural
transformations based on authorization context *)
include Sublanguage_types
module type S = sig
include Configuration.CONFIGURABLE
type ast
val name : string
val parse_sexp : Sexplib.Sexp.t -> (ast, Condition.t) Result.t
val execute : Sublanguage_context.t -> ast -> (result, Condition.t) Result.t
end
|
