diff options
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 |