English
Related papers

Related papers: Functional dependencies with null markers

200 papers

Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a…

Logic in Computer Science · Computer Science 2016-06-08 Mats Neovius , Luigia Petre , Kaisa Sere

Decomposable dependency models possess a number of interesting and useful properties. This paper presents new characterizations of decomposable models in terms of independence relationships, which are obtained by adding a single axiom to…

Artificial Intelligence · Computer Science 2014-11-17 L. M. deCampos

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

This paper examines attribute dependencies in data that involve grades, such as a grade to which an object is red or a grade to which two objects are similar. We thus extend the classical agenda by allowing graded, or fuzzy, attributes…

Logic in Computer Science · Computer Science 2014-02-11 Radim Belohlavek , Vilem Vychodil

Popular notations for functional requirements specifications frequently ignore developers' needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or…

Software Engineering · Computer Science 2017-04-14 Alexandr Naumchev , Bertrand Meyer

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

This paper proposes a novel approach for designing functional observers for nonlinear systems, with linear error dynamics and assignable poles. Sufficient conditions for functional observability are first derived, leading to functional…

Systems and Control · Electrical Eng. & Systems 2025-01-03 Costas Kravaris

Applicative functors are a generalisation of monads. Both allow the expression of effectful computations into an otherwise pure language, like Haskell. Applicative functors are to be preferred to monads when the structure of a computation…

Programming Languages · Computer Science 2014-06-10 Paolo Capriotti , Ambrus Kaposi

Approximate functional dependencies (AFDs) are functional dependencies (FDs) that "almost" hold in a relation. While various measures have been proposed to quantify the level to which an FD holds approximately, they are difficult to compare…

We extend the treatment of functional dependence, the basic concept of dependence logic, to include the possibility of dependence with a limited number of exceptions. We call this approximate dependence. The main result of the paper is a…

Logic · Mathematics 2014-08-20 Jouko Väänänen

We study the problem of estimating a functional or a parameter in the context where outcome is subject to nonignorable missingness. We completely avoid modeling the regression relation, while allowing the propensity to be modeled by a…

Methodology · Statistics 2021-08-12 Samidha Shetty , Yanyuan Ma , Jiwei Zhao

In this paper we revisit the problem of computing the closure of a set of attributes given a basis of dependencies or implications. This problem is of main interest in logics, in the relational database model, in lattice theory, and in…

Logic in Computer Science · Computer Science 2025-03-10 Jaume Baixeries , Amedeo Napoli

In this paper, we propose causality as a unified framework to explain query answers and non-answers, thus generalizing and extending several previously proposed approaches of provenance and missing query result explanations. We develop our…

Databases · Computer Science 2009-12-31 Alexandra Meliou , Wolfgang Gatterbauer , Katherine F. Moore , Dan Suciu

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

Non-functional requirements (NFRs) are commonly distinguished from functional requirements by differentiating how the system shall do something in contrast to what the system shall do. This distinction is not only prevalent in research, but…

Software Engineering · Computer Science 2016-11-29 J. Eckhardt , A. Vogelsang , D. Méndez Fernández

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

Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…

Logic · Mathematics 2018-09-13 Stanislaw Ambroszkiewicz

We discover a connection between finding subset-maximal repairs for sets of functional and inclusion dependencies, and computing extensions within argumentation frameworks (AFs). We study the complexity of the existence of a repair and…

Computational Complexity · Computer Science 2023-12-05 Yasir Mahmood , Jonni Virtema , Timon Barlag , Axel-Cyrille Ngonga Ngomo

Probabilistic independence can dramatically simplify the task of eliciting, representing, and computing with probabilities in large domains. A key technique in achieving these benefits is the idea of graphical modeling. We survey existing…

Artificial Intelligence · Computer Science 2013-02-21 Fahiem Bacchus , Adam J. Grove

Functional depth is used for ranking functional observations from most outlying to most typical. The ranks produced by functional depth have been proposed as the basis for functional classifiers, rank tests, and data visualization…

Methodology · Statistics 2016-11-02 James P. Long , Jianhua Z. Huang