一种范围的元素类型具有一个良定义的“步长”
，例如integer 或date。在这些类型中，
如果两个元素之间没有合法值，它们可以被说成是相邻。这与连续范围相反，
连续范围中总
是（或者几乎总是）可以在两个给定值之间标识其他元素值。例如，numeric 类型之上的一
个范围就是连续的，timestamp 上的范围也是（尽管timestamp 具有有限的精度，并且在理
论上可以被当做离散的，最好认为它是连续的，因为通常并不关心它的步长）
。
另一种考虑离散范围类型的方法是对每一个元素值都有一种清晰的“下一个”
或“上一
个”值。了解了这种思想之后，通过选择原来给定的下一个或上一个元素值来取代它，就可
以在一个范围界限的包含和排除表达之间转换。例如，在一个整数范围类型中，[4,8]和(3,9)
表示相同的值集合，但是对于numeric 上的范围就不是这样。
一个离散范围类型应该具有一个正规化函数，它知道元素类型期望的步长。正规化函
数负责把范围类型的相等值转换成具有相同的表达，特别是与包含或者排除界限一致。如
果没有指定一个正规化函数，那么具有不同格式的范围将总是会被当作不等，即使它们实
际上是表达相同的一组值。
GBase 8c SQL 参考手册
南大通用数据技术股份有限公司
91
内建的范围类型int4range、int8range 和daterange 都使用一种正规的形式，该形式包括
下界并且排除上界，也就是[)。不过，用户定义的范围类型可以使用其他习惯。