Construct | Name | Unique | Share | Id | Types | Models | Children | regexp | Ref. |
---|---|---|---|---|---|---|---|---|---|
Tuple | _ | U | (1,1) | F | Map | REL | {...} | \(\epsilon\) | \(\epsilon\) |
Attribute (simple) | Name | T/F/U | (0/1,0/1) | T/F/U | Simple | REL | \(\epsilon\) | \(\epsilon\) | \(\epsilon\)/\(\kappa .p\) |
Attribute (array) | Name | T/F/U | (0/1,0/1) | F | Array | REL | {...} | Trivial | \(\epsilon\) |
Element of an array | _ | T/F/U | (1,0/1) | F | Simple | REL | \(\epsilon\) | \(\epsilon\) | \(\epsilon\) |
Simple identifier | Name | T | (1,1) | T | Simple | REL | \(\epsilon\) | \(\epsilon\) | \(\epsilon\)/\(\kappa .p\) |
Reference | Name | T/F/U | (0/1,1) | T/F/U | Simple | REL | \(\epsilon\) | \(\epsilon\) | \(\kappa .p\) |