Select Erlang Mnesia在有序集合上选择是否以Erlang术语顺序给出列表?

Select Erlang Mnesia在有序集合上选择是否以Erlang术语顺序给出列表?,select,erlang,mnesia,ordered-set,Select,Erlang,Mnesia,Ordered Set,在文档中,我不清楚是否需要以next或foldl的顺序进行迭代(提到foldr与ordered_set的顺序相反,因此假定foldl的顺序相同),或者我是否可以使用select并依赖它进行排序(假设ordered_set table) 我是否可以使用选择并依赖于它被订购(假设已订购\u set table) : 对于ordered_set类型的表,对象的访问顺序与第一次/下一次遍历相同。这意味着比赛 对具有第一个/下一个键的对象执行规范 顺序和相应的结果列表按顺序排列 执行 : 返回表选项卡中的

在文档中,我不清楚是否需要以next或foldl的顺序进行迭代(提到foldr与ordered_set的顺序相反,因此假定foldl的顺序相同),或者我是否可以使用select并依赖它进行排序(假设ordered_set table)

我是否可以使用
选择
并依赖于它被订购(假设已订购\u set table)

:

对于ordered_set类型的表,对象的访问顺序与第一次/下一次遍历相同。这意味着比赛 对具有第一个/下一个键的对象执行规范 顺序和相应的结果列表按顺序排列 执行

:

返回表选项卡中的第一个键。对于有序集合表, 返回Erlang术语顺序中的第一个键

:

使用
match
select
函数的遍历可能不需要扫描 整个表取决于键的指定方式。火柴 具有完全绑定键(没有任何匹配变量)的模式将 将操作优化为不带任何表的单键查找 完全不需要遍历。对于有序_集,部分绑定键将限制 遍历以仅基于术语顺序扫描表的子集

对我来说,
ordered\u set
类型的表以随机顺序返回搜索结果是没有意义的