OR1032

OR1032 / Ordinal

Sorting Attribute sorts before/after Sorting Attribute

---

Here we establish the order in which Attribute values are applied to sort an instance set.

Here is an instance set sorted differently based on the order in which the Sorting Attributes are applied:

ID	Altitude	Heading	Airspeed
N17394Q	10000	270	93
N32189Z	8500	121	152
N40572M	10000	270	140
N96429B	8500	80	94

(^+ = sort ascending in the action language below)

Aircraft( ^+Altitude, ^-Airspeed )

N96429B, N32189Z, N40572M, N17394Q

Aircraft( ^-Airspeed, ^+Altitude )

N32189Z, N40572M, N96429B, N17394Q

Formalization

Sort order after : ascending
Ranking attribute : Sort order
Partial ordering by : Class, Iteration action, Activity, Domain