Труды КНЦ вып.3 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.1 3/2010(3))

n В результате пересечения условной С-системы ограничения с С-кортежем запроса получим: 0[G \nCDK[D]= |' b u f }, {' Туре Г}, {' Туре Г}, {' Re sY }, {' Re 52'} _ {'bu f },{=},{=} ' {'bra' ,'tra'},{=},{ф} {'pro'}, *, * \ b u f '} A ' TypeV }, {' TvpeV},{' Re sT },{' Re s2' }{=},{=} 7 Наполняя данный условный С -кортеж значениями на основе его проекции на множество простых атрибу­ тов, получаем: [{' b u f }, {'TypeV }, {' TypeV }, {'Re sV }, {'Re s2 ' }, [{'TypeV }, {'TypeV}], [ 0 , 0 ] ] = 0 . Таким образом, в результате анализа установле­ но, что запрос Q[G] является некорректным с точки зрения ограничения СDK[D]. Причем, некоррект­ ность выявлена на стадии предварительного анализа запроса без привлечения информации из таблиц БД. 5. Заключение На этапе проектирования системы моделирования предложенные программные средства на основе ал­ гебры условных кортежей способствуют ускорению разработки инструментов контроля за ходом процес­ са моделирования. С использованием контекстно­ ориентированного подхода представление ограниче­ ний на модель предметной области становится дек­ ларативным и появляется возможность применять их не только для анализа самой модели, но и при про­ верке незапланированных запросов, а также содер­ жимого базы данных. Кроме того, появляется воз­ можность учитывать и оперативно анализировать как ограничения, общие для всех допустимых моделей, так и ограничения, специфичные для конкретной предметной области. В процессе эксплуатации системы моделирования разработанные методы и алгоритмы алгебры услов­ ных кортежей позволяют организовать автоматиче­ скую проверку модели предметной области на уров­ не ее структуры и выявлять некорректности при об­ ращении к данным со стороны подключаемых про­ граммных модулей. Разработанный метод семанти­ ческого анализа незапланированных запросов на ос­ нове контекстов позволяет исключить некорректные обращения к реляционной СУБД. Предложенные программно - алгоритмические средства способствуют уменьшению трудозатрат на модификацию и ввод ограничений в систему моде­ лирования. Литература 1. Зуенко, А.А. Анализ корректности запросов к базам данных систем концептуального моделиро­ вания средствами алгебры кортежей /А.А. Зуенко, Б.А. Кулик, А.Я. Фридман // Искус­ ственный интеллект. Интеллектуальные системы (ИИ-2009) // Материалы Х Междунар. научно­ технической конф. - Таганрог: Изд-во ТТИ ЮФУ, 2009. - С.86-88. 2. Зуенко, А.А. Контекстный подход в системах сопровождения открытых моделей предметной области / А.А. Зуенко, А.Я. Фридман// Искусст­ венный интеллект и принятие решений. -2008.- №3. -С. 41-51. 3. Зуенко, А.А. Логический вывод при семантиче­ ском анализе нерегламентированных путевых за­ просов. / А.А. Зуенко, А.Я. Фридман // Одинна­ дцатая национальная конф. по искусственному интеллекту с международным участием КИИ- 2008, 28сент. - 3 окт. 2008 г. г. Дубна, Россия: Труды конф. -Т.1. - М.: ЛЕНАНД, 2008. - С.298- 304. 4. Зуенко, А.А. Управление контекстом при органи­ зации интеллектуализированного интерфейса БД в системах моделирования на основе концепту­ ального подхода / А.А. Зуенко, А.Я. Фридман // Труды ИСА РАН. Прикладные проблемы управления макросистемами / Под ред. Ю.С. Попкова, В.А. Путилова. -Т.39. - М.: Книж­ ный дом «ЛИБРОКОМ», 2008. - C.128-141. 5. Зуенко, А.А. Развитие алгебры кортежей для ло­ гического анализа баз данных с использованием двуместных предикатов /А.А. Зуенко, А.Я. Фридман // Известия РАН. Теория и системы управления. - 2009. -№2. - С.95-103. 6. Kulik, B.A. A Generalized Approach to Modelling and Analysis of Intelligent Systems on the Cortege Algebra Basis. Proceedings of the Sixth International Conference on System Identification and Control Problems (SICPRO ‘07)/Russia, Moscow, January 29 - February 2, 2007. - Р.679-715. 22