图数据库 | 24、如何进行正确性验证？

图数据库计算和查询结果的正确性，这个重要性当然是不言而喻的！

老夫之前也写文章讲过，今天再手书一篇，旨在向大家系统地介绍一下图数据库查询与计算到底如何进行正确性验证！！！

图数据库中的操作分为以下2类：

· 面向元数据的操作：即面向顶点、边或它们之上的属性字段的操作，具体可以分为增、删、改、查4类。

·  面向高维数据的操作：这也是本书关注的重点，例如面向全图或子图数据的查询结果返回多个顶点、边组合而成的高维数据结构，可能是多顶点的集合、点边构成的路径、子图（子网）甚至是全图遍历结果。

面向高维数据的查询有以下3类:

· K邻查询：即返回某顶点的全部K度（跳）邻居顶点集合。K邻查询可以有很多变种，包括按照某个特定方向、点边属性字段进行过滤。还有全图K邻查询，也被视作一种高计算复杂度的图算法。

· 路径查询：常见的有最短路径、模板路径、环路路径、组网查询、自动展开查询等。

· 图算法：图算法在本质上是面向元数据、K邻、路径等查询方式的组合。

无论以何种方式进行高维查询，图数据库中的操作无外乎遵循如下3种遍历模式: