在 SQL Server 2005 中使用表值函数来实现空间数据库

gyorgy fekete 和 alex szalay
约翰霍普金丝大学

jim gray
microsoft（联系作者）

适用于
microsoft sql server 2005

摘要：本文说明了如何使用 c# 和表值函数将空间搜索函数（“邻近点的点”和“多边形内的点”）添加到 microsoft sql server 2005。使用此库可以在不编写任何特殊代码的情况下向应用程序中添加空间搜索。此库实现了来自约翰霍普金丝大学的公共域 c# 分层三角网格 (htm) 算法。该 c# 库使用一组标量值函数和表值函数连接到 sql server 2005。这些函数起空间索引的作用。

您可以下载本文档的 microsoft word 版本。

本页内容
 简介
 表值函数：主要概念
 使用表值函数添加空间索引
 数据集
 典型查询
 结束语
 附录 a：参考资料
 附录 b：基本 htm 例程

简介
空间数据搜索常用于商业和科学应用程序。结合在针对天文领域构建 skyserver (http://skyserver.sdss.org/)方面的努力，我们开发了一种空间搜索系统。skyserver 是一个几千 gb 大小的数据库，其中收录了大约 3 亿个天体对象。天文学家需要对该数据库进行的许多查询都会涉及到空间搜索。典型的查询包括：“邻近此点的对象有哪些”、“此区域内包含哪些对象”以及“哪些区域与此区域有重叠”？

在本文中，我们向天文学家的赤经/赤纬 (ra/dec) 天球（天空）网格添加了纬度/经度 (lat/lon) 地球网格。这两种网格大致相同，但并非精确对应，传统顺序 lat-lon 与 dec-ra 相对应。这一顺序上的颠倒迫使我们必须明确坐标系。我们将格林尼治子午线-赤道大地坐标系称为 latlon 坐标系。该库支持三种坐标系：

• 格林尼治纬度-经度，称为 latlon。
 
• 天文赤经-赤纬，称为 j2000。
 
• 笛卡尔 (x, y, z)，称为笛卡尔。 
 

天文学家使用弧度分作为标准的距离度量。由于一海里为一弧度分，因此距离转换非常简单。其他许多概念也极为相似。为了说明这些问题，本文将演示如何使用此空间库针对两个 usgs 数据集构建空间索引，这两个数据集是：美国城市和美国流量计。本文使用这些索引和一些空间函数提供了若干示例，来说明如何搜索邻近某一点的城市、如何查找邻近某一城市的流量计以及如何查找某个州（多边形区域）内的流量计或城市。

我们认为此方法具有通用性。可以向几乎所有应用程序中添加空间数据核心架构和空间数据函数以便进行空间查询。这些概念也适用于其他的多维索引方案。例如，这些技术可用于搜索颜色空间或其他任何低维度度量空间。

返回页首
表值函数：主要概念
关系代数的主要概念是，每个关系运算符均使用一个或多个关系，并生成一个输出关系。sql 是对这一概念的语法修饰，使您可以定义关系（数据定义语言）和用选择-插入-更新-删除语法来操作关系。

定义自己的标量函数使您可以对关系数据库进行扩展：您可以发送邮件，可以执行命令脚本，还可以计算非标准标量和聚合值，例如 tax() 或 median()。

但是，如果您可以创建表，则可以成为关系引擎的一部分：既是关系表的生成者，也是其使用者。这就是 oledb 的概念，此概念允许任何数据源生成数据流。这也是 sql server 2000 表值函数蕴含的概念。

在 transact-sql 中实现表值函数很简单：

create function t_sql_tvfpoints()
returns @points table (x float, y float)
as begin
insert @points values(1,2);
insert @points values(3,4);
return;
end

如果可以完全在 transact-sql 中执行函数，这样做就可以了。但是，在 sql server 2000 中，要在 transact-sql 外部实现 oledb 数据源或表值函数确实非常困难。

而 sql server 2005 集成了公共语言运行库，可以容易地创建表值函数。您可以创建列表、数组或任意 ienumerable 对象（可以对其进行 foreach 操作的任意对象），然后将其转换为表。

[sqlfunction(tabledefinition   = "x float, y float" ,
fillrowmethodname = "fillpair")]
public static ienumerable cspoints( )
   {
int[,] points = { { 1, 2 }, { 3, 4 } };
return (ienumerable) points;
   }

在 visual studio 中编译这段代码，然后单击 deploy（部署）。表值函数将被安装到数据库中。

返回页首
使用表值函数添加空间索引
对于索引，人们存在许多困惑。事实上，索引非常简单：它们只是带有一些特殊属性的表：

• sql server 仅有一种关联（按值）索引：b 树。b 树可以具有多字段键，但最常选择的是第一个字段。
 
• 从概念上说，b 树索引是由 b 树键字段、基表键字段以及您要添加到索引的任何包含字段所组成的表。
 
• b 树索引将根据索引键（例如邮政编码或客户 id）来排序，以便按该键进行查找或顺序扫描会很快。
 
• 索引通常比基表小，只包含最重要的属性，以便与检查整个表相比，在索引中进行查找所涉及的字节数小得多。通常情况下，索引非常小，以致能完全装在主内存中，从而省去更多的磁盘存取。
 
• 当您执行索引查找时，可能仅仅是搜索索引（基表的垂直部分），也可能是先搜索索引，再利用基表主键将符合要求的索引逐行加入基表中（书签查找）。 
 

中心思想是，空间索引可为您提供一小部分数据。索引会告诉您查找的位置，并通常附带一些有用的搜索信息（专家将其称为包含列或覆盖列）。索引的选择性表明了初始缩减的程度（图 1 所示的粗略子集）。找到相应的子集后，将仔细检查该子集的每个成员并舍弃假正值。图 1 中的菱形框指明了该过程。好的索引只含有少量的假正值。在整篇文章中，我们都将使用图 1 中的说法（粗略子集和仔细检查）。

图 1

b 树和表值函数可以如下组合，以使您可以构建自己的空间索引来生成粗略子集：

您无法始终让每个键与其所有相关项邻近，因为键是在一个维度中排序的，而相关项是在二维或更高维数的空间中与其邻近。但是可以尽量这样做。假正值与正确答案的比率衡量了您所采取的方式的好坏。

标准方法是，找到某一条空间填充曲线，并使键空间沿该曲线穿过。例如，使用标准墨卡托地图，可以将西北中的每个人分配给西北键范围，将东南中的每个人分配给东南键范围。图 2 显示了第二种顺序空间填充曲线，它横穿所有这些象限，按顺序分配键。西北-西南象限中的每个人都具有键前缀 nwsw。如果您的区域与图 2 中所示的圆圈类似，就可以知道您的键范围

   key between 'nwsw' and 'nwse'

图 2

此搜索空间占整个表的八分之一，并且含有大约 75% 的假正值（由圆圈外但位于两个方框内的区域表示）。改进不大，但传达了一种概念。更好的索引要使用更精细的单元格分区。如果单元格足够精细，则聚合区域中的假正值就会非常少。要详细查看空间填充曲线和空间分区树，您可以参阅 hanan samet [samet] 的书籍。

现在，我们要定义一种空间填充曲线：分层三角网格 (htm)，它特别适用于球面。地球是圆的，天球也是圆的，因此，这种球面系统对于地理学家和天文学家来说非常方便。我们可以对任何度量空间做一些类似的事情。空间填充曲线提供了一些键来作为空间索引的基础。那么，如果某人具有所需的区域时，我们的表值函数将为其提供一组适当的键范围供查找（图 1 中的粗略筛选）。这些键范围将覆盖带有球面三角形的区域（称为 trixel），这与图 2 中覆盖圆圈的两个方框非常相似。搜索函数只需查看这些 trixel 的键范围内的所有对象，以确定它们是否符合要求（图 1 中的仔细检查）。

我们可以用一个具体的例子进行说明，假设有一个对象表

create table object (objid bigint primary key,lat   float, -- latitudelon   float, -- longitudehtmid bigint) -- the htm key

和一个距离函数 dbo.fdistancelatlon(lat1, lon1, lat2, lon2)，该函数可计算出两点之间的海里（弧度分）数。进一步假设以下表值函数给出了位于某个 lat-lon 点的定长半径范围内的 htmid 点的键范围列表。

define function fhtmcovercirclelatlon(@lat float, @lon float, @radius float)returns @trixeltable table(htmidstart bigint, htmidend bigint)

然后，以下查询会查找旧金山 (lat,lon) = (37.8,-122.4) 周围 40 海里范围内的点。

select o.objid, dbo.fdistancelatlon(o.lat,o.lon, 37.8, -122.4)from fhtmcovercirclelatlon(37.8, -122.4, 40) as trixeltable join object o on o.htmid between trixeltable.htmidstart        -- coarse testand trixeltable.htmidend      where dbo.fdistancelatlon(lat,lon,37.8, -122.4) < 40   -- careful test

现在，我们必须定义 htm 键生成函数、距离函数和 htm 覆盖函数。下一步我们将以两组美国地质空间数据集为例执行这些操作。如果您不相信其中包含的对象达数十亿，请访问 http://skyserver.sdss.org/ 并浏览一下该网站。该网站使用相同的代码来对几千 gb 的天文数据库进行空间查找。

本文主要讲述如何使用 sql 表值函数和像 htm 这样的空间填充曲线来构建空间索引。同样地，我们将 htm 代码本身当作一种在别处 [szalay] 存档的黑色方框，我们只关注如何使其在 sql 应用程序内适合我们的需要。

返回页首

数据集

美国地质勘探局 (usgs) 收集并发布了美国的相关数据。图 3 显示了由 usgs 维护的 18000 台用于测量河流水流量和级别的流量计。usgs 还发布了 23000 个地点的地名及其人口的列表。

图 3

usgs 居民点（23000 个城市）

usgs 在 1993 年发布了地点名称及其某些属性的列表。usgs 网站上有一些更新的列表，但由于它们是按州来分段的，因此很难获得一个全国范围的列表。旧的列表足以能够演示空间索引。数据格式如下：

create table place(placename   varchar(100) not null, -- city namestate       char(2)      not null, -- 2 char state codepopulation  int          not null, -- number of residents (1990)households  int          not null, -- number of homes (1990)landarea    int          not null, -- area in sqare kmwaterarea   int          not null, -- water area within land arealat         float        not null, -- latitude in decimal degreeslon         float        not null, -- longitude decimal degreeshtmid       bigint       not null primary key --spatial index key)

为了加快名称查找，我们添加了一个名称索引，但数据是按空间键聚集在一起的。邻近的对象共同位于聚集 b 树中，并因此位于相同或相邻的磁盘页上。

create index place_name on place(placename)

可以从 usgs 网站下载除 htmid 数据以外的其他所有数据。可以用 sql server 2005 数据导入向导来导入数据（我们已在示例数据库中进行了此操作）。htmid 字段是根据 latlon 按以下方法计算出的：

update place set htmid = dbo.fhtmlatlon(lat, lon)

usgs 流量计（17000 台仪器）

usgs 自 1854 起一直在维护河流流量记录。到 2000 年 1 月 1 日，他们已累积了超过 43 万年的测量数据。大约有六千个活动的测量站处于活动状态，而有大约四千个处于联机状态。http://waterdata.usgs.gov/nwis/rt 中对这些流量计进行了详细介绍。有个 noaa 站点以非常便利的方式显示了来自几百个最普遍的测量站的数据：http://weather.gov/rivers_tab.php。

我们的数据库只包含美国大陆的测量站（见图 3）。关岛、阿拉斯加、夏威夷、波多黎各和维京群岛也有测量站，但不包含在此数据库内。流量计测量站表为：

create table station (stationname   varchar(100) not null,     -- usgs station namestate         char(2)      not null,     -- state locationlat           float        not null,     -- latitude in decimallon           float        not null,     -- longitude in decimaldrainagearea  float        not null,     -- drainage area (km2)firstyear     int          not null,     -- first year operation yearsrecorded int          not null,     -- record years (at y2k)isactive      bit          not null,     -- was it active at y2k?isrealtime    bit          not null,     -- on internet at y2k?stationnumber int          not null,     -- usgs station numberhtmid         bigint       not null,     -- htm spatial key-- (based on lat/lon)primary key(htmid, stationnumber) )  

如上所述，htmid 字段是根据 latlon 按以下方法计算出的：

update station set htmid = dbo.fhtmlatlon(lat, lon)

由于一个位置有多达 18 个测量站，因此主键必须包括测量站编号以便区分它们。但是，在 b 树中，htm 键将所有邻近的测量站聚集在一起。为了加快查找，我们添加了测量站编号和名称索引：

create index station_name   on station(stationname)create index station_number on station(stationnumber)

空间索引表

现在，我们就可以创建自己的空间索引了。我们本可以将字段添加到基表，但要使存储过程对多个不同的表均有效，我们发现，只需将所有对象加入到一个空间索引中即可。您可以选择 (type,htmid) 作为键来隔离不同类型的对象；我们选择了 (htmid, key) 作为键，以便将所有类型（城市和流量计）的邻近对象聚集在一起。该空间索引为：

create table spatialindex (htmid   bigint   not null , -- htm spatial key (based on lat/lon)lat     float    not null , -- latitude in decimallon     float    not null , -- longitude in decimalx       float    not null , -- cartesian coordinates,y       float    not null , -- derived from lat-lonz       float    not null , --,type    char(1)  not null , -- place (p) or gauge (g)objid   bigint   not null , -- object id in tableprimary key (htmid, objid) )

此主题后面将对笛卡尔坐标进行说明。至于现在，我们只需要知道，fhtmcenterpoint(htmid) 函数将返回该 htm 三角形中心点的笛卡尔 (x,y,z) 单位向量。这就是该 htm 的极限点，因为此中心被细分为无穷个小的 trixel。

spatialindex 表将根据 place 和 station 表的数据来填充，如下所示：

insert spatialindexselect   p.htmid, lat, lon, xyz.x, xyz.y, xyz.z, 'p' as type, p. htmid as objidfrom   place p cross apply fhtmlatlontoxyz(p.lat, p.lon)xyzinsert spatialindexselect s.htmid, lat, lon, xyz.x, xyz.y, xyz.z, 's' as type, s.stationnumber as objidfrom   station s cross apply fhtmlatlontoxyz(s.lat, s.lon) xyz

为了清理数据库，应执行以下命令：

dbcc indexdefrag    (spatial  , station, 1)dbcc indexdefrag    (spatial  , station, station_name)dbcc indexdefrag    (spatial  , station, station_number)dbcc indexdefrag    (spatial  , place,   1)dbcc indexdefrag    (spatial  , place,   place_name)dbcc indexdefrag    (spatial  , spatialindex, 1)  dbcc shrinkdatabase (spatial  , 1  ) - 1 percent spare space

题外话：笛卡尔坐标

您可以选择跳过此部分。此部分对于使用该库并不是必需的。htm 代码必须依靠一种技巧来避开球面几何问题：它从球面的二维表面移到了三维空间。这就使得“在多边形内”和“在点附近”查询的检查进行得非常快。

球面上的每个 lat/lon 点都可以表示为三维空间中的一个单位向量 v = (x,y,z)。北极和南极（90° 和 -90°）的单位向量分别为 v = (0,0,1) 和 v = (0,0,-1)。z 代表旋转轴，xz 平面代表本初（格林尼治）子午线，其经度为 0° 或 180°。正式的定义为：

x = cos(lat)cos(lon)y =cos(lat)sin(lon)z = sin(lat)

这些笛卡尔坐标的使用方法如下：给定单位球面上的两点 p1=(x1,y1,z1) 和 p2 = (x2,y2,z2)，则它们的点乘积 p1&p2 = x1*x2+y1*y2+z1*z2 就是这两点所代表的单位向量之间的角度的余弦值。它是一个距离度量。图 4 显示了笛卡尔坐标如何使得对“多边形内的点”和“邻近点的点”的检查快速进行。每个 lat/lon 点均具有一个对应的 (x,y,z) 单位向量。

图 4

如果我们要查找 p1 点周围 45 海里（弧度分）范围内的点，则它与 p1 点最多成 45/60 度。这些点与 p1 的点乘积将小于 d=acos(radians(45/60)。该“邻近”检查即变为 { p2 | p2&p1 < d}，它将很快进行。在图 5 中，每个大圆圈或小圆圈都是一个平面与该圆圈的交集，如果某一点与平面法向量的点乘积小于 cos(?¨)（其中 2?¨ 是该圆圈的弧度角直径），则该点就在圆圈内部。

图 5

笛卡尔坐标还可以使得对“多边形内的点”的检查快速进行。所有的多边形都具有大圆边或小圆边。这些边沿着与球面交叉的某个平面分布。因此，可以通过与该平面垂直的单位向量 v 及其位移来定义这些边。例如，赤道就是向量 v = (0,0,1)，且位移为零。纬度 60° 由向量 v = (0,0,1) 及位移 0.5 来定义，而围绕巴尔的摩市的 60° 纬度圈由向量 v = (0.179195, -0.752798, 0.633392) 及 0.5 个位移来定义。对于地点 p2，如果 p2&v < 0.5，则该地点就位于巴尔的摩市 60° 纬度圈内。同样，可以通过计算出三个这种点乘积来确定某个点位于 htm 三角形内部还是外部。这是 htm 代码如此有效和快捷的主要原因之一。

我们实现了若干辅助过程来进行从 latlon 到笛卡尔坐标的转换。

本文稍后将用到这些函数，它们存档在 api spec and intellisense [fekete] 中。

在此，该库的默认设置为 21 级深度的 htm 键（第一级将球面分成八个表面区域，随后每一级将球面三角形分成四个子三角形）。从表 1 中可看出，21 级深度的 trixel 相当小。最多可以将代码修改为 31 级深度，这是因为不能超出 64 位表示法所占用的位数。

在表 1 中，每个 htm 级别都会细分球面。对于每个级别，此表均以度数、弧度分、弧度秒和米四种单位的平方形式表示了面积。trixel 列显示了一些特征大小：默认的 21 级深度的 trixel 大约为 0.3 平方弧度秒。usgs 数据在每 12 级深度的 trixel 具有大约半个对象。

返回页首

典型查询

现在，您应当可以执行一些查询了。

查询 1：查找邻近点的点：查找邻近某一地点的城镇

最常见的查询是查找邻近某个特定地点或点的所有地点。考虑以下查询，“查找马里兰州巴尔的摩市周围 100 海里内的所有城镇”。通过下面的方法来得到覆盖巴尔的摩市周围 100 海里（100 弧度分）范围的 htm 三角形

select * -- find a htm cover 100 nm around baltimorefrom fhtmcovercirclelatlon(39.3, -76.6, 100)  

它将返回表 2 中所示的 trixel 表。即，fhtmcovercirclelatlon() 函数将返回“覆盖”该圆圈（在本例中，是单个 trixel）的一组 htm 三角形。该圆圈内所有对象的 htm 键也位于这些三角形中之一内。现在，我们需要检查所有这些三角形并舍弃假正值（图 1 中的仔细检查）。我们将按照与巴尔的摩市的距离对答案集进行排序，因此，如果我们需要找出最近的地点，只需选择 top 1 where distance > 0 即可（我们要从中排除巴尔的摩市本身）。

declare @lat float, @lon floatselect @lat = lat, @lon = lon from place where place.placename = 'baltimore' and state = 'md' select objid, dbo.fdistancelatlon(@lat,@lon, lat, lon) as distancefrom spatialindex join fhtmcovercirclelatlon(@lat, @lon, 100)  on htmid between htmidstart and htmidend           -- coarse testand type = 'p'and dbo.fdistancelatlon(@lat,@lon, lat, lon) < 100 -- careful testorder by distance asc

表 2. 巴尔的摩市 htm 覆盖纬度圈

此覆盖联接将返回 2928 行（粗略检查）；其中 1122 行在 100 航空英里以内（仔细检查）。它给出了 61% 的假正值：全部操作在 9 毫秒内完成。

由于这些是常见的任务，因此具有针对它们的标准函数：

fhtmnearbylatlon(type, lat, lon, radius)fhtmnearestlatlon(type, lat, lon)

这样，上述查询就变为

select objid, distance from fhtmnearestlatlon('p', 39.3, -76.61)   

查询 2：查找某个方框内的地点

在显示正方形的地图或窗口时，应用程序通常需要查找某个正方形视区内的所有对象。科罗拉多州几乎完全是正方形的，它的西北角点为 (41°n-109°3'w)，西南角点为 (37°n-102° 3'e)。该州的中心点为 (39°n, -105°33'e)，因此可以用以该点为中心的圆圈覆盖该正方形。

declare @radius floatset @radius = dbo.fdistancelatlon(41,-109.55,37,-102.05)/2select * from station where stationnumber in (select objid from fhtmcovercirclelatlon(39, -105.55, @radius) join spatialindex on htmid between htmidstart and htmidendand lat between 37 and 41and lon between -109.05 and -102.048and type = 's')option (force order)

本例在大约 46 毫秒内返回了 1030 个流量计。科罗拉多州的其他五个流量计正好在其边界上，散布于距离南纬 37°纬度圈不超过一海里的范围内。如果将南纬从 37° 调整到 36.98°，则其他这五个测量站就会出现。（gis 系统和天文应用程序通常需要某一区域周围具有缓冲区。此 htm 代码包含对缓冲区的支持，在实际的应用程序经常会用到缓冲区。请查看参考资料 [szalay] 以了解具体操作方式。）此覆盖圆圈返回了 36 个三角形。与 spatialindex 表的联接返回了 1975 个流量计。其中包含 47% 的假正值。下一节将演示如何通过使用 htm 区域指定多边形覆盖而非圆圈覆盖对此进行改进。

force order 子句比较麻烦：如果缺少该子句，查询的运行时间会长十倍，因为优化器会将空间索引作为外部表进行嵌套循环联接。如果这些表更大（包含数百万行），优化程序有可能会采取其他计划，但我们不能指望它。优化程序不可能无需提示就能针对上一部分中的所有查询选择正确的计划。

查询 3：查找某个多边形内的地点

htm 代码允许我们将此区域指定为圆圈、矩形、凸球面或这些区域的组合。特别地，htm 库允许使用下面的线性语法来指定区域：

circlespec  := 'circle latlon '      lat lon radius  |  'circle j2000 '       ra  dec radius|  'circle [cartesian ]' x y z   radius  rectspec    := 'rect latlon '        { lat lon }2|  'rect j2000 '         { ra  dec }2|  'rect [cartesian ]'   { x y z   }2hullspec    := 'chull latlon '       { lon lat }3+|  'chull j2000 '        { ra dec  }3+|  'chull [cartesian ]'  { x y z   }3+convexspec  := 'convex ' [ 'cartesian '] { x y z d }*areaspec    := rectspec | circlespec | hullspec | convexspec regionspec  := 'region ' {areaspec}* | areaspec 

下面给出了区域指定示例：

'circle latlon 39.3 -76.61 100''circle cartesian 0.1792 -0.7528 0.6334 100'

'rect latlon 37 -109.55  41 -102.05'

'chull latlon 37 -109.55 41 -109.55 41 -102.051 37 -102.05'

'convex   -0.17886 -0.63204 -0.75401 0.00000          -0.97797  0.20865 -0.00015 0.00000           0.16409  0.57987  0.79801 0.00000           0.94235 -0.33463  0.00000 0.00000'

'region convex 0.7 0.7 0.0 -0.5 circle latlon 18.2 -22.4 1.75'

可以这些区域描述中的任意一个应用于 fhtmcoverregion() 例程，以返回一个 trixel 表，用来描述覆盖该区域的一组 trixel（三角形区域）。用于此科罗拉多州查询的较简单的代码为：

select s.* from (select objid from fhtmcoverregion('rect latlon 37 -109.55  41 -102.05') loop join spatialindexon htmid between htmidstart and htmidendand lat between 37 and 41and lon between -109.05 and -102.048and type = 's') as g join station s on g.objid = s.stationnumberoption (force order)

有必要使用这种不寻常的查询格式来准确告诉优化器联接的执行顺序（以使“强制顺序”选项正确运行）。很难以这种方式修改优化器，直到表值函数具有统计信息为止，估计它们会非常耗费资源。您必须强制使它们进入内部循环联接。

此查询将返回 1030 个流量计，而有 1365 个来自覆盖范围的候选项，因此包含 25% 的假正值。请注意，矩形覆盖优于圆形覆盖，因为后者包含 61% 的假正值。对于非矩形形状的州，可以使用多边形语法，但本文仅讲述表值函数，而不讲述 htm 算法。您可以在项目中以及项目的相关文档中查看 htm 代码。

可以转换为凸球面进行类似的查询。

select s.* from (select objid from fhtmcoverregion('chull latlon 37 -109.55 41 -109.55 41 -102.05 37 -102.05') loop join spatialindexon htmid between htmidstart and htmidendand lat between 37 and 41and lon between -109.05 and -102.048and type = 's') as g join station s on g.objid = s.stationnumberoption (force order) 

此查询将返回 1030 个流量计，而有 1193 个来自覆盖范围的候选项，因此包含 14% 的假正值。在本例中，凸球面覆盖比同等的矩形覆盖更好。

查询 4：高级主题：复杂区域

前面的示例给出了用于区域的语法，并对“邻近点的点”和“矩形内的点”搜索进行了论述。区域可能会十分复杂。它们是多个凸形区域的布尔组合。我们无法在此详细解释区域的概念，但伴随项目中的 htm 库包含对区域进行布尔组合、简化区域、计算区域顶点和计算区域面积的逻辑，还包含许多其他特性。[fekete]、[gray] 和 [szalay] 中介绍了这些概念。

为了初步理解这些概念，我们以犹他州为例。它的边界可用两个矩形来近似地定义：

declare @utahregion varchar(max)set @utahregion = 'region '  + 'rect latlon 37 -114.0475  41 -109.0475 ' -- main part+ 'rect latlon 41 -114.0475  42 -111.01  '  -- ogden and salt lake.

现在，我们可以用以下查询来查找犹他州中的所有流量计：

select s.* from (select objid from fhtmcoverregion(@utahregion) loop join spatialindexon htmid between htmidstart and htmidendand (((     lat between 37        and      41)  -- careful testand (lon between -114.0475 and -109.04)) -- are we inside or ((   lat between 41        and      42)  -- one of the twoand (lon between -114.0475 and -111.01)) -- boxes?          )and type = 's' ) as g   join station s on g.objid = s.stationnumber  option (force order) 

覆盖返回了 38 个 trixel。联接返回了 775 个测量站。仔细检查找到了犹他州中的 670 个测量站，另外有怀俄名州的两个测量站正好位于接壤处（14% 的假正值）。

大多数州需要使用复杂得多的区域。例如，近似地将加利福尼亚州的边界连起来的区域为：

declare @californiaregion varchar(max)set @californiaregion = 'region '+ 'rect latlon 39    -125 '    -- nortwest corner+   '42    -120 '    -- center of lake tahoe + 'chull latlon 39    -124 '    -- pt. arena+ '39    -120 '    -- lake tahoe.+ '35    -114.6 '  -- start colorado river+ '34.3  -114.1 '  -- lake havasu+ '32.74 -114.5 '  -- yuma+ '32.53 -117.1 '  -- san diego+ '33.2  -119.5 '  -- san nicholas is+ '34    -120.5 '  -- san miguel is.+ '34.57 -120.65 ' -- pt. arguelo+ '36.3  -121.9 '  -- pt. sur + '36.6  -122.0 '  -- monterey+ '38    -123.03 ' -- pt. rayesselect stationnumberfrom fhtmcoverregion(@californiaregion) loop join spatialindexon htmid between htmidstart and htmidend/* and <careful test> */and type = 's'    join station s on objid = s.stationnumber option (force order)

覆盖返回了 108 个 trixel，一共包含 2132 个测量站。其中，1928 个位于加利福尼亚州内，因此假正值比率大约为 5%。但是仔细检查并非小事。

针对地点而非测量站进行的相同查询（包括仔细检查）类似于以下代码：

select * from place where htmid in (select distinct si.objidfrom fhtmcoverregion(@californiaregion)  loop join spatialindex sion si.htmid between htmidstart and htmidend and si.type = 'p'join place p on si.objid = p.htmidcross join fhtmregiontotable(@californiaregion) polygroup by si.objid, poly.convexid having min(si.x*poly.x + si.y*poly.y + si.z*poly.z - poly.d) >= 0      )    option (force order) 

此查询使用加利福尼亚州的凸形半空间表示法和 [gray] 中介绍的技术来快速检查某个点是否位于加利福尼亚州凸球面内。它返回了 885 个地点，其中 7 个位于与加利福尼亚州毗邻的亚利桑那州（多边形近似于加利福尼亚州的边界）。它在 1ghz 的处理器上运行了 0.249 秒。如果不用 option(force order) 子句，其运行速度将变慢，需要花费 247 秒。

由于此要求十分常见，而且代码极具技巧性，因此我们添加了 fhtmregionobjects(region,type) 过程，用来从空间索引中返回对象 id。由于此过程封装了前面所示的两个技巧性代码，因此这两个针对加利福尼亚州的查询变为了：

select *                 -- get all the california river stationsfrom stationwhere stationnumber in   -- that are inside the region(select objid from fhtmregionobjects(@californiaregion,'s'))  select *                 -- get all the california citiesfrom placewhere htmid in           -- that are inside the region(select objid from fhtmregionobjects(@californiaregion,'p'))

针对科罗拉多州和犹他州的查询也可以使用此例程来简化。

返回页首

结束语

在此所述的 htm 空间索引库本身是有趣而又有用的。基于球面为“多边形内的点”查询索引数据是一种便利的方法。但是，该库还作为一个示例很好地说明了如何通过添加以诸如 c#、c++、visual basic 或 java 之类的语言进行实际计算的类库来扩充 sql server 和其他数据库系统。实现功能强大的表值函数和标量函数并将这些查询及其永久数据集成到数据库中的能力是一种非常强大的扩充机制，它将在保证对象关系数据库的基础上传递。这仅仅是个开头。在接下来的十年中，编程语言和数据库查询语言有可能获得更好的数据集成方式。这对于应用程序开发人员来说将是一件好事。

详细信息请参见：

http://msdn.microsoft.com/sql/

项目编辑：susanne bonney

返回页首

附录 a：参考资料

返回页首

附录 b：基本 htm 例程

本节将介绍 htm 例程。附带文档 [szalay] 中含有用于每个例程的手册页，并且这些例程本身带有批注以支持 intellisense。

在下面，lat 和 lon 以十进制度数表示（南部和西部纬度为负），距离以海里（弧度分）表示。

htm 库版本：fhtmversion() 将返回版本字符串

例程将返回一个 nvarchar(max) 字符串来给出 htm 库版本。

使用示例：

   print dbo.fhtmversion()

返回的内容类似以下结果：

   'c# htm.dll v.1.0.0 1 august 2005'

生成 htm 键：fhtmlatlon (lat, lon) 将返回 htmid

例程将返回该 latlon 点的 21 级深度的 htm id。

使用示例：

   update place set htmid = dbo.fhtmlatlon(lat,lon)

还有 fhtmxyz() 和 fhtmeq() 函数可供天文学家使用。

latlon 到 xyz：fhtmlatlontoxyz (lat,lon) 将返回点 (x, y, z)

例程将返回该 lat lon 点的笛卡尔坐标。

使用示例（这是标识函数）：

select latlon.lat, latlon.lon-360    from fhtmlatlontoxyz(37.4,-122.4) as xyz cross apply fhtmxyztolatlon(xyz.x, xyz.y, xyz.z) as latlon

还有 fhtmeqtoxyz() 函数可供天文学家使用。

xyz 到 latlon：fhtmxyztolatlon (x,y,z) 将返回点 (lat, lon)

例程将返回该 lat lon 点的笛卡尔坐标。

使用示例（这是标识函数）：

select latlon.lat, latlon.lon-360    from fhtmlatlontoxyz(37.4,-122.4) as xyz cross apply fhtmxyztolatlon(xyz.x, xyz.y, xyz.z) as latlon

还有 fhtmxyztoeq() 函数可供天文学家使用。

查看 htm 键：fhtmtostring (htmid) 将返回 htm 字符串

如果给定了 htmid，则例程将返回一个 nvarchar(32)，其形式为 [n|s]t1t2t3...tn，其中每个三角数字 ti 均为 {0,1,2,3} 格式，用以说明三角网格中该深度的 htm trixel。

使用示例：

print 'sql server development is at: ' + dbo.fhtmtostring(dbo.fhtmlatlon(47.646,-122.123))

返回结果：'n132130231002222332302'。

还有 fhtmxyz() 和 fhtmeq() 函数可供天文学家使用。

htm trixel 中心点：fhtmtocenterpoint(htmid) 将返回点 (x, y, z)

返回由 htmid 指定的 htm trixel 的笛卡尔中心点。

使用示例：

select * from fhtmtocenterpoint(dbo.fhtmlatlon(47.646,-122.123)) 

htm trixel 角点：fhtmtocornerpoints(htmid) 将返回点 (x, y, z)

返回由 htmid 指定的 htm trixel 的三个笛卡尔角点。

使用示例：

select * from fhtmtocornerpoints(dbo.fhtmlatlon(47.646,-122.123)) 

计算距离：fdistancelatlon(lat1, lon1, lat2, lon2) 将返回距离

以海里（弧度分）为单位计算两点之间的距离。

使用示例：

declare @lat float, @lon floatselect @lat = lat, @lon = lon from  place where placename = 'baltimore' and state = 'md' select placename, dbo.fdistancelatlon(@lat,@lon, lat,  lon) as distancefrom place

还有 fdistancexyz() 和 fdistanceeq() 函数可供天文学家使用。

下面的例程可返回一个用作空间索引的表。所返回空间索引表的数据定义为：

spatialindextable table (htmid   bigint   not null , -- htm spatial key (based on lat/lon)lat     float    not null , -- latitude in decimallon     float    not null , -- longitude in decimalx       float    not null , -- cartesian coordinates,y       float    not null , -- derived from lat-lonz       float    not null , --,type    char(1)  not null , -- place (p) or gauge (g)objid   bigint   not null , -- object id in tabledistance float   not null , -- distance in arc minutes to objectprimary key (htmid, objid) )

查找邻近的对象：fhtmnearbylatlon(type, lat, lon, radius) 将返回空间索引表

返回半径范围内特定类型的对象列表及它们到给定点的距离。该列表将按对象的位置由近到远排列。

使用示例：

   select distance, place.*from fhtmnearbylatlon('p', 39.3, -76.6, 10) i join place on i.objid = place.htmidorder by distance

还有 fhtmgetnearbyeq() 和 fhtmgetnearbyxyz() 函数可供天文学家使用。

查找最近的对象：fhtmnearestlatlon(type, lat, lon) 将返回空间索引表

返回包含距离该点最近的特定类型对象的列表。

使用示例：

   select distance, place.*from fhtmnearestlatlon('p', 39.3, -76.6) i join place on i.objid = place.htmid

还有 fhtmgetnearbyeq() 和 fhtmgetnearbyxyz() 函数可供天文学家使用。

下面的例程将返回一个表，用以说明覆盖所需区域的一组 trixel（him 三角形）的 htmidstart 和 htmidend。表的定义为：

trixeltable table (htmidstart   bigint not null , -- min htmid in trixelhtmidend     bigint not null   -- max htmid in trixel         )

圆圈区域 htm 覆盖：fhtmcovercirclelatlon(lat, lon, radius) 将返回 trixel 表

返回覆盖指定圆圈的 trixel 表。

使用示例：

declare @answer nvarchar(max)declare @lat float, @lon floatselect @lat = lat, @lon = lon from place where place.placename = 'baltimore' and state = 'md' set @answer = ' using fhtmcovercirclelatlon() it finds:      'select @answer = @answer  + cast(p.placename as varchar(max)) + ', ' + str( dbo.fdistancelatlon(@lat,@lon, i.lat, i.lon) ,4,2) + '  arc minutes distant.' from spatialindex i join fhtmcovercirclelatlon(@lat, @lon, 5)  on htmid between htmidstart and htmidend -- coarse testand type = 'p'                           -- it is a placeand dbo.fdistancelatlon(@lat,@lon, lat, lon) between 0.1 and 5  -- careful testjoin place p on i.objid = p.htmidorder by dbo.fdistancelatlon(@lat,@lon, i.lat, i.lon) ascprint 'the city within 5 arc minutes of baltimore is: ' + 'lansdowne-baltimore highlands, 4.37 arc minutes away'

还有 fhtmcovercircleeq() 函数可供天文学家使用。

htm 覆盖的常规区域指定：fhtmcoverregion(region) 将返回 trixel 表

返回覆盖指定区域的 trixel 表（本主题前面对区域进行了介绍）。

select s.* from  (select objid from fhtmcoverregion('rect latlon 37 -109.55  41 -102.05') loop join spatialindexon htmid between htmidstart and htmidendand lat between 37 and 41and lon between -109.05 and -102.048and type = 's') as g join station s on g.objid = s.stationnumberoption (force order)

常规区域指定：fhtmregiontonormalformstring(region) 将返回区域字符串

返回格式为 region {convex {x y z d}* }* 的字符串，其中已从每个凸形删除多余的半空间；如 [fekete] 中所述，凸形已被简化。

print dbo.fhtmtonormalform('rect latlon 37 -109.55  41 -102.05')

下面的例程将返回一个表，用以说明覆盖所需区域的一组 trixel（him 三角形）的 htmidstart 和 htmidend。表的定义为：

regiontable (convexid     bigint not null , -- id of the convex, 0,1,...halfspaceid bigint not null     -- id of the halfspace -- within convex, 0,1,2,x           float  not null     -- cartesian coordinates ofy           float  not null     -- unit-normal-vector of z           float  not null     -- halfspace planed           float  not null     -- displacement of halfspace )                               -- along unit vector [-1..1]

将区域字符串转换为表：fhtmregiontotable(region) 将返回区域表

返回一个表，用以将区域作为凸形组合来说明，其中每个凸形均为 x，y，z，d 半空间的交集。如 [fekete] 中所述，凸形已被简化。本文第 4 节介绍了此函数的用法。

select *from dbo.fhtmtonormalform('rect latlon 37 -109.55  41 -102.05')

查找区域内的点：fhtmregionobjects(region, type) 将返回对象表

返回一个表，其中包含空间索引中具有指定类型且位于区域内的对象的对象 id。

select *            -- find colorado places.from places join where htmid inselect objid from dbo. fhtmregionobjects('rect latlon 37 -109.55  41 -102.05','p')

常规区域诊断：fhtmregionerror(region ) 将返回消息

如果区域定义有效，则返回“ok”；否则，返回描述区域定义问题的诊断信息，并且后跟区域的语法定义。

print dbo.fhtmregionerror ('rect latlon 37 -109.55 41 -102.05')