Алгоритмы обработки запросов к дедуктивным базам данных и реализация алгоритма
13
Datalog, на наш взгляд, является перспективным, хотя их применение
будет ограничено специальными случаями.
Кроме того, следует подчеркнуть, что реализация алгоритма
QSQR и последующее использование API на императивном объект-
но-ориентированном языке (Java) не вполне удобно и не позволяет
написать краткий и наглядный код. В то же время применение в ал-
горитме рекурсии, конструкций
for
...
each
и реализация отдельных
частей в виде функций делает удобным его использование на функ-
циональных языках программирования. Декларативность языка
Datalog создает благоприятные условия для его реализации в виде
предметно-ориентированного языка в рамках таких языков, как диа-
лекты Lisp. В пользу этого утверждения говорит доступность такой
реализации [6].
Исходный код проекта доступен по адресу:
/
art_vybor/datalogdb
Авторы не ограничивают его использование в академических
целях.
ЛИТЕРАТУРА
[1] Huang S.S., Green T.J., Loo B.T. Datalog and Emerging Applications: An In-
teractive Tutorial. Athens,
ACM SIGMOD'11
, 2011, june 12–16.
[2] Дейт К.Дж.
Введение в системы баз данных.
Птицина К.А., ред. 8-е изд.
Москва, Вильямс, 2005.
[3] Karvounarakis G. Dept. of Computer and Information Science.
Datalog:
Еncyclopedia of Database Systems
. Philadelphia, University of Pennsylvania.
[4] Racket documentation.
Datalog: Deductive Database Programming
. URL:
.
[5] IRIS Reasoner. URL:
.
[6] Małuszyński J., Szałas A. Partiality and Inconsistency in Agents’ Belief Bases.
Proceedings of KES-AMSTA 2013
.
Frontiers of Artificial Intelligence and Ap-
plications.
Amsterdam, IOS Press, 2013, vol. 252, p. 3–17.
[7] Чери C., Готлоб Г., Танка Л.
Логическое программирование и базы дан-
ных.
Калиниченко Л.А., ред. Москва, Мир, 1992.
[8] Гарсиа-Молина Г., Ульман Д., Уидом Д.
Системы баз данных.
Варакина
А.С., ред. Москва, Вильямс, 2003.
Статья поступила в редакцию 26.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Выборнов А.И., Дубанов А.В. Алгоритмы обработки запросов к дедуктивным
базам данных и реализация алгоритма QSQ.
Инженерный журнал: наука и иннова-
ции,
2013, вып. 11. URL:
Выборнов Артем Игоревич
родился в 1993 г. Студент 4-го курса кафедры «Тео-
ретическая информатика и компьютерные технологии» МГТУ им. Н.Э. Баумана.
Специализируется на разработке компиляторов и программировании баз данных.
e-mail:
