SS-DB 基准的形式化表示及其在 EXTASCID 中的实验评估

鉴于该领域存在大量特定应用的解决方案且缺乏普遍接受的基准，评估科学数据处理系统的性能是一项艰巨的任务。科学数据的双重结构加上处理的复杂性，使评估过程更加困难。SS-DB 是首个试图为原始数据和衍生数据上的复杂科学处理定义通用基准的尝试，但由于其模糊的自然语言规范和非凡的 SciDB 结果，未能引起足够的关注。在本文中，我们通过提供基于 ArrayQL 代数算子以及 ArrayQL/SciQL 构造的形式化表示，弥补了原始 SS-DB 规范的不足。这是 SS-DB 基准的首次形式化表示。从该形式化表示出发，我们给出了参考实现，并在 EXTASCID（一种用于科学数据处理的新颖系统）中展示了基准测试结果。EXTASCID 能够原生支持数组和关系数据，并通过可配置的元算子在系统内部执行任意用户代码，从而具备完备性和可扩展性。这些特性使得其在数据加载、提取衍生数据以及对衍生数据的操作方面，相较于 SciDB 实现了一个数量级的提升。