Программы для создания изображений: как выбрать инструмент под конкретную задачу
13.04.2025 —
Неожиданное
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 постоянно строит и решает системы уравнений - они строят и перестраивают символьные вычисления над представлениями последовательностей.
Оставить комментарий
Предыдущие записи блогера :
11.04.2025 —
Добрались
Архив записей в блогах:
Впрочем, парадоксы это только с точки зрения формальной логики, с точки зрения психологии тут всё допустимо - дети самовыражаются на родителях. 1. Русский национализм в его нынешнем виде чуть более, чем полностью, - создал Иосиф Виссарионович Сталин. И правильно сделал. Дело не только ...
В одной русско-американской фейсбук-группе человек серьёзно спросил: Собственно, и комментировать нечего. Человеку серьезно посоветовали найти соответствующего мастера - гаражопера. Для непосвященных - речь идет о моторе (открывателе) гаражной двери (garage ...
С одной стороны с плохим зрением да без очков все такие красивые кажутся-) мелких дефектов просто не видишь.... С другой для некоторых очки как для меня тату
Посмотреть обсуждение, содержащее этот комментарий
...
ВСЕ ТЕЧЕТ Одна моя знакомая рассказывала. Был у нее бойфренд в небольшой европейской стране. Это очень удобно – иметь такого бойфренда. Ездишь к нему, когда хочешь, в Европу. На неделю, на две. Он верный, честный, приличный. А если вдруг не ...
В Красноярском крае бизнесмен, который не мог расплатиться с кредитами, убил жену и двоих детей, после чего покончил с собой Индивидуальный предприниматель из Красноярского края застрелил свою жену и двоих детей, после чего этого покончил с собой, сообщает РИА Новости со ссылкой на источн ...
