diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-24 17:51:03 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-24 17:51:03 -0300 |
| commit | 013cbf09e4ea9871311bf52b6873c43fc9be5441 (patch) | |
| tree | 1a7fd541c215fadb4e18c5cda551bb2b707bdc8b /lib/sublanguage.ml | |
| parent | a98fad877fa9ddacb32898b01e23d588f8df04aa (diff) | |
| download | Sakura-013cbf09e4ea9871311bf52b6873c43fc9be5441.tar.gz Sakura-013cbf09e4ea9871311bf52b6873c43fc9be5441.zip | |
Session with stream control sublanguage (#55)
SCL adds cursor-based streaming to Sakura so clients can consume DRL query results incrementally in bounded batches rather than all at once. Three statements: Begin, Fetch, and Close. `open`, `advance`, and `release` cursors backed by a session registry that suspends the generator between calls. SCL is just an optional consumption layer above the existing algebra.
Diffstat (limited to '')
| -rw-r--r-- | lib/sublanguage.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml index 3df91f1..d92358e 100644 --- a/lib/sublanguage.ml +++ b/lib/sublanguage.ml @@ -14,9 +14,16 @@ (Turing-complete; breaks the termination guarantee of DRL) - ACL -> a functor restriction: narrows the admissible natural transformations based on authorization context *) +type cursor_result = { + cursor_id : string; + rows : Tuple.materialized list; + has_more : bool; +} + type result = | Query of Relation.t | Transition of Management.Database.t * string + | Cursor of cursor_result module type S = sig type storage |