Разработка прототипа системы управления объектно-ориентированной базой данных


Семантика дробящейся посылки


 

Пусть 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




Начало  Назад  Вперед