Конечно, вы и сами можете легко нагуглить ответы на этот вопрос, однако, как я обнаружил, большинство ответов, которые вы найдете, раскрывают эту тему чересчур поверхностно.

В сегодняшнем вечно занятом мире новые данные, теперь представляющие из себя фундаментальные активы большинства предприятий, создаются без остановки. Системы доступны 24/7, генерируя данные каждую секунду каждого дня. И даже больше, эти сложные композиции систем генерации и обработки данных непрерывно взаимодействуют друг с другом для предоставления услуг конечному пользователю. В последнее время я все чаще натыкаюсь на один вопрос, который заключается в следующем: как обстоят дела с графовыми базами данных и чем они выделяются на фоне реляционных? И в итоге я решил как следует разобраться в этой теме. Найти множество ответов на этот вопрос не представляет особого труда, достаточно просто немного погуглить. Однако, как я обнаружил, большинство ответов перечисляют преимущества очень поверхностно. Именно поэтому я решил поделиться с вами в этой статье кратким разбором того, в чем по моему мнению заключается их истинная ценность — независимо от маркетинговых презентаций крупных компаний и технологических инфлюенсеров.

Базы данных хранят материализованное состояние всех ранее обработанных событий, поступающих в нашу систему.

Событие — это автономное и неизменное сообщение, поступающее в нашу систему. Когда мы настраиваем базу данных для обработки и хранения таких событий, нам приходится принимать различные проектные решения:

  • Какие данные мы хотим хранить?

  • Как они представлены?

  • На каком уровне абстракции мы храним данные?

  • Какие события мы хотели бы обрабатывать и как применять их к нашим данным?

Например: мы можем сохранять все события в необработанном виде по мере их поступления в наши системы или отражать их в базе данных, только если они обновляют наши данные.

У базы данных есть функциональное назначение и причина для хранения данных определенным образом.

Например, если база данных служит в качестве слоя хранения данных для пользовательского приложения, обслуживающего пользовательские запросы в режиме реального времени, то она должна включать представление, обеспечивающее быстрый доступ к данным для этого конкретного набора запросов. И напротив, для ответов на статистические бизнес-вопросы, которые охватывают большие объемы исторических данных, это может быть не самый лучший подход.

Так в чем же разница между графовыми и реляционными базами данных? Поскольку графовые базы данных привлекают все больше и больше внимания со стороны многих компаний, но в то же время большинство компаний все еще используют традиционные реляционные базы данных, я решил сосредоточиться именно на этих двух типах баз данных.

Изображение автора
Изображение автора

Реляционные базы данных сущность-ориентированные

Начнем с реляционной модели. Реляционные базы данных хранят данные в таблицах. Таблица представляет сущность. Я бы назвал такой тип баз данных сущность-ориентированными (entity-first). Их подход заключается в том, чтобы определить схему для таблицы, а затем хранить в этой таблице только объекты этого конкретного типа. Поэтому данные с одинаковой структурой хранятся близко друг к другу.

Реляционные модели хранят отношения как данные в домене пользователя

В реляционной модели не существует концепции отношения между данными. Это означает, что вы не можете определить связь между таблицами. Чтобы связать данные в реляционной модели, вы должны явно смоделировать связь с вашими данными. Вы не можете отделить фактические данные от данных, которые хранятся только для представления отношений. Единственный способ смоделировать отношение — это смоделировать его как внешний ключ в вашей таблице — либо как атрибут вашей сущности (один-к-одному, многие-к-одному), либо с помощью дополнительной таблицы (один-к-многим, многие-к-многим). Можно рассматривать эту таблицу отображения (mapping table) как таблицу отношений и, следовательно, представлять отношение в виде сущности. Тем не менее, эта технология не подразумевает поддержки отношений — мы просто создаем новые данные в таблице. Это приводит к одному фундаментальному выводу: реляционные базы данных хранят внешние ключи как пользовательские данные — например, ссылки на другие записи в таблице сущностей. Поскольку ссылка представляет собой данные в домене пользователя, такая база данных не может иметь автоматического механизма для управления ими — эта задача ложится на пользовательскую логику.

Изображение автора
Изображение автора

Графовые базы данных отношение-ориентированные

