Reasoning about functional and full hierarchical dependencies over partial relations

Authors:
Flavio Ferrarotti;Sven Hartmann;Sebastian Link
Affiliations:
School of Information Management, The Victoria University of Wellington, Wellington, New Zealand;Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld, Germany;Department of Computer Science, The University of Auckland, Auckland, New Zealand
Venue:
Information Sciences: an International Journal
Year:
2013

Citing 73
Cited 0

Incomplete Information in Relational Databases

Journal of the ACM (JACM)
Interactions between dependencies and nested relational structures

Journal of Computer and System Sciences
Design by exmple: An application of Armstrong relations

Journal of Computer and System Sciences
Functional dependencies and constraints on Null values in database relations

Information and Control
On the expressive power of data dependencies

Acta Informatica
Finite axiomatization of languages for representations of system properties: axiomatization of dependencies

Information Sciences: an International Journal
Reasoning about functional dependencies generalized for semantic data models

ACM Transactions on Database Systems (TODS)
Algorithms for inferring functional dependencies from relations

Data & Knowledge Engineering
On the undecidability of implications between embedded multivalued database dependencies

Information and Computation
Object normal forms and dependency constraints for object-oriented schemata

ACM Transactions on Database Systems (TODS)
Axiomatisation of functional dependencies in incomplete relations

Theoretical Computer Science
Reasoning about nested functional dependencies

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database design for incomplete relations

ACM Transactions on Database Systems (TODS)
Temporal FDs on complex objects

ACM Transactions on Database Systems (TODS)
Determining View dependencies using tableaux

ACM Transactions on Database Systems (TODS)
Computational problems related to the design of normal form relational schemas

ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning

ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model

ACM Transactions on Database Systems (TODS)
Synthesizing third normal form relations from functional dependencies

ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases

ACM Transactions on Database Systems (TODS)
On the menbership problem for functional and multivalued dependencies in relational databases

ACM Transactions on Database Systems (TODS)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database

Journal of the ACM (JACM)
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies

Journal of the ACM (JACM)
On the Equivalence of Database Models

Journal of the ACM (JACM)
Horn clauses and database dependencies

Journal of the ACM (JACM)
On the Desirability of Acyclic Database Schemes

Journal of the ACM (JACM)
A relational model of data for large shared data banks

Communications of the ACM
A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations

Fuzzy Sets and Systems
A complete axiomatization for functional and multivalued dependencies in database relations

SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Synthesizing independent database schemas

SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Using Constraints for Efficient Query Processing in Nondeterministic Databases

IEEE Transactions on Knowledge and Data Engineering
Extending Existing Dependency Theory to Temporal Databases

IEEE Transactions on Knowledge and Data Engineering
Analysis of existing databases at the logical level: the DBA companion project

ACM SIGMOD Record
Dependency Satisfaction in Databases with Incomplete Information

VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Closed World Databases Opened Through Null Values

VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Achievements of Relational Database Schema Design Theory Revisited

Selected Papers from a Workshop on Semantics in Databases
Embedded implicational dependencies and their inference problem

STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Data integration under integrity constraints

Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Strong functional dependencies and their application to normal forms in XML

ACM Transactions on Database Systems (TODS)
Data exchange: semantics and query answering

Theoretical Computer Science - Database theory
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets

Theoretical Computer Science - Logic, language, information and computation
Corrigendum: Corrigendum to “On the undecidability of implications between embedded multivalued database dependencies” [Inform. and Comput. 122 (1995) 221--235]

Information and Computation
Semantic sampling of existing databases through informative Armstrong databases

Information Systems
Propagating XML constraints to relations

Journal of Computer and System Sciences
Rewriting queries using views with access patterns under integrity constraints

Theoretical Computer Science
Dependency-preserving normalization of relational and XML data

Journal of Computer and System Sciences
A consideration on normal form of not-necessarily-normalized relation in the relational data model

VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Reducing inference control to access control for normalized database schemas

Information Processing Letters
On Keys and Functional Dependencies as First-Class Citizens in Description Logics

Journal of Automated Reasoning
Conditional functional dependencies for capturing data inconsistencies

ACM Transactions on Database Systems (TODS)
On the Complexity of Verifying Consistency of XML Specifications

SIAM Journal on Computing
Charting the completeness frontier of inference systems for multivalued dependencies

Acta Informatica
Two-variable logic on data trees and XML reasoning

Journal of the ACM (JACM)
Probabilistic databases: diamonds in the dirt

Communications of the ACM - Barbara Liskov: ACM's A.M. Turing Award Winner
Efficient reasoning about a robust XML key fragment

ACM Transactions on Database Systems (TODS)
Reverse data exchange: coping with nulls

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tractable database design and datalog abduction through bounded treewidth

Information Systems
Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies

Information Systems
Numerical constraints on XML data

Information and Computation
Multivalued dependencies and a 4NF for XML

CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
When data dependencies over SQL tables meet the logics of paradox and S-3

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics

Information Processing Letters
On the role of the complementation rule for data dependencies over incomplete relations

WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Relational and XML Data Exchange

Relational and XML Data Exchange
Axiomatisation of fully probabilistic design

Information Sciences: an International Journal
Consistent query answering: five easy pieces

ICDT'07 Proceedings of the 11th international conference on Database Theory
Design by example for SQL table definitions with functional dependencies

The VLDB Journal — The International Journal on Very Large Data Bases
Characterisations of multivalued dependency implication over undetermined universes

Journal of Computer and System Sciences
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations

ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases

Annals of Mathematics and Artificial Intelligence
On the implication problem for probabilistic conditional independency

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Repairing XML functional dependency violations

Information Sciences: an International Journal

Quantified Score

Hi-index	0.07

Visualization

Abstract

We study the implication problem for the combined class of functional and full hierarchical dependencies in the presence of SQL's NOT NULL constraints. Two different notions of implication are addressed: one where a dependency is implied by the given set of dependencies plus the underlying schema, and one where a dependency is implied by the given set of dependencies alone. We establish axiomatizations for both notions of implication, and reveal deep relationships between them.