Verse

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

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

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

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

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

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

Предыдущие записи блогера :
Архив записей в блогах:
Не могу смотреть на фотографию Дженнет Абдурахманову с мужем. Красивый парень и маленькая девочка. О какой любви между этими людьми может идти речь. 16 летняя девочка, что видела она в жизни? 30-летнему мужику не сложно «вложить» в голову этого ...
  Пакистанская свадьба. За несколько дней до свадьбы руки пакистанской невесты украшаются узорами из хны. Делается это специально, для церемонии Мехенди, обряда, который по поверьям должен принести удачу в будущую семью. ...
Очень часто в сети встречаю рассуждения наших граждан о СВО, Украине, США, западном мире, радикальной настроенности. То шандарахнуть по Украине ядерным оружием, то покинуть ООН и ...
Глядя на Маска, все кинулись сокращать чиновников. Насколько я помню, в России количество чиновников на душу населения и так меньше чем во всех развитых странах. А качество их работы ниже. В том числе по этой причине. Сокращать нужно не чиновников, а этажи власти. Я конкретной ...
18–19 сентября в «Гараже» устраивают арт-эксперименты, в Хамовниках— большую ярмарку хендмейда, кинотеатр «35 мм» отдан молодым дизайнерам, а телеэфир— не только рассуждениям о заработках Батуриной и Лужкова, но и победителю ММКФ. Узнайте все о ...