English
Related papers

Related papers: On Desirable Semantics of Functional Dependencies …

200 papers

We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete residuated lattices. The dependencies allow us to express…

Databases · Computer Science 2015-07-07 Vilem Vychodil

Functional dependencies are an integral part of database design. However, they are only defined when we exclude null markers. Yet we commonly use null markers in practice. To bridge this gap between theory and practice, researchers have…

Databases · Computer Science 2015-05-18 Antonio Badia , Daniel Lemire

In the current paper, we propose to fuse together stored data (tables) and their functional dependencies (FDs) inside a DBMS. We aim to make FDs first-class citizens: objects which can be queried and used to query data. Our idea is to allow…

Databases · Computer Science 2020-05-19 Nikita Bobrov , Kirill Smirnov , George Chernishev

In case of incomplete database tables, a possible world is obtained by replacing any missing value by a value from the corresponding attribute's domain that can be infinite. A possible key or possible functional dependency constraint is…

Databases · Computer Science 2024-02-08 Munqath Al-atar , Attila Sali

In real life, data are often of poor quality as a result, for instance, of uncertainty, mismeasurements, missing values or bad inputs. This issue hampers an implicit yet crucial operation of every database management system: equality…

Logic in Computer Science · Computer Science 2024-04-30 Lhouari Nourine , Jean Marc Petit , Simon Vilmin

Functional dependencies -- traditional, approximate and conditional are of critical importance in relational databases, as they inform us about the relationships between attributes. They are useful in schema normalization, data…

Databases · Computer Science 2010-12-14 Sushovan De , Subbarao Kambhampati

Functional Dependencies (FDs) define attribute relationships based on syntactic equality, and, when usedin data cleaning, they erroneously label syntactically different but semantically equivalent values as errors. We explore…

Databases · Computer Science 2022-03-15 Zheng Zheng , Longtao Zheng , Morteza Alipour Langouri , Fei Chiang , Lukasz Golab , Jaroslaw Szlichta

A possible world of an incomplete database table is obtained by imputing values from the attributes (infinite) domain to the place of \texttt{NULL} s. A table satisfies a possible key or possible functional dependency constraint if there…

Databases · Computer Science 2024-02-09 Munqath Al-atar , Attila Sali

Functional dependencies (FDs) specify the intended data semantics while violations of FDs indicate deviation from these semantics. In this paper, we study a data cleaning problem in which the FDs may not be completely correct, e.g., due to…

Databases · Computer Science 2012-07-25 George Beskales , Ihab F. Ilyas , Lukasz Golab , Artur Galiullin

The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we develop such a theory and define operations on relations that…

Databases · Computer Science 2012-02-08 Philip Kelly , M. H. van Emden

Normalized relations extended with inherited attributes can be more faithful to reality and support logical navigation free queries, properties available at present only through specific views. Adding inherited attributes can be nonetheless…

Databases · Computer Science 2019-12-19 Witold Litwin

Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little built-in query language support for temporal data management.…

Databases · Computer Science 2010-02-08 Nadeem Mahmood , Aqil Burney , Kamran Ahsan

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized…

Logic in Computer Science · Computer Science 2021-03-30 Alexandru Baltag , Johan van Benthem

We initiate an investigation how the fundamental concept of independence can be represented effectively in the presence of incomplete information in relational databases. The concepts of possible and certain independence are proposed, and…

Databases · Computer Science 2025-10-10 Miika Hannula , Minna Hirvonen , Juha Kontinen , Sebastian Link

Separate programming models for data transformation (declarative) and computation (procedural) impact programmer ergonomics, code reusability and database efficiency. To eliminate the necessity for two models or paradigms, we propose a…

Databases · Computer Science 2023-11-09 David Robert Pratten , Luke Mathieson

Armstrong's axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and…

Logic in Computer Science · Computer Science 2015-07-23 Pavel G. Naumov , Jia Tao

For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in…

Functional dependencies restrict the potential interactions among variables connected in a probabilistic network. This restriction can be exploited in qualitative probabilistic reasoning by introducing deterministic variables and modifying…

Artificial Intelligence · Computer Science 2013-04-05 Michael P. Wellman

Poor data quality has become a pervasive issue due to the increasing complexity and size of modern datasets. Constraint based data cleaning techniques rely on integrity constraints as a benchmark to identify and correct errors. Data values…

Databases · Computer Science 2017-05-25 Sridevi Baskaran , Alexander Keller , Fei Chiang , Golab Lukasz , Jaroslaw Szlichta

A probabilistic database with attribute-level uncertainty consists of relations where cells of some attributes may hold probability distributions rather than deterministic content. Such databases arise, implicitly or explicitly, in the…

Databases · Computer Science 2022-12-26 Amir Gilad , Aviram Imber , Benny Kimelfeld
‹ Prev 1 2 3 10 Next ›