Разработка прототипа системы управления объектно-ориентированной базой данных
Семантика дробящейся посылки
Пусть 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
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий