diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-11 01:30:27 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-11 01:30:27 -0300 |
| commit | c66c3c82fda2f68e5aac62d16657d8a77e6d91ee (patch) | |
| tree | b2351bcb319f6885a8d93930af6d72cf603250fa /docs/object-taxonomy.org | |
| parent | cc0b15c84de8b866cccd8b660b0ce0afcfba3d98 (diff) | |
| download | RNT-c66c3c82fda2f68e5aac62d16657d8a77e6d91ee.tar.gz RNT-c66c3c82fda2f68e5aac62d16657d8a77e6d91ee.zip | |
update docs
Diffstat (limited to 'docs/object-taxonomy.org')
| -rw-r--r-- | docs/object-taxonomy.org | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/docs/object-taxonomy.org b/docs/object-taxonomy.org index d948845..dda3de3 100644 --- a/docs/object-taxonomy.org +++ b/docs/object-taxonomy.org @@ -21,7 +21,9 @@ may remain invariant while the extension differs between the earlier and later states. A branch identifies one such coherent state and provides the basis -from which another may be produced. It therefore gives RNT a +from which another may be produced. Each state names the one it +succeeded, under =previous=, so the history of a branch is reached by +path. It therefore gives RNT a representation of change without requiring mutation to be part of the relational semantics. How successive states are physically represented, shared, or persisted is an implementation concern. @@ -253,6 +255,10 @@ state exposed through a branch. A branch may reference multiple multigroups and determine the particular state of each that is visible from that view of the world. +Within a multigroup, relations are grouped into schemas, which for now +are only namespaces: \multigroup\[m]\schema\[s]\relation\[r]. The +canonical name of an attribute is therefore =m:s:r:a=. + * Session A session contains state specific to an interaction between a client environment and the RNT kernel. It establishes the execution context |