Reference guide for FCL units. Document version 3.2.25 ResolveRelativeURI 904 40.4.6 URIToFilename 905 40.5 TURI 905 41 Reference for unit 'Zipper' 906 41.1 Used units 906 41.2 Overview 906 41.3 Constants, types and variables 906 41.3 URI, parsed out in its various pieces. # Reference for unit 'Zipper' ### 41.1 Used units Table 41.1: Used units by unit 'Zipper' |Name|Page| |---|---| |BaseUnix|??| |Classes|??| |System| |System|??| |sysutils|??| |ZStream|944| ### 41.2 Overview zipper implements zip compression/decompression compatible with the popular .ZIP format. The zip file format is documented at: http://www.pkware0 码力 | 953 页 | 2.21 MB | 2 年前3
Lean 4rewrites/simplifies formulas. • Updates to functional data structures such as red black trees. • List zipper $$ goForward\left(\left[\right],bs\right)=\left(\left[\right],bs\right) $$ $$ goForward\left(x:xs0 码力 | 20 页 | 1.78 MB | 2 年前3
Lean in Leanrewrites/simplifies formulas. • Updates to functional data structures such as red black trees. • List zipper $$ goForward\left(\left[\right],bs\right)=\left(\left[\right],bs\right) $$ $$ goForward\left(x:xs0 码力 | 54 页 | 4.78 MB | 2 年前3
TiDB v5.1 Documentationwhen both sides of the join are read in sorted order. It can be described as similar to an efficient zipper merge: as data is read on both the Build and the Probe sides of the join, the join operation works part of the join operator task. The join algorithm is also Merge Join, which is like an efficient zipper-merge as the operator reads data from both the left and the right side in sorted order. The original0 码力 | 2745 页 | 47.65 MB | 2 年前3
TiDB v5.3 Documentationwhen both sides of the join are read in sorted order. It can be described as similar to an efficient zipper merge: as data is read on both the Build and the Probe sides of the join, the join operation works part of the join operator task. The join algorithm is also Merge Join, which is like an efficient zipper-merge as the operator reads data from both the left and the right side in sorted order. The original0 码力 | 2996 页 | 49.30 MB | 2 年前3
TiDB v5.2 Documentationwhen both sides of the join are read in sorted order. It can be described as similar to an efficient zipper merge: as data is read on both the Build and the Probe sides of the join, the join operation works part of the join operator task. The join algorithm is also Merge Join, which is like an efficient zipper-merge as the operator reads data from both the left and the right side in sorted order. The original0 码力 | 2848 页 | 47.90 MB | 2 年前3
TiDB v5.1 中文手册仅允许右键 (t2.t1_id) 上的第一个值,也就是该操作将去除 Join 算子任务中的重复数据。Join 算法也包含 Merge Join,会按照排序顺序同时从左侧和右侧读取数据,这是一种高效的 Zipper Merge。 可以将原语句视为关联子查询,因为它引入了子查询外的 t1.int_col 列。然而,EXPLAIN 语句的返回结果显示的是关联子查询去关联后的执行计划。条件 t1_id != t10 码力 | 2189 页 | 47.96 MB | 2 年前3
TiDB v5.2 中文手册仅允许右键 (t2.t1_id) 上的第一个值,也就是该操作将去除 Join 算子任务中的重复数据。Join 算法也包含 Merge Join,会按照排序顺序同时从左侧和右侧读取数据,这是一种高效的 Zipper Merge。 可以将原语句视为关联子查询,因为它引入了子查询外的 t1.int_col 列。然而,EXPLAIN 语句的返回结果显示的是关联子查询去关联后的执行计划。条件 t1_id != t10 码力 | 2259 页 | 48.16 MB | 2 年前3
TiDB v8.5 Documentationwhen both sides of the join are read in sorted order. It can be described as similar to an efficient zipper merge: as data is read on both the Build and the Probe sides of the join, the join operation works part of the join operator task. The join algorithm is also Merge Join, which is like an efficient zipper-merge as the operator reads data from both the left and the right side in sorted order. The original0 码力 | 6730 页 | 111.36 MB | 1 年前3
TiDB v8.3 Documentationwhen both sides of the join are read in sorted order. It can be described as similar to an efficient zipper merge: as data is read on 












