clayrat: (yco)
Набрел на статью Erik Meijer и Gavin Bierman "A co-Relational Model of Data for Large Shared Data Banks" (название это прикол над статьей Codd-а 70го года).

Авторы утверждают, что популярные noSQL модели типа "ключ-значение" это просто категорные дуали к реляционной модели:



А также что операторы реляционной алгебры и запросы по объектной (т.е. key-value) модели легко заворачиваются в monad comprehensions.
clayrat: (yco)
есть такая term rewriting система Maude, давно на нее заглядывался
это логический фреймворк, может выводить различные выражения из набора уравнений и правил перезаписи

нашел на нем интересную биологию: Pathway Logic
моделируют сетями Петри трансдукцию сигналов и прочие метаболические графы
clayrat: (nks)
 а вот интересное исследование

биоинформатики отсортировали регуляторную сеть генов всемирно известной кишечной бактерии (E.coli) и граф вызовов в Linux по входящим и выходящим связям ("директоры", "менеджеры" и "рабочие")

вышло вот что



причем у бактерии самые консервативные - рабочие гены, а в линуксе их сто раз переписали

высказывают подозрения, что у эукариотов будет более похоже на линукс

Expand Cut Tags

No cut tags

Profile

clayrat: (Default)
Alex Gryzlov

Syndicate

RSS Atom

Style Credit

Page generated Jul. 28th, 2017 12:37 am
Powered by Dreamwidth Studios
November 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 2016