Size: a a a

Clojure — русскоговорящее сообщество

2021 April 04

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE | Journal of Mathematical Logic
https://www.worldscientific.com/doi/abs/10.1142/S0219061313500062
источник

KD

Karina 🦊 Drummer 🚀... in Clojure — русскоговорящее сообщество
Arseniy Lebedev
Графы != реляционная алгебра
Тут ничего нет про реляционную алгебру

https://en.wikipedia.org/wiki/Relational_model
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Здесь есть. Это один и тот же Кодд
источник

KD

Karina 🦊 Drummer 🚀... in Clojure — русскоговорящее сообщество
>The main application of relational algebra is to provide a theoretical foundation for relational databases, particularly query languages for such databases, chief among which is SQL.

Это не значит что это единственно верный вариант реализации
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Отсюда следует что с большой натяжкой можно сделать некоторый морфизм между ограниченным подклассом теории графов на теорию множеств в целом но это довольно бессмысленно
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Anton Chikin
Что сами? Сначала продают доли в компании, потом уже на эти деньги пилят что-то
Тут курица или яйцо, спорить можно бесконечно. Без продаж продукт не будет развиваться, так как его разработку скорее всего забросят (но можно и пилить бесплатно, пока энтузиазм есть). Без какого-то рабочего продукта не может быть продаж, так как продавать нечего (можно продавать обещания, что стартапы и делают частенько)
источник

KD

Karina 🦊 Drummer 🚀... in Clojure — русскоговорящее сообщество
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Karina 🦊 Drummer 🚀
>The main application of relational algebra is to provide a theoretical foundation for relational databases, particularly query languages for such databases, chief among which is SQL.

Это не значит что это единственно верный вариант реализации
Кодд предложил алгебру которая позволяет оптимизировать запросы используя детерминистичные методы, отсутствие чего преследует всякие графовые базы всю жизнь
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Кажется это подтверждает что я сказал: реляционная модель это одно, а рассматривать ее через графы может и интересно но вряд ли продуктивно
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Конечно даже в пг есть куча способов нарушить эту стройную систему
источник

KD

Karina 🦊 Drummer 🚀... in Clojure — русскоговорящее сообщество
https://en.wikipedia.org/wiki/Graph_database

Оу, оказывается теперь графовые dbms явно отделяют и даже в чём-то противопоставляют реляционным, ну здорово блин. С точки зрения английского языка звучит как бред, ну да ладно, сдаюсь

Раньше графовые dbms подавались как альтернативная и вместе с тем более "натуральная" реализация реляционной модели, но я видимо слишком долго спала в анабиозе со своим этом фронтэндом
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Arseniy Lebedev
Кодд предложил алгебру которая позволяет оптимизировать запросы используя детерминистичные методы, отсутствие чего преследует всякие графовые базы всю жизнь
Честно говоря вообще не в теме, но интересно. Правильно ли я понял, что графовые базы не могут детерминистично оптимизировать запрос?
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Не, ну они какой-то эвристикой наверняка что-то оптимизируют, но там (на текущий момент) нет сопоставимого по силе механизма
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Ну эвристики понятно, то есть нет какой-то стройной теории как это делать в общем случае?
источник

KD

Karina 🦊 Drummer 🚀... in Clojure — русскоговорящее сообщество
>relational is about relationships
>graph is about relationships
>graph isn’t relational

Видимо у меня с логикой проблемы
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Я ещё раз подчеркну что в реальной жизни у тебя обычно такие квари  на 10 подджойнов что планировщик сходит с ума в любом случае)
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Karina 🦊 Drummer 🚀
>relational is about relationships
>graph is about relationships
>graph isn’t relational

Видимо у меня с логикой проблемы
relational is about relations наверное?)
источник

AL

Arseniy Lebedev in Clojure — русскоговорящее сообщество
Karina 🦊 Drummer 🚀
>relational is about relationships
>graph is about relationships
>graph isn’t relational

Видимо у меня с логикой проблемы
Реляции между множествами это все таки не совсем одно и тоже что просто абстрактная реляция между одномерными нодами (вершинами)
источник

KD

Karina 🦊 Drummer 🚀... in Clojure — русскоговорящее сообщество
Mikhail Borisov
relational is about relations наверное?)
🤔🤔🤔
источник