Many tools empower analysts and data scientists to consume analysis results in a visual interface, such as a dashboard. When the underlying data changes, these results need to be updated, but this update can take a long time -- all while the user continues to explore the results. In this context, tools can either (i) hide away results that haven't been updated, hindering exploration; (ii) make the updated results immediately available to the user (on the same screen as old results), leading to confusion and incorrect insights; or (iii) present old -- and therefore stale -- results to the user during the update. To help users reason about these options and others, and make appropriate trade-offs, we introduce Transactional Panorama, a formal framework that adopts transactions to jointly model the system refreshing the analysis results and the user interacting with them. We introduce three key properties that are important for user perception in this context, visibility (allowing users to continuously explore results), consistency (ensuring that results resented are from the same version of the data), and monotonicity (making sure that results don't "go back in time"). Within transactional panorama, we characterize all of the feasible property combinations, design new mechanisms (that we call lenses) for presenting analysis results to the user while preserving a given property combination, formally prove their relative orderings for various performance criteria and discuss their use cases. We propose novel algorithms to preserve each property combination and efficiently present fresh analysis results. We implement our transactional panorama framework in a popular, open-source BI tool, illustrate the relative performance implications of different lenses, demonstrate the benefits of the novel lenses, and outline the performance improvement by our optimizations.
翻译:许多工具使分析家和数据科学家能够在视觉界面(如仪表板)中使用分析结果。当基础数据变化需要更新时,这些结果需要更新,但更新需要很长时间 -- -- 在用户继续探索结果的同时,这些更新需要很长的时间。在这方面,工具可以:(一) 隐藏尚未更新的结果,阻碍探索;(二) 立即向用户提供更新的结果(在与旧结果相同的屏幕上),导致混乱和不正确的洞察;或(三) 在更新过程中向用户提供老结果 -- -- 因而是空洞 -- -- 的结果。为了帮助用户了解这些选项和其他选项,并作出适当的交换,我们采用交易全方位,这是一个正式框架,采用交易来联合模拟系统更新分析结果和用户与这些结果的互动。我们引入了三种关键属性,对于用户在此背景下的感知、可见度(允许用户持续探索结果的屏幕上),一致性(确保结果来自同一版本的数据),以及单调(确保结果不会“在时间上倒退”,并且做出适当的交易结果,我们引入交易全局框架,我们用新的分析, 来正式地分析。我们用所有的用户业绩分析,我们用新的分析, 来验证系统,我们用新的分析, 来显示新的分析。