-
Notifications
You must be signed in to change notification settings - Fork 3
R877
Restriction compares one or many Attribute
Attribute is compared in zero, one or many Restriction Criterion
By definition, a Restriction Criterion compares the value of one Attribute of an instance and yields a true or false value. See the Restriction Criterion subclass descriptions for more detail on how such comparisons are made.
The same Attribute could be compared in multiple Criterion within the same Restriction. See R881 for an example.
A given Attribute may or may not be involved in any number of comparisons.
Restriction Criterion.(Attribute, Class, Domain) -> Attribute.(Name, Class, Domain)
Restriction Criterion.(Select action, Activity, Class, Domain) -> Restriction.(Select action, Activity, Class, Domain)
Since the Class referential attribute simultaneously references both the Attribute and Restriction Class
attributes, we enforce the constraint that all Attributes compared in a Restriction's criteria belong to the same Class.
Copyright © 2021-2023 Leon Starr