11.4.4 几何良构性和有效性

对于几何值，MySQL 区分语法结构良好和几何有效的概念。

如果几何满足以下（非详尽）列表中的条件，则它在语法上是格式良好的：

• 线串至少有两个点

• 多边形至少有一个环

• 多边形环是闭合的（第一个点和最后一个点相同）

• 多边形环至少有 4 个点（最小多边形是第一个点和最后一个点相同的三角形）

• 集合不为空（除了几何集合)

  如果一个几何结构在句法上格式良好并且满足如下（非详尽）列表中的条件，那么它在几何上是有效的：

• 多边形不是自相交的

• 多边形内环在外环内

• 多面体没有重叠的面

  如果几何的语法格式不正确，则空间函数会失败。解析 WKT 或 WKB 值的空间导入函数会在尝试创建语法格式不正确的几何时引发错误。还检查语法格式是否尝试将几何存储到表中。

  允许插入、选择和更新几何上无效的几何，但它们必须在语法上格式正确。由于计算开销，MySQL 不明确检查几何有效性。空间计算可能会检测到某些无效几何的情况并引发错误，但它们也可能会返回未定义的结果而不会检测到无效性。需要几何有效几何的应用程序应使用ST_IsValid()功能。