English
Related papers

Related papers: Inconsistency Measures for Relational Databases

200 papers

Existence constraints were defined in the Relational Data Model, but, unfortunately, are not provided by any Relational Database Management System, except for their NOT NULL particular case. Our (Elementary) Mathematical Data Model extended…

Databases · Computer Science 2024-05-21 Christian Mancas

We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its…

Artificial Intelligence · Computer Science 2011-07-04 O. Arieli , M. Bruynooghe , M. Denecker , B. Van Nuffelen

The ability to identify and resolve uncertainty is crucial for the robustness of a dialogue system. Indeed, this has been confirmed empirically on systems that utilise Bayesian approaches to dialogue belief tracking. However, such systems…

Computation and Language · Computer Science 2021-09-10 Carel van Niekerk , Andrey Malinin , Christian Geishauser , Michael Heck , Hsien-chin Lin , Nurul Lubis , Shutong Feng , Milica Gašić

Various data consistency levels have an important part in the integrity of data and also affect performance especially the data that is replicated many times across or over the cluster. Based on BASE and the theorem of CAP tradeoffs, most…

Databases · Computer Science 2018-02-23 Nazim Faour

When specifying security policies for databases, it is often natural to formulate disjunctive dependencies, where a piece of information may depend on at most one of two dependencies P1 or P2, but not both. A formal semantic model of such…

Cryptography and Security · Computer Science 2024-04-29 Amir M. Ahmadian , Matvey Soloviev , Musard Balliu

Many information sources are considered into data fusion in order to improve the decision in terms of uncertainty and imprecision. For each technique used for data fusion, the asumption on independance is usually made. We propose in this…

Artificial Intelligence · Computer Science 2015-01-23 Mouloud Kharoune , Arnaud Martin

A new method, with an application program in Matlab code, is proposed for testing item performance models on empirical databases. This method uses data intraclass correlation statistics as expected correlations to which one compares simple…

To assist non-specialists in formulating database queries, multiple frameworks that automatically infer queries from a set of examples have been proposed. While highly useful, a shortcoming of the approach is that if users can only provide…

Databases · Computer Science 2016-05-17 Daniel Deutch , Amir Gilad

When data contains measurement errors, it is necessary to make assumptions relating the observed, erroneous data to the unobserved true phenomena of interest. These assumptions should be justifiable on substantive grounds, but are often…

Machine Learning · Statistics 2020-12-24 Noam Finkelstein , Roy Adams , Suchi Saria , Ilya Shpitser

Detecting and measuring confounding effects from data is a key challenge in causal inference. Existing methods frequently assume causal sufficiency, disregarding the presence of unobserved confounding variables. Causal sufficiency is both…

Artificial Intelligence · Computer Science 2024-09-27 Abbavaram Gowtham Reddy , Vineeth N Balasubramanian

Information inequalities appear in many database applications such as query output size bounds, query containment, and implication between data dependencies. Recently Khamis et al. proposed to study the algorithmic aspects of information…

Databases · Computer Science 2023-09-22 Miika Hannula

We consider the problems of finding and determining certain query answers and of determining containment between queries; each problem is formulated in presence of materialized views and dependencies under the closed-world assumption. We…

Databases · Computer Science 2014-03-21 Rada Chirkova , Ting Yu

Knowledge about data completeness is essentially in data-supported decision making. In this thesis we present a framework for metadata-based assessment of database completeness. We discuss how to express information about data completeness…

Databases · Computer Science 2015-04-02 Simon Razniewski

This paper addresses the problem of verifying equivalence between a pair of programs that operate over databases with different schemas. This problem is particularly important in the context of web applications, which typically undergo…

Logic in Computer Science · Computer Science 2017-10-24 Yuepeng Wang , Isil Dillig , Shuvendu K. Lahiri , William R. Cook

Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge…

Logic in Computer Science · Computer Science 2022-04-15 Ana Cruz , Alexandre Madeira , Luís Soares Barbosa

In modern databases, transaction processing technology provides ACID (Atomicity, Consistency, Isolation, Durability) features. Consistency refers to the correctness of databases and is a crucial property for many applications, such as…

Databases · Computer Science 2022-06-30 Haixiang Li , Yuxing Chen , Xiaoyan Li

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

Incompatible, i.e. non-jointly measurable quantum measurements are a necessary resource for many information processing tasks. It is known that increasing the number of distinct measurements usually enhances the incompatibility of a…

Quantum Physics · Physics 2023-09-28 Lucas Tendick , Hermann Kampermann , Dagmar Bruß

General problems in analyzing information in a probabilistic database are considered. The practical difficulties (and occasional advantages) of storing uncertain data, of using it conventional forward- or backward-chaining inference…

Artificial Intelligence · Computer Science 2013-04-15 Matthew L. Ginsberg

We introduce the use, monitoring, and enforcement of integrity constraints in trust management-style authorization systems. We consider what portions of the policy state must be monitored to detect violations of integrity constraints. Then…

Cryptography and Security · Computer Science 2007-05-23 Sandro Etalle , William H. Winsborough