Семантика дробящейся посылки
Пусть B – Набор_параметров и пусть s, oÎO. Тогда оператор дробящейся посылки, обозначаемый ~1> определяется следующим образом:
Таблица 1: Семантика дробящейся посылки
| Условие | S(B) ~1> o º | ||
| s(B) ~> o неº fail | s(B) ~> o | ||
| AGG(o) & o = [A1 : o1, …, An : on] | [A1 : s(B) ~> o1, …, An : s(B) ~> on] | ||
| BIO(o) & o.if неº null | s(B) ~> o.then | ||
| BIO(o) & o.if º null | s(B) ~> o.else | ||
| SET(o) & o = {o1,…,on} | {s(B) ~> o1, …, s(B) ~> on} | ||
| SEQ(o) & o = (o1,…,on) | (s(B) ~> o1, …, s(B) ~> on) | ||
| Иначе | Fail |
