13.7.5.4 SHOW COLLATION 语句
SHOW COLLATION [LIKE pattern | WHERE expr]此语句列出了服务器支持的排序规则。由 default,则 SHOW 的输出 COLLATION 包括所有可用的排序规则。如果存在 LIKE 子句,则表示 要匹配的排序规则名称。该子句可用于使用更常…
1. limitOrdinal(a) ∧ (S ⊂ a) ∧ (sup S a) → cf a ≤ OrdT(S) 。
证: 根据,limitOrdinal(a) ∧ (S ⊂ a) ∧ (sup S a) ,可集合 S ⊂ a,看作是上升序列 {sᵢ},有
lim ( i → cf a ) sᵢ sup S a,…
首先,定义了一个整数 i 并初始化为 0 。
然后,进入一个 while 循环。在这个循环中,只要 i 小于等于顺序表 Lq 的最后一个位置 Lq->Last ,并且 Lq 中第 i 个位置的数据不等于要查找的元素 x ,就会执行循环体&#x…