Verse

thesz — 20.04.2025 Они выпустились, став объектно-ориентированным реляционно логическим языком. Подробностей на поверхности нет, вдаваться я не стал.

Однако, глаз у меня зацепился за объяснение, что в Verse высказывание x := y означает равенство между x и y, распространяемое по всему коду, где определены x и y.

Фактически, если x является частью (проекцией) последовательности X, а y это часть (проекция) последовательности Y, это означает equijoin - соединение (join) двух последовательностей по равенству их проекций.

После чего я вспомнил про работы Фрица Хенглайна. У него там есть работа про ленивое выполнение этих самых соединений через символьные вычисления над представлениями последовательностей и специальное построение разделения (discrimination) значений, что, если я правильно понимаю, весьма напоминает построение некоторых worst-case optimal join алгоритмов.

Что, в свою очередь, позволяет понять, что же создатели Verse имели в виду, когда говорили, что система выполнения Verse постоянно строит и решает системы уравнений - они строят и перестраивают символьные вычисления над представлениями последовательностей.

Оставить комментарий

Популярные посты:

• Ранее
• Архив