English
Related papers

Related papers: Language-integrated provenance in Haskell

200 papers

Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security checks at the application level can enable malicious or buggy…

Programming Languages · Computer Science 2019-09-27 Ezra Zigmond , Stephen Chong , Christos Dimoulas , Scott Moore

We track the lineage of tuples throughout their database lifetime. That is, we consider a scenario in which tuples (records) that are produced by a query may affect other tuple insertions into the DB, as part of a normal workflow. As time…

Databases · Computer Science 2021-10-05 Michael Leybovich , Oded Shmueli

The World Wide Web currently evolves into a Web of Linked Data where content providers publish and link data as they have done with hypertext for the last 20 years. While the declarative query language SPARQL is the de facto for querying…

Databases · Computer Science 2012-04-09 Olaf Hartig

Data provenance collects comprehensive information about the events and operations in a computer system at both application and system levels. It provides a detailed and accurate history of transactions that help delineate the data flow…

Cryptography and Security · Computer Science 2021-07-06 Md Morshed Alam , Weichao Wang

Existing query languages for data discovery exhibit system-driven designs that emphasize database features and functionality over user needs. We propose a re-prioritization of the client through an introduction of a language-driven approach…

Databases · Computer Science 2025-08-12 Andrew Kang , Sainyam Galhotra

Workflow provenance typically assumes that each module is a "black-box", so that each output depends on all inputs (coarse-grained dependencies). Furthermore, it does not model the internal state of a module, which can change between…

Databases · Computer Science 2012-01-04 Yael Amsterdamer , Susan B. Davidson , Daniel Deutch , Tova Milo , Julia Stoyanovich , Val Tannen

Ascertaining the feasibility of independent falsification or repetition of published results is vital to the scientific process, and replication or reproduction experiments are routinely performed in many disciplines. Unfortunately, such…

Databases · Computer Science 2020-09-11 Dimitri Braininger , Wolfgang Mauerer , Stefanie Scherzinger

Text retrieval is a long-standing research topic on information seeking, where a system is required to return relevant information resources to user's queries in natural language. From classic retrieval methods to learning-based ranking…

Information Retrieval · Computer Science 2022-11-29 Wayne Xin Zhao , Jing Liu , Ruiyang Ren , Ji-Rong Wen

A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditional work on data provenance was, to a large extent, restricted…

Logic in Computer Science · Computer Science 2024-12-12 Erich Grädel , Val Tannen

The recent progress of artificial intelligence(AI) has shown great potentials for alleviating human burden in various complex tasks. From the view of software engineering, AI techniques can be seen in many fundamental aspects of…

Software Engineering · Computer Science 2021-03-02 Wenhe Zhang , Jin He , Kevin Song

Relational lenses are a modern approach to the view update problem in relational databases. As introduced by Bohannon et al. (2006), relational lenses allow the definition of updatable views by the composition of lenses performing…

Programming Languages · Computer Science 2021-07-20 Rudi Horn , Simon Fowler , James Cheney

In complex data analyses it is increasingly important to capture information about the usage of data sets in addition to their preservation over time to ensure reproducibility of results, to verify the work of others and to ensure…

Software Engineering · Computer Science 2018-03-21 Richard McClatchey

Tackling the information retrieval gap between non-technical database end-users and those with the knowledge of formal query languages has been an interesting area of data management and analytics research. The use of natural language…

Information Retrieval · Computer Science 2020-09-29 Chantal Montgomery , Haruna Isah , Farhana Zulkernine

Data provenance is essential for debugging query results, auditing data in cloud environments, and explaining outputs of Big Data analytics. A well-established technique is to represent provenance as annotations on data and to instrument…

Databases · Computer Science 2017-01-20 Xing Niu , Boris Glavic

In today's software world with its cornucopia of reusable software libraries, when a programmer is faced with a programming task that they suspect can be completed through the use of a library, they often look for code examples using a…

Software Engineering · Computer Science 2021-10-08 Geert Heyman , Rafael Huysegems , Pascal Justen , Tom Van Cutsem

When components of a system exchange data, they need to serialise the data so that it can be sent over the network. Then, the recipient has to deserialise the data in order to be able to process it. These steps take time and have an impact…

Programming Languages · Computer Science 2025-04-30 Arthur Jamet , Michael Vollmer

Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, rely on fixed-point computations. The introduction of recursive common table expressions (CTEs) using the WITH RECURSIVE…

Programming Languages · Computer Science 2026-04-27 Anna Herlihy , Amir Shaikhha , Anastasia Ailamaki , Martin Odersky

The Natural Language Interface to Databases (NLIDB) empowers non-technical users with database access through intuitive natural language (NL) interactions. Advanced approaches, utilizing neural sequence-to-sequence models or large-scale…

Databases · Computer Science 2026-01-09 Yuankai Fan , Zhenying He , Tonghui Ren , Can Huang , Yinan Jing , Kai Zhang , X. Sean Wang

The emergence of Cloud computing provides a new computing paradigm for scientific workflow execution. It provides dynamic, on-demand and scalable resources that enable the processing of complex workflow-based experiments. With the ever…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-20 Khawar Hasham , Kamran Munir , Richard McClatchey

We introduce and address the problem of ad hoc table retrieval: answering a keyword query with a ranked list of tables. This task is not only interesting on its own account, but is also being used as a core component in many other…

Information Retrieval · Computer Science 2018-03-09 Shuo Zhang , Krisztian Balog
‹ Prev 1 4 5 6 7 8 10 Next ›