English
Related papers

Related papers: Repairing Inconsistent Databases: A Model-Theoreti…

200 papers

A traditional database systems is organized around a single data model that determines how data can be organized, stored and manipulated. But the vision of this paper is to develop new principles and techniques to manage multiple data…

Databases · Computer Science 2016-12-26 Jiaheng Lu , Zhen Hua Liu , Pengfei Xu , Chao Zhang

This work addresses inverse linear optimization where the goal is to infer the unknown cost vector of a linear program. Specifically, we consider the data-driven setting in which the available data are noisy observations of optimal…

Optimization and Control · Mathematics 2021-12-07 Rishabh Gupta , Qi Zhang

This paper introduces a new series of methods which combine modal decomposition algorithms, such as singular value decomposition and high-order singular value decomposition, and deep learning architectures to repair, enhance, and increase…

Computational Engineering, Finance, and Science · Computer Science 2024-01-23 A. Hetherington , D. Serfaty , A. Corrochano , J. Soria , S. Le Clainche

Most data analytical pipelines often encounter the problem of querying inconsistent data that violate pre-determined integrity constraints. Data cleaning is an extensively studied paradigm that singles out a consistent repair of the…

Databases · Computer Science 2022-08-29 Zhiwei Fan , Paraschos Koutris , Xiating Ouyang , Jef Wijsen

Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure control-flow specifications, or mild data-aware extensions…

Abduction is the task of computing a sufficient extension of a knowledge base (KB) that entails a conclusion not entailed by the original KB. It serves to compute explanations, or hypotheses, for such missing entailments. While this task…

Logic in Computer Science · Computer Science 2025-07-30 Anselm Haak , Patrick Koopmann , Yasir Mahmood , Anni-Yasmin Turhan

Linked Data have emerged as a successful publication format and one of its main strengths is its fitness for integration of data from multiple sources. This gives them a great potential both for semantic applications and the enterprise…

Databases · Computer Science 2014-10-30 Jan Michelfeit , Tomáš Knap , Martin Nečaský

Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight…

Programming Languages · Computer Science 2017-08-23 Stefan Fehrenbach , James Cheney

During the last two decades, it has been increasingly acknowledged that the engineering of information systems usually requires a huge effort in integrating master data and business processes. This has led to a plethora of proposals, both…

Databases · Computer Science 2019-07-10 Diego Calvanese , Marco Montali , Fabio Patrizi , Andrey Rivkin

Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express…

Artificial Intelligence · Computer Science 2014-05-09 Ari Saptawijaya , Luís Moniz Pereira

When combining data from multiple sources, inconsistent data complicates the production of a coherent result. In this paper, we introduce a new type of constraints called edit rules under a partial key (EPKs). These constraints can model…

Databases · Computer Science 2024-03-29 Antoon Bronselaer , Maribel Acosta

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-08 Vincenzo De Florio

Data-driven applications rely on the correctness of their data to function properly and effectively. Errors in data can be incredibly costly and disruptive, leading to loss of revenue, incorrect conclusions, and misguided policy decisions.…

Databases · Computer Science 2016-02-15 Xiaolan Wang , Alexandra Meliou , Eugene Wu

The analysis of intermittent data is improved. The standard method of recovering the history of a particle cascade is proved in general not to reproduce the structure of the true cascade. The recovering corrections to the standard method…

High Energy Physics - Phenomenology · Physics 2011-09-13 B. Ziaja

One problem to solve in the context of information fusion, decision-making, and other artificial intelligence challenges is to compute justified beliefs based on evidence. In real-life examples, this evidence may be inconsistent,…

Artificial Intelligence · Computer Science 2023-06-07 Daira Pinto Prieto , Ronald de Haan , Aybüke Özgün

A fundamental problem in data fusion is to determine the veracity of multi-source data in order to resolve conflicts. While previous work in truth discovery has proved to be useful in practice for specific settings, sources' behavior or…

Databases · Computer Science 2014-09-24 Dalia Attia Waguih , Laure Berti-Equille

Many backdoor removal techniques in machine learning models require clean in-distribution data, which may not always be available due to proprietary datasets. Model inversion techniques, often considered privacy threats, can reconstruct…

Computer Vision and Pattern Recognition · Computer Science 2023-03-27 Si Chen , Yi Zeng , Jiachen T. Wang , Won Park , Xun Chen , Lingjuan Lyu , Zhuoqing Mao , Ruoxi Jia

Data quality problems are a large threat in data science. In this paper, we propose a data-cleaning autoencoder capable of near-automatic data quality improvement. It learns the structure and dependencies in the data and uses it as evidence…

Databases · Computer Science 2021-08-04 R. R. Mauritz , F. P. J. Nijweide , J. Goseling , M. van Keulen

Today's Web of Data is noisy. Linked Data often needs extensive preprocessing to enable efficient use of heterogeneous resources. While consistent and valid data provides the key to efficient data processing and aggregation we are facing…

Information Retrieval · Computer Science 2012-04-13 Magnus Knuth , Johannes Hercher , Harald Sack

Diffusion model-based inverse problem solvers have shown impressive performance, but are limited in speed, mostly as they require reverse diffusion sampling starting from noise. Several recent works have tried to alleviate this problem by…

Computer Vision and Pattern Recognition · Computer Science 2023-10-26 Hyungjin Chung , Jeongsol Kim , Jong Chul Ye