Главная » 2014»Июнь»22 » Скачать Модельно-языковые средства управления данными. Гринев, Максим Николаевич бесплатно
3:48 PM
Скачать Модельно-языковые средства управления данными. Гринев, Максим Николаевич бесплатно
Модельно-языковые средства управления данными
Диссертация
Автор: Гринев, Максим Николаевич
Название: Модельно-языковые средства управления данными
Справка: Гринев, Максим Николаевич. Модельно-языковые средства управления данными : диссертация кандидата физико-математических наук : 05.13.11 - Москва, 2003 - Количество страниц: 116 с. Москва, 2003 116 c. :
Объем: 116 стр.
Информация: Москва, 2003
Содержание:
Введение
1 Модельно-языковые средства управления данными и оптимизация запросов на модельном уровне
11 Семантически-ориентированные модели данных
111 Основные понятия
112 Эволюция моделей данных с повышенным уровнем семантики
113 Перспективы моделей данных с повышенным уровнем семантики
12 Оптимизация запросов к XML-данным
121 Основные принципы оптимизации запросов и оптимизация на модельном уровне
122 Модель данных XML и язык запросов XQuery
123 Предварительное исследование возможностей логической оптимизации XQuery-запросов
124 Обзор работ по оптимизации XQuery-запросов
13 Выводы
2 Декларативный язык запросов данных в терминах UML
21 О необходимости разработки языка запросов к данным в терминах UML
22 Язык UQL
221 Модель данных языка UQL
222 Система типов языка UQL
223 Операции над значениями агрегатных типов
224 Операции над объектами классов
225 Общая семантика UQL-запроса
226 Сокращенные формы записи и правила разрешения неоднозначности
227 О статической типизируемости языка UQL
23 Реализация языка UQL через отображение в XQuery
231 Отображение модели UML-данных на модель данных XML
232 Правила трансляции UQL-запросов в XQuery-запросы
24 Выводы
3 Логическая оптимизация запросов на языке XQuery
31 Общий подход к логической оптимизации XQuery-запросов
311 Постановка задачи логической оптимизации XQuery-запросов и обоснование оправданности такой постановки
312 Использование техники перезаписи в качестве средства описания решения задачи логической оптимизации и как основы для реализации
313 Классы правил перезаписи и этапы логической оптимизации
32 Логическое представление XQuery-запросов
33 Расширение модели данных XML и логического представления XQuery-запросов
34 Семантическая оптимизация
35 Открытая вставка тел XQuery функций
36 Преобразование структуры запроса
361 Привила для базовых операций
362 Привила для И-операций
363 Правила для поддержки запросов, обращающихся к динамическому контексту
37 Повышение уровня декларативности представления запроса
38 Результаты использования логического оптимизатора
39 Выводы
Введение:
Актуальность темы
В настоящее время язык XML используется как основное средство унифицированного представления данных различной степени структурированности. Это приводит к росту объемов XML-данных, которыми необходимо управлять. Одним из ключевых компонентов технологии управления XML-данными является декларативный язык запросов XQuery. Однако имеющиеся средства, основанные на языке XQuery, характеризуются низкой эффективностью, что делает невозможным их практическое использование для управления XML-данными больших объемов. Кроме того, другой важной проблемой использования XML-данных является предоставление конечным пользователям средств доступа в терминах, приближенных к предметной области. Разработка таких средств стимулируется ростом популярности языка UML, который предназначен для описания модели предметной области и для которого существуют отображения на язык XML. Решение этих проблем и определяет актуальность диссертационной работы.
Цель и задачи работы
Целью диссертационной работы является исследование и разработка средств эффективной поддержки моделей данных UML и XML в рамках единой многоуровневой системы баз данных. Для достижения этой цели поставлены следующие задачи:
1. Разработка языка UQL, позволяющего формулировать запросы к данным в терминах диаграмм классов UML.
2. Разработка метода трансляции UQL-запросов в запросы на языке XQuery.
3. Разработка методов логической оптимизации выполнения XQuery-запросов.
Основные результаты работы
1. Разработан язык UQL, позволяющий формулировать запросы к данным в терминах диаграмм классов UML.
2. Разработан и реализован метод поддержки языка UQL через трансляцию UQL-запросов в запросы на языке XQuery.
3. Разработаны и реализованы методы логической оптимизации XQuery-запросов.
Научная новизна работы
Научной новизной обладают следующие результаты диссертационной работы:
• переопределена семантика языка OCL с целью создания языка запросов UQL, обеспечивающего доступ к данным в терминах концептуальных схем, которые определяются на языке диаграмм классов UML;
• разработан метод трансляции запросов на языке UQL в запросы на стандартном языке запросов к XML-данным XQuery;
• предложен оригинальный подход к логической оптимизации XQuery-запросов, основанный на использовании метода перезаписи, и методы такой оптимизации в рамках этого подхода.
Практическая значимость
Разработанный язык запросов UQL может служить основой для создания подсистемы поддержки запросов, определяемых в терминах диаграмм классов UML, в различных системах управления данными. К таким системам можно отнести СУБД и системы интеграции данных.
Разработанные методы логической оптимизации выполнения XQuery-запросов могут быть использованы для повышения эффективности подсистем поддержки XQuery-запросов в XML СУБД и системах интеграции данных на базе XML.
Разработан прототип системы, которая поддерживает UQL-запросы и XQuery-запросы на разных уровнях в единой системе баз данных и включает логический оптимизатор XQuery-запросов. Этот прототип был использован в качестве основы для создания в ИСП РАН промышленной системы виртуальной интеграции BizQuery.
Доклады и публикации
Основные положения работы докладывались на пятой и шестой международных конференциях Advances in Databases and Information Systems (ADBIS) (2001 г. и 2002 г.), на шестьдесят третьем, семьдесят третьем и семьдесят шестом семинарах Московской Секции ACM SIGMOD (2000 г., 2001 г., 2002 г.), на научном семинаре ИСП РАН (2002 г.), на семинаре "Современные сетевые технологии" (2002 г.), на втором семинаре "XML-академия" компании Software AG (2000 г.).
По материалам диссертации опубликовано пять печатных работ [47, 48, 49, 50, 51].
Структура и объем диссертации
Работа состоит из введения, трех глав, заключения и списка литературы. Общий объем диссертации 116 страниц. Список литературы содержит 51 наименование.