Графовая модель, напротив, имеет явно определенные понятия для сущностей (узлы) и отношений (ребра), в чем и заключается ее главное отличие от реляционной модели. Поскольку мы можем определять отношения между сущностями напрямую, нам не нужно заботиться о том, как их моделировать в нашей схеме. Нам не нужно знать о внешних ключах, и нам также не нужно прописывать логику того, как их хранить. Мы определяем схему сущностей и отношений, и система позаботится об этом всем сама. Это дает нам огромное преимущество, если мы хотим моделировать сильно связанные данные: реализация может позаботиться о ссылках наиболее эффективным образом. Вместо явного хранения дополнительных данных (ссылок) в виде атрибутов в наших таблицах с данными, система графовой базы данных может хранить настоящие указатели памяти на ближайшую связанную сущность. Большинство систем графовых баз данных хранят данные в структурах, похожих на связанные списки (linked lists). Они хранят прямые ссылки на данные, которые связаны, а не аналогичные объекты, для представления этих связей. Я бы назвал их отношение-ориентированными (relationship-first).

Вышеупомянутые различия в этих двух подходах наталкивают на некоторые выводы о областях применения, где каждый из них будет максимально полезен.

Графовые базы данных хранят данные подобно объектно-ориентированным языкам

Поскольку реляционные базы данных не включают в себя понятие отношения, нам необходимо явно смоделировать их как данные в нашей схеме. Это приводит к несоответствию с объектно-ориентированным моделированием, которое мы используем в большинстве языков программирования. Каждый объект может содержать набор других объектов, с которыми он связан. Эти ссылки обычно являются указателями на объекты в памяти, и нам не нужно хранить их явно. Нам также не нужно находить объект в памяти по каким-либо атрибуту внешнего ключа. Следовательно, для выполнения так называемого объектно-реляционного отображения (object-relational mapping) требуются значительные накладные расходы.

Графовые базы данных хранят данные подобно объектно-ориентированным языкам — у нас есть прямые указатели на связанные объекты. Следовательно, объектно-реляционное отображение здесь максимально прямолинейно.

Просмотр одного отношения может быть выполнен за константное время

Поскольку графовые базы данных могут переходить от одной сущности к связанной с ней, просто следуя указателю памяти, мы называем это смежностью без индекса (index-free adjacency). Нам не нужно искать внешний ключ в другой таблице (используя индекс) или, что еще хуже, искать ключ в таблице отображения, а полученный внешний ключ - в третьей таблице, все чтобы просмотреть одно отношение. Следовательно, просмотр одного отношения может выполняться за константное время. Это означает, что он не зависит от объема или размера данных, хранящихся в графовой базе данных. В то время как в реляционном базе данных нам приходится сканировать индекс (потенциально даже несколько индексов), затраты на что возрастают по мере увеличения объема данных.

Просто это даже ощущается как-то неправильно — писать SQL-запросы для поиска связанных данных.

Хоть мы и можем моделировать связанные данные и отношения в реляционных моделях, но когда мы пытаемся проследить путь с несколькими переходами, используя язык запросов SQL, у нас может возникнуть ощущение, что то, что мы описываем, — это не совсем то, чего мы хотим достичь. Мы должны объединять (оператором join) таблицы по определенному условию, которое мы должны указать вручную, чтобы найти соседние данные — потенциально несколько раз и, следовательно, через  уродливые вложенные запросы. Такие запросы выглядят очень громоздко и требуют много накладных расходов. Если что-то такое имеет место быть, обычно это явный признак того, что мы используем технологию не совсем так, как предполагалось. Мы не хотим объединять целые таблицы — мы просто хотим найти конкретные данные.

В графовых базах данных все это выглядит иначе. Поскольку они были разработаны для обработки запросов связанных данных на основе структуры их соединения, они предлагают для этого лаконичный и интуитивно понятный синтаксис. Мы можем точно указать, какие пути мы хотим найти. Никаких условий объединений или сложных вложенных запросов, никаких таблиц отображения — только простое описание того, что мы хотим найти.

Заключение

Графовые и реляционные базы данных отличаются одним фундаментальным принципом их архитектуры: графовая модель определяет понятие отношения, а реляционная — нет. Вот почему графовая база данных может гораздо эффективнее управлять взаимосвязанными данными. Тем не менее, у обоих подходов есть свои причины для существования: графовые модели работают лучше и более интуитивно понятны при анализе всего контекста вокруг одной точки данных — потенциально с несколькими переходами. Однако, если исследование данных с высокой степенью соединения и высокой степенью связанности не является обязательным требованием, реляционная модель вполне может удовлетворить эти потребности.


Всех желающих приглашаем на открытое занятие «Работа с ГЕО-данными в DWH: координаты, зоны, агрегация». На открытом уроке рассмотрим:

- Привязка событий к зонам на карте города;
- Агрегирование и аналитика данных с помощью H3 (гексагоны);
- Оптмизация расчетов и производительности, кэширование.

Регистрация на открытый урок.

Комментарии (21)


  1. funca
    24.10.2022 19:05
    +6

    В реляционной модели не существует концепции отношения между данными. Это означает, что вы не можете определить связь между таблицами.

    Думал узнал что-то новое. Но нет - сомнительный исходник и нюансы перевода.


    1. Kwisatz
      24.10.2022 19:51
      +11

      Согласен, и опять ни слова о том в каких случаях графовые базы становятся эффективными.


    1. speshuric
      25.10.2022 00:00
      +7

      Конечно, вы и сами можете легко нагуглить ответы на этот вопрос, однако, как я обнаружил, большинство ответов, которые вы найдете, раскрывают эту тему чересчур поверхностно.

      Вот это начало оказалось вообще издевательством.


  1. Akina
    24.10.2022 21:26
    +4

    Никогда ранее не сталкивался с графовыми БД - только знал, что существуют как выделенный тип NoSQL. Признаться, надеялся найти в статье ответ на вопрос, вынесенный в заголовок статьи.

    С сожалением должен констатировать - не получилось, причём от слова "совсем". Единственное следствие от прочтения и попытки осмыслить: создалось впечатление (не знаю, истинно это или нет), что всей разницы - то, что в реляционных БД делается через явные дополнительные структуры (а в случае естественных ключей к тому же вовсе даже не дополнительные), в графовых делается ссылками, а создаваемые для их поддержания структуры скрываются.. словно графовая БД - это EAV-таблица (табл.1) с сущностями, связанная на себя отношением M:N (табл.2), причём отношение является самостоятельной сущностью с атрибутом типа (табл.3).А СУБД - просто ориентирована на эффективную обработку базы именно такой структуры и оптимизирована под неё.


  1. victor_1212
    25.10.2022 02:45
    +1

    кто интересуется теорией, хорошо написана книга "Введения в системы баз данных", Крис Дейт, прочитал лет 40 назад, если не ошибаюсь экзамен тоже по ней сдавал, с тех пор обновлена и переиздана N+1 раз, типа рекомендую, правда новые переводы не очень, лучше читать в оригинале

    см

    https://www.osp.ru/os/2002/02/181145


  1. alexhott
    25.10.2022 08:11
    +1

    Много воды а по сути информации нету. Графовые БД тоже как-то должны хранить объекты и отношения между ними. И деалют они это скорее всего точно также как реляционные, используют индексы с теми же принципами работы. Просто кучу джойнов обернули в синтаксический сахар.

    Разрабатывал на основе реляционной бд систему отношений все со всеми. Все отношения лежали в одной таблице(в таблице грубо 4 поля: ИД_ОБЪЕКТА1,ИД_ЭКЗЕМПЛЯРА1, ИД_ОБЪЕКТА2,ИД_ЭКЗЕМПЛЯРА2 ), и выбирались одним джойном.


    1. Coriolis
      25.10.2022 15:30

      >И деалют они это скорее всего точно также как реляционные

      Нет.


      1. alexhott
        26.10.2022 09:38

        Развернутый ответ.

        В любом случае хранится взаимосвязь, которая знает тип объекта 1, тип объекта2, ИД объекта1, ИД объекта2 . Иначе не найти просто связанные объекты.
        Хранится это в любом случае в виде какой-то структуры(скорее всего таблицы), а для быстрого поиска индексируются. Изобретать новый велосипед? да можно но будет хуже. То что это все под капот засунули и пользователю упростили работу. ну круто.


  1. Throwable
    25.10.2022 09:20

    Немного оффтопика: по запросу графовых бд сразу выходит Neo4j, у которой просто отвратительная таргетированная рекламная кампания. После этого из каждого утюга ещё долго будут абьюзить рекламой оной. Так что открывайте в инкогнито.

    А вообще главное отличие реляционных и графовых бд в том, что в первой отношения задаются статически, а во второй - динамически. Все.


    1. Akina
      25.10.2022 09:39
      +2

      главное отличие реляционных и графовых бд в том, что в первой отношения задаются статически, а во второй - динамически

      Эммм... не могли бы Вы быть немного подробнее, или хотя бы сопроводить сии слова ссылкой на вменяемое описание? Ибо если оперировать устоявшимися определениями этих терминов, то создаётся впечатление, что графовые БД устанавливают связи на основе не модели данных, а с привлечением некоей функции подобия (вроде similarity), и вообще чуть ли не эмпирически.


      1. Throwable
        26.10.2022 09:33

        Примерно так и есть. В реляционной модели вы определяете все связи на этапе дизайна, при этом само отношение не является полноправным объектом модели. В графовых бд связи являются такими же объектами как и сущности, и ими можно манипулировать в рантайме.


        1. Akina
          26.10.2022 11:04
          +1

          Ну тогда выходит, что я прав в комментарии от 24.10.2022 в 21:26. Понятно, спасибо.

          В реляционной модели вы определяете все связи на этапе дизайна

          Да в принципе ничто не мешает создавать в реляционной БД динамические связи между данными и манипулировать ими в рантайме.. другое дело что механизм реализации такого связывания придётся делать и отлаживать руками, а не тупо перетаскивать мышкой одну картинку на другую, и оптимальность такого решения будет ниже, чем встроенного в СУБД.


          1. funca
            27.10.2022 01:20

            В реляционной модели связи формулируется аналитически - с помощью формул, как в математике. По сути реляционная алгебра это такая навороченная логика, где вместо переменых со значениями true или false, используются переменные, которые представляют собой множества (отношения, таблицы). Она предлагает оперировать не отдельными фактами, а сразу целыми совокупностями.

            В графовых базах связи между объектами задаются номинально - добавили связь, значит она есть, - неважно какая логика за этим стоит. Расплачиваться за гибкость приходится приличным овехедом для хранения и худшим scalability.


            1. Akina
              27.10.2022 08:12
              +1

              В реляционной модели связи формулируется аналитически - с помощью формул, как в математике.

              ...

              В графовых базах связи между объектами задаются номинально - добавили связь, значит она есть, - неважно какая логика за этим стоит. 

              Ой, вот только не смешите. Добавили связь - это где-то создали запись (или что-то похожее на запись) (link_to_entity1, link_to_entity2, type). А то, что она есть, определяется чисто формулой: entity1_id = link_to_entity1 AND entity2_id = link_to_entity2, и никак иначе. Ну или не entity1_id, а pointer_to_entity1_id - то же, только вид сбоку.

              И разница не в том, есть формула или нет, а в том, видима она явно или тщательно спрятана. Есть она, эта формула, есть - в любом случае.

              Вот, кстати, интересный мне вопрос - есть реляционная СУБД, она хранит метаданные баз/таблиц, и на основе их клиент строит нам ER-диаграммы и наоборот, на основании изменения диаграммы корректирует метаданные. Вот эта работа с диаграммами сверху и метаданными внизу - это графовая БД?


              1. funca
                27.10.2022 12:49

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


  1. alisarin
    25.10.2022 12:53
    -1

    Я долго не мог придумать название используемой мной структуры базы данных, и теперь этот пост подсказал, что такую структуру можно называть "метаграфовой". То есть это база данных действительно построенная как графовая на основе неких формализованных отношений, но одновременно такая, благодаря которой возможно выделение формализованных отношений и непосредственно контента, например, статистики вхождения той или иной позиции в ее связанности с другими позициями, определения ее подобия по старшим и по младшим связям, определения перечня абсолютно верхних и абсолютно нижних позиций иерархиии и т.п.

    Мне интересно, кто-нибудь что-нибудь подобное о таком слышал, я не могу найти литературы, что кто-либо использовал подобные формы построения базы данных?

    Если сам контент образует формализованные связи, то в таких отношениях неизбежны семантические циклы, про которые следует помнить при внесении информации в базу и стараться избегать. И на эту тему нельзя нигде найти ничего...


  1. aaa_bbb
    25.10.2022 13:05

    "графовые" - это те которые нам в универе называли "сетевые"?


  1. Coriolis
    25.10.2022 15:39

    Смешно получается, парадокс некий. RelationDB (relation - отношения) - на самом деле без отношений. Ну т.е. если запись (строку в таблице) интерпретировать как объект - то да, безусловно поля относятся к одной сущности. А вот если мыслить уже сущностями как атомарными единицами то внезапно Relation БД уже без связей между этими сущностями.


  1. vagon333
    25.10.2022 15:40
    +2

    Работаю с графовыми RDF triplestore и реляционными.
    Статья очень слабая:

    • определения из книжек, сложные в понимании начинающим

    • не описаны сильные и слабые стороны каждого решения (а у графов очень даже есть + и -)

    • не описаны области применения каждого решения

    • не даны примеры для лучшего закрепления материала


    1. Coriolis
      25.10.2022 16:16
      -4

      Странные претензии)) Автор написал то что посчитал нужным. Откуда такие требования? Вопрос о принципиальном различии (с точки зрения автора) - раскрыт (это уже с моей точки зрения). Вы почему-то ожидали каких-то там примеров, подробных сравнений для разных решений, конкретных областей применения(!), почему? Откуда такие ожидания? Кто их Вам обещал и не выполнил?

      Со сложностью - может и так, но это субъективное. Кто-то начинающий, а кто-то (представьте себе) - нет.


    1. easimonenko
      25.10.2022 23:29

      графовыми RDF triplestore

      Запятую пропустили.