18
мых систем, нвнипулирование Ими;
- реционельное хранения и сопровохдение вдгоритмов моделя-
рувмых сястем, мвнипулировение ими;
— эффективкое конструировавиз, храненне и сопровохде 
вяо
моделай предметвой области, работу © ними.
В соответствии с ЭФИм подсистема безы моде лирове ния состо-
ят из следующих КОМПЛ9КСОВ::
= бвза данвых (5Д);
- база элгоризмов ( й);
- сястеме моделирования (СМ).
Модель безы двнных Фориельно предстевляет собой некоторый орн-
евтировенный эциклический граф Берхе 6° , звданный на мнохаот-
ве вераин 
Х.
Чнохество вериин 
Х 
являетоя Объединением мнохеств атрибу-
208 
& 
я базового иноивства отнопоняй Р, :
6°( 6°),
Х=АИво»
А={а., 
), сЕТ,›
в={уг), а»
тдо /, 
- мнохество номеров етрибутов; / - мнохество номеров
безовых отнолений ,
Библкотека неборов денных (БНД) предстевляет собой мнохест-
зо #° веборов двнных /;; › Ортанизованных в сОответотвии ©
концелциями: СМО ЕС ЭВМ:
#° [.
тае & Ё, - мнокаство номеров неборов денных.
Модель бзаы данных прадстввляет собой логическую модель
набора денных, содеравцихон в БНД, В структуру Сезы денных за=
локев механизм, Обеслечивв юций взвимнооднознечнов соотв8тствие
между мнокаством Ё, # мвожеством #? нвборов денных из БНД:
М:В, 
Е Н*
Н модели БД ведвя язык менипулировеняя /° , который позво-
ляет перемецеть ® КОНотр:ЕТЯВНО СТроить НОВЧе 
ноборы дэнных
в 5.
Сягнатуре опереций языка менипулирозения денчыми (ЯЩД) эклю-
чет_операцяи объодинения, пересвчения, отрицания,
композиции:
и др.:
по
®2=[и,лт, —)
Существуют превиле построзния превильвых :нрв:нпи не ЯЫД.
кахдому вырекению @ из множества зырежений /° 
ЯМД соответ-
стзует некоторый елторити, зеписнваемый в териянет МБД и ревли-
зуемый на Физических денных БНД. Реботу по инторпретеляи ЯМД
осупествляет — интерпрететор (ИЯМД)»
Управление зевимодействием компонент БД осуществляет про-
гоеимвый комплекс системы упревтения безы денных (СУБД) -
Модель безы влгоритыов эвдеется Кзк мнокество отобрежений
Бл(ДуЬ, ицвющих входные Й» спёо(},) 
® выходные отногеняя
Иу= диё(уу) › инодаство ибдулей Мч(И-(тр)) р © % 
мво-
=вотво вОЧеров и зввимноодновначное отобрекение (
М вНЕ^
ножество программных модудей //” резбито в Клессы ЭКВИВОЛЮ Т-
ностиу КВЕДЯ НВ КОТОих ЗВдертоя обобщенных прогуеммным моду-
твы 
; » Кеждый Програмыный модуль луе (тр 6М”) опродоляот-
ся черев обобщенный прогреммный модуль ` ;; › ОПределяющие
пареметры И, 
© (И ©) и отобрахение (, 
®
4, : мХ-> М.
Механизмом, ревлизующим отобрежение (, ‚ является Мвкроге-
зерация, Еоли нвобходимо получить программу /у; » СООТВОТОТВУЮ-
пую нокоторой @увкции //, ©. (;, = ; (тр)». то ‘ивкрого 
н ратор
(МГ) выбираот из бяблиотеки прогреминых Модулей (БПМ) обобще н=
ный прогреминый модуль уг » Представляющий мекроопределвние,
+вписвяное 8 Мекроязыке, н Ю основения переметров у тено-
рирует физический програминый обрев /Мг 
› соотвеСтвующий //а ®
лч(р И)
На модели базы елгоритмов зеден язык мвнипулирования /д 
»
когорый поэволяет конотруировать новые влгоритыы © помоцью Эле-
ментов МБА»
Сигнатуре опереций языка менипулирования элгоритмеми (ЯМА)
зклечет опереции объединения, пересечения, композиции и др.:
и,-[у,м‚е‚у,з}.