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

         

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


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




Содержание  Назад  Вперед






Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий