Slalom:Costing Through Raw Data via Adaptive Partitioning and Indexing what-if 2023/04/04 腾讯AI训练营 数据库 列存分区