Алгоритмы обработки запросов к дедуктивным базам данных и реализация алгоритма QSQ

база данных Datalog алгоритм QSQ дерево доказательства

Подход к оценке эффективности внедрения информационных систем предприятий, Формальный логический анализ корректности спецификаций сетевых SIP-протоколов, ...

Алгоритмы обработки запросов к дедуктивным базам данных и реализация алгоритма УДК 004.047 Алгоритмы обработки запросов к дедуктивным базам данных и реализация алгоритма QSQ А.И. Выборнов, А.В. Дубанов МГТУ им. <...> Н.Э. Баумана, Москва, 105005, Россия Рассмотрены существующие алгоритмы обработки запросов к дедуктивным базам данных, основанных на языке Datalog. <...> Необходимой частью любой системы управления базами данных (СУБД) является язык запросов к базе данных (БД). <...> В настоящее время наибольшее распространение получил «язык структурированных запросов» (Structured Query Language — SQL), который ориентирован на реляционную модель данных. <...> Однако существуют языки запросов к БД, работающие в терминах математической логики. <...> Запрос к БД, сформулированный на таком языке, часто оказывается более кратким и понятным по сравнению с запросом на языке SQL. <...> Применение дедуктивных языков определяется следующим обстоятельством: с помощью реляционных языков очень сложно выразить любой рекурсивный запрос [2], такой как транзитивное замыкание бинарного отношения. <...> Под транзитивным замыканием бинарного отношения R понимают наименьшее транзитивное отношение, включающее R [3]. <...> А.И. Выборнов, А.В. Дубанов Здесь и далее: p — предикат, задающий отношение; X , Y и Z — переменные. <...> Транзитивное замыкание бинарного отношения в запросах может возникать при решении задач широкого круга предметных областей. <...> Существует ряд реализаций СУБД с дедуктивным языком запросов. <...> Таким образом, сохраняется актуальность СУБД с дедуктивным языком запросов, способных работать с большими объемами данных с API на наиболее широко применяемых языках программирования. <...> В данной работе авторами был реализован прототип СУБД с языком запросов Datalog и API на языке Java и выполнена оценка ее применимости к большим объемам данных. <...> Были рассмотрены существующие алгоритмы вычисления программ на Datalog и выбран алгоритм, наиболее подходящий для реализации. <...> Предикаты в Datalog могут рассматриваться <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт