JumpShip最独特的特性之一是其中内含了标准数据模型，可以自动进行查找、排序、数据的遍历和枚举。
One of the most unique things about JumpShip is the inclusion of a standard data model that gives you search, sort, data traversal and enumeration automatically.
在这次发布中其他一些特性也没有达到预定目标，如对存储过程、类型转换、枚举和大数据块更新的支持。
Some other features that are not making it to this release are support for stored procedures, type-conversions, enums and bulk updates.
这些特性包括枚举支持、空间数据类型、自动编译LINQ查询、表值函数和多结果存储过程。
These include Enum support, Spatial data types, auto-compiled LINQ queries, Table-Valued functions, and stored procedures with multiple results.
使得特性检查在业界获得成功的因素是象征遍历算法，它无保留地枚举状态空间。
What makes property checking a success in industry are symbolic traversal algorithms that enumerate the state space implicitly.
延迟LINQ扩展方法所引起的一个有趣的特性是每次枚举结果时都是从头开始评估的，如清单5 - 31所示。
One interesting feature that arises from deferred LINQ extension methods is that queries are evaluated from scratch every time the results are enumerated, as shown in Listing 5-31.
获取一个指示特性类型的枚举。
获取一个指示特性类型的枚举。
应用推荐