diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-14 11:39:04 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-14 11:39:04 -0300 |
| commit | e6661bfa6a3d7dc477d0b7717c80bd536eca2d68 (patch) | |
| tree | 12510963feeed03221defa690e73edd4135b65e1 /docs/n-way-binding.org | |
| parent | 0ad04e638baa8f283150d3c2809cdb9bf21e2995 (diff) | |
| download | Sakura-e6661bfa6a3d7dc477d0b7717c80bd536eca2d68.tar.gz Sakura-e6661bfa6a3d7dc477d0b7717c80bd536eca2d68.zip | |
Branching and naïve merge strategies
* AGPL license
* branching and merging
* Delete LICENSE in favor of separate PR
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
* add unmonitored tests and docs
---------
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
Diffstat (limited to '')
| -rw-r--r-- | docs/n-way-binding.org | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/n-way-binding.org b/docs/n-way-binding.org index 39c9d65..85dc0e3 100644 --- a/docs/n-way-binding.org +++ b/docs/n-way-binding.org @@ -1,9 +1,9 @@ -#+TITLE: N-Way Binding in DCL Constraints +#+TITLE: N-Way Binding in ICL Constraints #+DATE: 2026-03-11 * Overview -The DCL constraint language supports quantified membership checks via ~Exists~ and ~Forall~. +The ICL constraint language supports quantified membership checks via ~Exists~ and ~Forall~. This document illustrates the hotel/building/room/suite example to motivate n-ary quantification and show how 3-wise (and deeper) relational composition is expressed. @@ -72,7 +72,7 @@ to fire when suites referencing its rooms are inserted. ((suite_id (Int 1003)) (room_id (Int 102)) (suite_name (Str "Deluxe")) (capacity (Int 3)))))) #+end_src -* DCL — Constraints +* ICL — Constraints Binary FK constraints compose to enforce referential integrity along the chain ~Suite → Room → Building~. Each link is declared independently. @@ -202,5 +202,5 @@ bound to variable ~x~. Without namespacing, ~extend_tuple~ would overwrite the incoming tuple's attributes with same-named attributes from the quantifier row, silently making ~Var~ resolve to -the wrong scope. See ~lib/constraint.ml~ and ~docs/dcl-quantification.org~ for a full +the wrong scope. See ~lib/constraint.ml~ and ~docs/icl-quantification.org~ for a full account of this failure mode and the provenance TODO. |