English
Related papers

Related papers: Revisiting Semiring Provenance for Datalog

200 papers

Language-integrated provenance builds on language-integrated query techniques to make provenance information explaining query results readily available to programmers. In previous work we have explored language-integrated approaches to…

Programming Languages · Computer Science 2019-05-07 Stefan Fehrenbach , James Cheney

In many data analysis applications, there is a need to explain why a surprising or interesting result was produced by a query. Previous approaches to explaining results have directly or indirectly used data provenance (input tuples…

Databases · Computer Science 2021-03-30 Chenjie Li , Zhengjie Miao , Qitian Zeng , Boris Glavic , Sudeepa Roy

Explaining why an answer is in the result of a query or why it is missing from the result is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. Both types of…

Databases · Computer Science 2017-01-23 Seokki Lee , Sven Koehler , Bertram Ludaescher , Boris Glavic

Process mining focuses on the analysis of recorded event data in order to gain insights about the true execution of business processes. While foundational process mining techniques treat such data as sequences of abstract events, more…

Computation and Language · Computer Science 2021-03-23 Adrian Rebmann , Han van der Aa

Science is conducted collaboratively, often requiring the sharing of knowledge about computational experiments. When experiments include only datasets, they can be shared using Uniform Resource Identifiers (URIs) or Digital Object…

Databases · Computer Science 2018-06-19 Zhihao Yuan , Dai Hai Ton That , Siddhant Kothari , Gabriel Fils , Tanu Malik

A well-established technique for capturing database provenance as annotations on data is to instrument queries to propagate such annotations. However, even sophisticated query optimizers often fail to produce efficient execution plans for…

Analytic provenance can be visually encoded to help users track their ongoing analysis trajectories, recall past interactions, and inform new analytic directions. Despite its significance, provenance is often hardwired into analytics…

Human-Computer Interaction · Computer Science 2025-05-20 Arpit Narechania , Shunan Guo , Eunyee Koh , Alex Endert , Jane Hoffswell

With the rapid growth of internet technologies, Web has become a huge repository of information and keeps growing exponentially under no editorial control. However the human capability to read, access and understand Web content remains…

Databases · Computer Science 2011-11-11 C. Ramesh , K. V. Chalapati Rao , A. Govardhan

Recent years the task of incomplete utterance rewriting has raised a large attention. Previous works usually shape it as a machine translation task and employ sequence to sequence based architecture with copy mechanism. In this paper, we…

Computation and Language · Computer Science 2020-09-29 Qian Liu , Bei Chen , Jian-Guang Lou , Bin Zhou , Dongmei Zhang

Shared reference is an essential aspect of meaning. It is also indispensable for the semantic web, since it enables to weave the global graph, i.e., it allows different users to contribute to an identical referent. For example, an essential…

Artificial Intelligence · Computer Science 2012-06-28 Simon Scheider , Krzysztof Janowicz , Benjamin Adams

The semantics of notation systems can naturally be meta-modelled as a network of transformations, starting with the syntactic elements of the notation and ending with the parameters of an execution. In this context, a digital encoding…

Programming Languages · Computer Science 2024-10-30 Markus Lepper , Baltasar Trancón y Widemann

Provenance refers to the documentation of an object's lifecycle. This documentation (often represented as a graph) should include all the information necessary to reproduce a certain piece of data or the process that led to it. In a dynamic…

Databases · Computer Science 2012-11-22 Seyed-Mehdi-Reza Beheshti , Hamid Reza Motahari-Nezhad , Boualem Benatallah

We present an analytic provenance data repository that can be used to study human analysis activity, thought processes, and software interaction with visual analysis tools during exploratory data analysis. We conducted a series of user…

Human-Computer Interaction · Computer Science 2018-01-17 Sina Mohseni , Andrew Pachuilo , Ehsanul Haque Nirjhar , Rhema Linder , Alyssa Pena , Eric D. Ragan

A pervasive problem in Data Science is that the knowledge generated by possibly expensive analytics processes is subject to decay over time, as the data used to compute it drifts, the algorithms used in the processes are improved, and the…

Databases · Computer Science 2016-10-18 Paolo Missier , Jacek Cala , Maisha Rathi

In an organization specifically as virtual as cloud there is need for access control systems to constrain users direct or backhanded action that could lead to breach of security. In cloud, apart from owner access to confidential data the…

Cryptography and Security · Computer Science 2014-11-10 Muralikrishnan Ramane , Balaji Vasudevan , Sathappan Allaphan

In the world of science new technology have opened up the possibility to rely on advanced computational methods and models to conduct and produce scientific research. An important aspect of scientific and business workflows is provenance -…

Software Engineering · Computer Science 2025-04-01 Ludwig Stage , Julia Dahlberg , Dimka Karastoyanova

Why and why-not provenance have been studied extensively in recent years. However, why-not provenance, and to a lesser degree why provenance, can be very large resulting in severe scalability and usability challenges. In this paper, we…

Databases · Computer Science 2020-04-28 Seokki Lee , Bertram Ludaescher , Boris Glavic

Relational data sources are still one of the most popular ways to store enterprise or Web data, however, the issue with relational schema is the lack of a well-defined semantic description. A common ontology provides a way to represent the…

Machine Learning · Computer Science 2018-01-31 Natalia Ruemmele , Yuriy Tyshetskiy , Alex Collins

We study the status of preservation theorems such as the {\L}o\'s-Tarski theorem and the homomorphism preservation theorem in the context of semiring semantics. Semiring semantics has its origins in the provenance analysis of database…

Logic in Computer Science · Computer Science 2026-05-12 Sophie Brinke , Anuj Dawar , Erich Grädel , Benedikt Pago

Classical algorithms for query optimization presuppose the absence of inconsistencies or uncertainties in the database and exploit only valid semantic knowledge provided, e.g., by integrity constraints. Data inconsistency or uncertainty,…

Databases · Computer Science 2014-05-05 Federica Panella