Cognacy Queries over Dependence Graphs for Transparent Visualisations

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Bond, Joseph, David, Cristina, Nguyen, Minh, Orchard, Dominic, Perera, Roly
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913546211688448
author Bond, Joseph
David, Cristina
Nguyen, Minh
Orchard, Dominic
Perera, Roly
author_facet Bond, Joseph
David, Cristina
Nguyen, Minh
Orchard, Dominic
Perera, Roly
contents Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making sense of, or fact-checking, outputs means understanding how they relate to the underlying data. Even for domain experts with access to the source code and data sets, this poses a significant challenge. In this paper we introduce a new program analysis framework which supports interactive exploration of fine-grained I/O relationships directly through computed outputs, making use of dynamic dependence graphs. Our main contribution is a novel notion in data provenance which we call related inputs, a relation of mutual relevance or "cognacy" which arises between inputs when they contribute to common features of the output. Queries of this form allow readers to ask questions like "What outputs use this data element, and what other data elements are used along with it?". We show how Jonsson and Tarski's concept of conjugate operators on Boolean algebras appropriately characterises the notion of cognacy in a dependence graph, and give a procedure for computing related inputs over such a graph.
format Preprint
id arxiv_https___arxiv_org_abs_2403_04403
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Cognacy Queries over Dependence Graphs for Transparent Visualisations
Bond, Joseph
David, Cristina
Nguyen, Minh
Orchard, Dominic
Perera, Roly
Programming Languages
Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making sense of, or fact-checking, outputs means understanding how they relate to the underlying data. Even for domain experts with access to the source code and data sets, this poses a significant challenge. In this paper we introduce a new program analysis framework which supports interactive exploration of fine-grained I/O relationships directly through computed outputs, making use of dynamic dependence graphs. Our main contribution is a novel notion in data provenance which we call related inputs, a relation of mutual relevance or "cognacy" which arises between inputs when they contribute to common features of the output. Queries of this form allow readers to ask questions like "What outputs use this data element, and what other data elements are used along with it?". We show how Jonsson and Tarski's concept of conjugate operators on Boolean algebras appropriately characterises the notion of cognacy in a dependence graph, and give a procedure for computing related inputs over such a graph.
title Cognacy Queries over Dependence Graphs for Transparent Visualisations
topic Programming Languages
url https://arxiv.org/abs/2403.04403