-
Notifications
You must be signed in to change notification settings - Fork 3
R1128
Scalar specifies values in exactly one Table Attribute
Table Attribute holds values defined by exactly one Scalar
Just like class Attributes, Table Attributes are always typed as scalar. There is, in fact, nothing in relational theory that forbids relationally typed attributes (tables within tables), but, for now at least, our action semantics do not support the application of relational operations on any instance's attribute value. That said, there is nothing preventing an externally defined typing system providing relational values and corresponding operations. They would just be opaque within our metamodel and still classified as scalar.
A given Scalar may or may not be used to type any number of Table Attributes, as well as other things.
Copyright © 2021-2023 Leon Starr