JetBrains Research — наука, меняющая мир

Эффективная справедливая конъюнкция для структурно-рекурсивных отношений

Реляционный язык miniKanren является декларативным языком, однако одна из его базовых операций --- конъюнкция --- обладает императивными свойствами. Как эффективность, так и сходимость вычисления конъюнкции зависит от порядка конъюнктов в программе. Поэтому при написании реляционной программы пользователь должен самостоятельно определить наиболее оптимальный порядок конъюнктов.

В докладе мы рассмотрим более декларативный подход к вычислению реляционных программ, при котором порядок конъюнктов не влияет на сходимость и привносить незначительные накладные расходы.

Доклад по статье P.Lozov, D.Boulytchev "Efficient Fair Conjunction for Structurally-Recursive Relations", принятой на конференцию PEPM 2021.

Докладчик: Пётр Лозов

Материалы

P.Lozov, D.Boulytchev "Efficient Fair Conjunction for Structurally-Recursive Relations"

Семинар пройдет онлайн 23 ноября в 17:30, ссылка Google meet: https://meet.google.com/myu-dhmz-gvu