|
Ученые записки Ереванского государственного университета, серия Физические и Математические науки, 2014, выпуск 1, страницы 40–47
(Mi uzeru49)
|
|
|
|
Informatics
On optimization of monadic logic programs
[Об оптимизации монадических логических программ]
S. A. Khachatryan Yerevan State University
Аннотация:
Данная статья посвящена вопросам оптимизации монадических логических программ и запросов. Мы называем программу (запрос) монадической (монадическим), если она (он) не использует функциональных символов местности $\ >1$ и использует лишь $1$-местные предикатные символы. В работе описываются трансформации программы и запроса, при которых любая монадическая программа $P$ и запрос $G$, не содержащий переменных, преобразовываются в иные программу $P^{\prime}$ и запрос $G^{\prime}$ , так что программа $P^{\prime}$ является завершаемой по отношению к запросу $G^{\prime}$, а также $P\models G$ тогда и только тогда, когда $P^{\prime}\models G^{\prime}$. Следует заметить, что программа $P^{\prime}$, полученная трансформацией, одинакова для всех запросов.
Ключевые слова:
monadic logic programs, optimization, termination, transformation.
Поступила в редакцию: 24.12.2013 Принята в печать: 10.02.2014
Образец цитирования:
S. A. Khachatryan, “On optimization of monadic logic programs”, Уч. записки ЕГУ, сер. Физика и Математика, 2014, no. 1, 40–47
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzeru49 https://www.mathnet.ru/rus/uzeru/y2014/i1/p40
|
Статистика просмотров: |
Страница аннотации: | 55 | PDF полного текста: | 17 | Список литературы: | 48 |
|