3、可视化查询处理与可持续约束写作：跨领域的探索

可视化查询处理与可持续约束写作：跨领域的探索

可视化查询处理的非传统设计问题

要实现可视化查询处理范式，需要一个能处理以下三个非传统设计问题的查询处理器。

首先是中间信息的物化。在查询构建的每一步，需要物化与所有匹配查询的部分候选图相关的中间信息。虽然在传统数据库中，物化所有中间结果通常被认为不合理，但如今为了提高数据库可用性，这种做法得到了支持。不过，由于子图同构测试的计算难度，这一问题颇具挑战性。因此，在检索部分候选图时，需要一种明智的策略来减少候选验证。

其次，部分候选图的物化需要在可用的 GUI 延迟内高效完成。低效的物化会减慢每个查询构建步骤中候选图的生成速度，最终影响 SRT（响应时间）。理想情况下，应在构建后续边（或预定义模式）之前物化查询片段的候选图。这就需要准确系统地估计用户构建查询片段（边或模式）所需的时间，利用这段延迟来预取候选匹配。可以借鉴人机交互（HCI）领域的文献，定量建模用户执行不同视觉任务的时间，从而确定物化时间的“上限”并寻求高效解决方案。

第三，查询处理器需要支持无选择性的查询处理。基于选择性的查询处理通过估计谓词选择性来优化查询，这在传统数据库中是常用方法。但在我们提出的框架中，用户可以任意顺序制定低选择性和高选择性的片段，这种策略就失效了。由于查询处理与每个片段的构建（修改）交织在一起，也无法“下推”高选择性片段。查询反馈（如检测和通知空结果）与查询条件的构建顺序相关，必须在合适的时间提供。因此，查询处理器需要在无选择性的环境中运行。唯一的解决办法是确保用户制定的视觉动作序列按选择性排序，但这对用户来说不现实。

HCI 驱动的性能模拟

为了大规模评估可视化查询性能，需要一个合适