name: Автоматизированное построение и эффективное исполнение реляционных программ
keyword_list: функциональное программирование стратегии вычисления преобразование программ операционные семантики miniKanren Реляционное программирование
abstract: Актуальность темы исследования. Разработка реляционных программ — сложная задача, требующая специфических знаний и навыков. На практике разработка реляционной программы происходит в два этапа: создание программы на функциональном языке и последующее “ручное” преобразование этой программы в реляционную, что актуализирует задачу создания автоматизированного метода преобразования функциональных программ в реляционные. Для преобразованных программ актуальна задача их эффективного исполнения. Научная новизна. В представленной диссертации впервые представлен метод реляционного преобразования функциональных программ общего вида, для которого была доказана статическая и динамическая корректность, формально описана ангелическая семантика реляционного языка miniKanren, позволившая впервые ввести понятие справедливости конъюнкции для реляционного программирования, описана формальная семантика реляционного языка miniKanren с процедурой динамического управления порядком конъюнктов
chairman_dissertation_council.name: Андрей
chairman_dissertation_council.surname: Терехов
chairman_dissertation_council.patronymic: Николаевич
chairman_dissertation_council.position: Заведующий кафедрой Системного программирования
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: H-2413-2013
chairman_dissertation_council.scopus_author_id: 7005885244
chairman_dissertation_council.rinc_id: 98937
chairman_dissertation_council.url: https://www.math.spbu.ru/user/ant/
chairman_dissertation_council.orcid: -
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Александр
organization_supervisor.surname: Гнетов
organization_supervisor.patronymic: Валентинович
organization_supervisor.position: Ученый секретарь СПбГУ
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.05.13
rubrics.name: Технология программирования. Автоматизация программирования.
rubrics.code: 50.05.09
rubrics.name: Языки программирования
oecds.code: 01.02.EW
oecds.name: COMPUTER SCIENCE, SOFTWARE ENGINEERING
speciality_codes.name: Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
speciality_codes.code: 2.3.5.
supervisors.fio: Кознов Д.В.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
supervisors.responsible_type: Научный руководитель
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
protection_organization.ogrn: 1037800006089
protection_organization.supervisor_name: НИКОЛАЙ
protection_organization.supervisor_surname: КРОПАЧЕВ
protection_organization.supervisor_patronymic: МИХАЙЛОВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Правительство Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ"
author_organization.ogrn: 1037800006089
author_organization.supervisor_name: НИКОЛАЙ
author_organization.supervisor_surname: КРОПАЧЕВ
author_organization.supervisor_patronymic: МИХАЙЛОВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Правительство Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения