1、简介

属性图数据库,简称图数据库。图数据库完全和知识图谱契合,从底层的存储模型到支持的查询语言,甚至相关的概念都完全匹配。它们就是天造地设的一对,图数据库是知识图谱存储的首选。

2、常见的图数据库

常见的图数据库包括:JanusGraph、Neo4j、Dgraph、NebulaGraph、HugeGraph、OrientDB、ArangoDB、TigerGraph等。下面列举,主流和推荐的几款图数据库的简介,应用场景和架构。

3、JanusGraph

3.1、JanusGraph简介

JanusGraph是一个可扩展的图数据库,可以把包含数千亿个顶点和边的图存储在多机集群上。它支持事务,支持数千用户实时、并发访问存储在其中的图。

JanusGraph是2016年12月27日从Titan fork出来的一个分支,之后TiTan的开发团队在2017年陆续发了0.1.0rc1、0.1.0rc2、0.1.1、0.2.0等四个版本,最新的版本是2017年10月12日。

3.2、JanusGraph使用场景

JanusGraph最大的一个好处就是:可以扩展图数据的处理,能支持实时图遍历和分析查询(Scaling graph data processing for real time traversals and analytical queries is JanusGraph’s foundational benefit.)。

  因为JanusGraph是分布式的,可以自由的扩展集群节点的,因此,它可以利用很大的集群,也就可以存储很大的包含数千亿个节点和边的图。由于它又支持实时、数千用户并发遍历图和分析查询图的功能。所以这两个特点是它显著的优势。

  它支持以下功能:

  • 分布式部署,因此,支持集群。
  • 可以存储大图,比如包含数千亿Vertices和edges的图。
  • 支持数千用户实时、并发访问。(并发访问肯定是实时的,这个唉,没必要强调好像)
  • 集群节点可以线性扩展,以支持更大的图和更多的并发访问用户。(Elastic and linear scalability for a growing data and user base)
  • 数据分布式存储,并且每一份数据都有多个副本,因此,有更好的计算性能和容错性。(Data distribution and replication for performance and fault tolerance)
  • 支持在多个数据中心做高可用,支持热备份。(Elastic and linear scalability for a growing data and user base)
  • 支持各种后端存储系统,目前标准支持以下四种,当然也可以增加第三方的存储系统:
    • ApacheCassandra®
    • ApacheHBase®
    • GoogleCloudBigtable
    • OracleBerkeleyDB
  • 通过集成大数据平台,比如Apache Spark、Apache Giraph、Apache Hadoop等,支持全局图数据分析、报表、ETL
  • 支持geo(Gene Expression Omnibus,基因数据分析)、numeric range(这个的含义不清楚)
  • 集成ElasticSearch、Apache Solr、Apache Lucene等系统后,可以支持全文搜索。
  • 原生集成Apache TinkerPop图技术栈,包括Gremlin graph query language、Gremlin graph server、Gremin applications。
  • 开源,基于Apache 2 Licence。
  •  通过使用以下系统可以可视化存储在JanusGraph中的图数据:
    • Cytoscape
    • GephipluginforApacheTinkerPop
    • Graphexp
    • KeyLinesbyCambridgeIntelligence
    • Linkurious

3.3、JanusGraph架构

JanusGraph是模块化的体系结构(JanusGraph has a modular architecture)。

  它使用hadoop来做图的分析和图的批处理,使用模块化接口来做数据持久化、索引和客户端访问。

  在JanusGraph和磁盘之间有多个后端存储系统和多个索引系统。(Between JanusGraph and the disks sits one or more storage and indexing adapters.)

  它支持的外部存储系统,目前标准支持的有(当然也可以将第三方的存储系统作为JanusGraph的后端存储系统):

Apache Cassandra

Apache HBase

Oracle Berkeley DB Java Edition

Google Cloud BigTable

  支持的外部索引系统:

Elasticsearch

ApacheSolr

ApacheLucene

  体系结构图:

4、Neo4j

4.1、Neo4j简介

Neo4j是一个高性能的,NOSQL图形数据库,它将结构化数据存储在网络上而不是表中。它是一个嵌入式的、基于磁盘的、具备完全的事务特性的Java持久化引擎,但是它将结构化数据存储在网络(从数学角度叫做图)上而不是表中。Neo4j也可以被看作是一个高性能的图引擎,该引擎具有成熟数据库的所有特性。程序员工作在一个面向对象的、灵活的网络结构下而不是严格、静态的表中——但是他们可以享受到具备完全的事务特性、企业级的数据库的所有好处。

Neo4j因其嵌入式、高性能、轻量级等优势,越来越受到关注。

Neo4j是一个嵌入式,基于磁盘的,支持完整事务的Java持久化引擎,它在图(网络)中而不是表中存储数据。Neo4j提供了大规模可扩展性,在一台机器上可以处理数十亿节点/关系/属性的图,可以扩展到多台机器并行运行。相对于关系数据库来说,图数据库善于处理大量复杂、互连接、低结构化的数据,这些数据变化迅速,需要频繁的查询——在关系数据库中,这些查询会导致大量的表连接,因此会产生性能上的问题。Neo4j重点解决了拥有大量连接的传统RDBMS在查询时出现的性能衰退问题。通过围绕图进行数据建模,Neo4j会以相同的速度遍历节点与边,其遍历速度与构成图的数据量没有任何关系。此外,Neo4j还提供了非常快的图算法、推荐系统和OLAP风格的分析,而这一切在目前的RDBMS系统中都是无法实现的。

由于使用了“面向网络的数据库”,人们对Neo充满了好奇。在该模型中,以“节点空间”来表达领域数据——相对于传统的模型表、行和列来说,节点空间是很多节点、关系和属性(键值对)构成的网络。关系是第一级对象,可以由属性来注解,而属性则表明了节点交互的上下文。网络模型完美的匹配了本质上就是继承关系的问题域,例如语义Web应用。Neo的创建者发现继承和结构化数据并不适合传统的关系数据库模型:

4.2、Neo4j使用场景

  • 图搜索算法
  • 寻路算法
  • 中心性算法
  • 社区检测算法
  • 图嵌入
  • 链接预测
  • 连接特征提取
  • 社交媒体和社交网络图。

  • 知识图。

  • 反欺诈多维关联分析。

  • 企业关系图谱。

  • 征信系统。

  • 客户分析。

  • 产品推荐。

  • 风险管理。

图嵌入,金融欺诈检测,NLP中的知识图谱,物流分析,推荐系统等

说到图算法,就需要提到Neo4j GDS,图分析和建模平台,2.0版本发支持60+图算法。传统做法:很多业务应用直接使用Neo4j;GDS。

第一阶段:知识图谱
在关联数据中搜索特定的关联模式。例如构建企业级的应用知识图谱,借助知识图谱回答特定的问题。
第二阶段:图算法
使用无监督的机器学习技术识别图中的关联、异常值和趋势。例如了解图中最重要的是什么、哪里有相似性、应该在哪步做调查。
第三阶段:图原生机器学习
使用嵌入来学习图中那些可能之前不知道的重要特征,训练图内监督机器学习模型来预测链接、标签和缺失数据。例如哪些客户会购买哪些商品、哪些交易存在欺诈行为。

4.3、Neo4j架构

架构上,单机版数据库,本身不支持HA,需要其它辅助。

5、Dgraph

5.1、Dgraph简介

由Google公司开发的一款开源、分布式图数据库系统,为了满足其自身海量的网络搜索查询的需求,其前身是GraphD。截止目前(2020-11-24)最新版本为v20.07。

  • 编写语言:Go编写
  • 不支持SQL
  • 查询语言:DQL
  • 支持分布式
  • 完全开源免费
  • 副本:强一致性
  • 自动数据均衡
  • 支持全文检索
  • 支持正则表达式
  • 支持地理位置检索
  • 支持可视化
  • 维护成本低
  • 写入性能高
  • 查询速度快

Dgraph有一些缺点:

  • 目前还不支持多重边
  • 一个集群只支持一个图
  • 与大数据生态兼容性不足。

Dgraph 从一开始就设计为在生产环境中运行,是带有图形后端的原生 GraphQL 数据库。它是开源的、可扩展的、分布式的、高可用的和闪电般的速度。

5.2、Dgraph使用场景

应用程序实现 GraphQL 后端的最简单方法。开箱即用地包含构建应用程序、整合数据和扩展运营所需的一切。

  • 数据库和后端开发的单一模式方法
    使用 Dgraph,只需创建您的架构、部署它,并拥有即时数据库和 API 访问权限。无需代码。几分钟内即可投入生产。

  • 查询你想要的方式
    从 GraphQL 中选择或使用 DQL 超越。即使以前没有任何图形数据库经验,也可以快速轻松地深入了解您的数据。

  • 统一您的数据
    轻松将数据导入或流式传输到 Dgraph,以利用统一数据图的强大功能。超越孤立数据的限制,在一个地方完成更多工作。

  • 简化您的业务逻辑
    使用 Dgraph Lambda,在 JavaScript 中快速创建可以在调用查询或突变时执行的自定义逻辑。

  • 无缝扩展
    即使在提供 TB 级数据时,也可以轻松进行水平扩展以保持高吞吐量和低延迟。Dgraph 是为 Google 规模设计的下一代图形系统,由前 Google 员工构建。

5.3、Dgraph架构

  • ratel:提供用户界面来执行数据查询,数据修改及元数据管理。
  • alpha:用于管理数据(谓词和索引),外部用户主要都是和 alpha 进行数据交互。
  • group:多个 alpha 组成一个 group,group 中的多个 alpha 通过 raft 协议保证数据一致性。
  • zero:用于管理集群,并在 group 之间按照指定频率去均衡数据。

6、NebulaGraph

6.1、NebulaGraph简介

NebulaGraph由杭州悦数科技有限公司研发的图数据库,作为一款开源的分布式图数据库,NebulaGraph 擅长处理千亿个顶点和万亿条边的超大规模数据集。

作为一款高性能高可靠的图数据库,NebulaGraph 提供了线性扩容的能力,支持快照方式实现数据恢复功能。在查询语言方面,开发团队完全自研开发查询语言——nGQL,兼容 OpenCypher,让 Neo4j 的用户可无缝衔接使用 NebulaGraph。

6.2、NebulaGraph使用场景

NebulaGraph 可用于各种基于图的业务场景。为节约转换各类数据到关系型数据库的时间,以及避免复杂查询,建议使用 NebulaGraph。 欺诈检测 金融机构必须仔细研究大量的交易信息,才能检测出潜在的金融欺诈行为,并了解某个欺诈行为和设备的内在关联。这种场景可以通过图来建模,然后借助 NebulaGraph,可以很容易地检测出诈骗团伙或其他复杂诈骗行为。

  • 开源:NebulaGraph 代码开源,采用 Apache 2.0 License,用户可以从 GitHub 下载源码自己编译,部署。欢迎提交 pr,成为 Contributor。

  • 可扩展性:存储计算相分离的架构,当存储空间或计算资源不足时,支持对两者独立进行扩容,避免了传统架构需要同时扩容导致的经济效率低问题。云计算场景下,能实现真正的弹性计算。提供线性扩展的能力。

  • 高可用:全对称分布式集群,无单点故障。并且支持多种类型快照方式实现数据恢复,保证在局部失败的情况下服务的高可用性。

  • HTAP: 支持 OLTP 实时查询的同时提供了 OLAP 的接口,真正在同一份数据上提供实时在线更新的前提下,也提供复杂分析和挖掘的能力。

  • 安全性:内置授权登录与 ACL 机制,提供用户安全的数据库访问方式,也可接入 LDAP 认证。

  • 类 SQL 查询语言 nGQL:类 SQL 的风格减少了程序员迁移的成本,同时具有表达能力强的优点。

6.3、NebulaGraph架构

NebulaGraph整体分为存储 ( Storage ) 和计算 ( Query Engine ) ,每个数据库都有其独有的存储、计算方式,Nebula Graph 的存储部分Storage 。

Storage 包含两个部分, 一是 meta 相关的存储, 我们称之为Meta Service,另一个是 data 相关的存储, 我们称之为StorageService。 这两个服务是两个独立的进程,数据也完全隔离,当然部署也是分别部署

Storage Service 共有三层,最底层是 Store Engine,它是一个单机版 local store engine,提供了对本地数据的get/put/scan/delete操作,相关的接口放在 KVStore / KVEngine.h 文件里面,用户完全可以根据自己的需求定制开发相关 local store plugin,目前 Nebula 提供了基于 RocksDB 实现的 Store Engine。

在 local store engine 之上,便是我们的 Consensus 层,实现了 Multi Group Raft,每一个 Partition 都对应了一组 Raft Group,这里的 Partition 便是我们的数据分片。目前 Nebula 的分片策略采用了静态 Hash的方式,具体按照什么方式进行 Hash,在下一个章节 schema 里会提及。用户在创建 SPACE 时需指定 Partition 数,Partition 数量一旦设置便不可更改,一般来讲,Partition 数目要能满足业务将来的扩容需求。

在 Consensus 层上面也就是 Storage Service 的最上层,便是我们的 Storage interfaces,这一层定义了一系列和图相关的 API。 这些 API 请求会在这一层被翻译成一组针对相应 Partition 的 kv 操作。正是这一层的存在,使得我们的存储服务变成了真正的图存储,否则,Storage Service 只是一个 kv 存储罢了。而 Nebula 没把 kv 作为一个服务单独提出,其最主要的原因便是图查询过程中会涉及到大量计算,这些计算往往需要使用图的 schema,而 kv 层是没有数据 schema 概念,这样设计会比较容易实现计算下推。

7、主流图数据库对比总结

JanusGraph(推荐)、Neo4j(老牌先入为主不一定最佳)、Dgraph(尚可)、NebulaGraph(推荐)四款图数据库比较。

主流和推荐使用图数据库对比
特性JanusGraphNeo4jDgraphNebulaGraph
首次发布2017年2007年2016年2019年
开发语言JavaJavaGoC++
开源
属性图模型完整的属性图模型完整的属性图模型类RDF存储完整的属性图模型
架构分布式单机分布式分布式
存储后端Hbase、Cassandra、
BerkeleyDB
自定义文件格式键值数据库BadgerDB键值数据库

RocksDB

高可用性支 持不支持支持支持
高可靠性支 持不支持支持支持
一致性协议Paxos等RAFTRAFT
跨数据中心复制支 持不支持支持不支持
事务ACID或BASE完全的ACID0mid修改版不支持
分区策略随机分区,支持显式指定分区策略不支持分区自动分区静态分区
大数据平台集成Spark、Hadoop、GiraphSpark不支持Spark、Flink
查询语言GremlinCypherGraphQLnGQL
全文检索ElasticSearch、Solr、Lucene内置内置ElasticSearch
多个图支持创建任意多图一个实例只能有一个图一个集群只能有一个图支持创建任意多图
属性图模式多种约束方法可选模式约束无模式强制模式约束
客户端协议HTTP、WebSocketsHTTP、BOLTHTTP、gRPC等HTTP
客户端语言Java、Python、C#、Go、Ruby
Java、Python、Go等Java、Go、Python、等Python、Java等