空间比较的工作原理

您可通过两种方法来测试两个几何是否相等：ST_Equals 和 ST_OrderingEquals。这两种方法执行比较的方式不同，返回的结果也不同。

ST_Equals 点的指定顺序并不重要，且进行点比较时会考虑公差。如果被比较的几何在公差范围内占用相同的空间，则将被视为相等几何。例如，如果两个线串占用相同的空间，即使其中一个使用较多的点进行定义，则它们仍被视为相等。
ST_OrderingEquals 使用 ST_OrderingEquals 时，ST_OrderingEquals 下被视为相等的两个几何必须包含相同的对象层次，其中的点必须完全相同且按同一顺序排列。也就是说，这两个几何必须完全相同。

为了说明 ST_Equals 和 ST_OrderingEquals 在比较结果上的差异，我们将以下面的线为例。ST_Equals 会将这些线全部视为相等（假定线 C 在公差范围内）。而 ST_OrderingEquals 则会将这些线视为彼此不相等。

虽然线 A 和线 B 的两个端点相同，但它们的指定顺序不同。线 C 看起来与线 A 类似，但稍有倾斜。线 D 定义了三个点，但所占用的空间与线 A 和线 B 相同。

SQL Anywhere 执行几何比较的方式

数据库服务器使用 ST_OrderingEquals 执行诸如 GROUP BY 和 DISTINCT 之类的比较。

例如，处理以下查询时，如果两个形状表达式使 ST_OrderingEquals() = 1，则服务器认为两行相等：

SELECT DISTINCT Shape FROM SpatialShapes;

SQL 语句比较两个几何时可以使用 "等于" 运算符 (=) 或 "不等于" 运算符（<> 或 !=），包括使用带有子查询和关键字 ANY 或 ALL 的搜索条件。也可以在 IN 搜索条件中使用几何。例如，geom1 IN (geom-expr1, geom-expr2, geom-expr3)。对于所有这些搜索条件，都将使用 ST_OrderingEquals 语义判断是否相等。

不能使用其它比较运算符来确定一个几何是否小于或大于另一个几何（例如，不可以使用 geom1 < geom2）。也就是说，ORDER BY 子句中不能包含几何表达式。但是，可以测试成员是否属于某个集合。

使用DocCommentXchange讨论此页。