ВУЗ:
Составители:
Рубрика:
78
Аналогичным образом рассматриваются все n подграфов A(
G
). Совокупность n
фильтров и составит первый тип условной части.
Второй тип search_condition формируется из трех смежных вершин, содержащих
идентификатор атрибута, операцию оператора SQL-запроса и значение базы данных. Ввиду
элементарности формирования данного условия в работе оно не приводится.
Система продукций по реализации данного метода приведена в приложении Д.
3.4. Выводы по третьей главе
В данной главе предложены модель метаописания концептуальной схемы базы
данных, модель проблемной среды. Для формального описания моделей предложены два
вида предикатов – составной и параметрический. Составной предикат позволяет
посредством бинарных отношений описать взаимосвязи между понятиями проблемной
среды и логической модели данных, между понятиями логической и физической моделей
данных. С помощью параметрического предиката задается интенсионал понятий
физической модели данных, который позволяет построить взаимосвязь между понятиями.
Таким образом, данные модели описываются семейством множеств закономерностей
проблемной среды и концептуальной схемы базы данных, представленных в виде формул
предикатов второго порядка.
Построенное множество предикатов применяется для трансляции естественно-
языкового запроса, представленного в виде графа зависимостей синтаксического анализа, в
SQL-запрос. Трансляция выполняется последовательным решением следующих задач:
распознавание типов вершин в графе зависимостей и формирование вектора;
преобразование понятий проблемной среды в термины логической модели данных;
преобразование терминов логической модели в термины физической модели данных. По
каждой задаче строятся гипотезы, и задача решается методом доказательства теорем.
По данной главе построены множества продукций для решения поставленных в главе
задач, которые приведены в приложении Д.
Все частичные функции, представленные в виде вычислительных процедур,
составляют библиотеку ассоциированных процедур К третьего элемента системы общения
с базами данных Z = <M, В, K>.
Аналогичным образом рассматриваются все n подграфов A( G ). Совокупность n фильтров и составит первый тип условной части. Второй тип search_condition формируется из трех смежных вершин, содержащих идентификатор атрибута, операцию оператора SQL-запроса и значение базы данных. Ввиду элементарности формирования данного условия в работе оно не приводится. Система продукций по реализации данного метода приведена в приложении Д. 3.4. Выводы по третьей главе В данной главе предложены модель метаописания концептуальной схемы базы данных, модель проблемной среды. Для формального описания моделей предложены два вида предикатов – составной и параметрический. Составной предикат позволяет посредством бинарных отношений описать взаимосвязи между понятиями проблемной среды и логической модели данных, между понятиями логической и физической моделей данных. С помощью параметрического предиката задается интенсионал понятий физической модели данных, который позволяет построить взаимосвязь между понятиями. Таким образом, данные модели описываются семейством множеств закономерностей проблемной среды и концептуальной схемы базы данных, представленных в виде формул предикатов второго порядка. Построенное множество предикатов применяется для трансляции естественно- языкового запроса, представленного в виде графа зависимостей синтаксического анализа, в SQL-запрос. Трансляция выполняется последовательным решением следующих задач: распознавание типов вершин в графе зависимостей и формирование вектора; преобразование понятий проблемной среды в термины логической модели данных; преобразование терминов логической модели в термины физической модели данных. По каждой задаче строятся гипотезы, и задача решается методом доказательства теорем. По данной главе построены множества продукций для решения поставленных в главе задач, которые приведены в приложении Д. Все частичные функции, представленные в виде вычислительных процедур, составляют библиотеку ассоциированных процедур К третьего элемента системы общения с базами данных Z =. 78
Страницы
- « первая
- ‹ предыдущая
- …
- 76
- 77
- 78
- 79
- 80
- …
- следующая ›
- последняя »