Foundations for a fourth normal form over SQL-Like databases

Authors:
Flavio Ferrarotti;Sven Hartmann;Henning Köhler;Sebastian Link;Millist W. Vincent
Affiliations:
School of Information Management, Victoria University of Wellington, New Zealand;Institut für Informatik, Technische Universität Clausthal, Germany;N-Squared Software, Palmerston North, New Zealand;Department of Computer Science, University of Auckland, New Zealand;School of Computer and Information Science, University of South Australia, Australia
Venue:
Conceptual Modelling and Its Theoretical Foundations
Year:
2012

Citing 36
Cited 1

Incomplete Information in Relational Databases

Journal of the ACM (JACM)
Functional dependencies and constraints on Null values in database relations

Information and Control
Deductive normal forms of relations

Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85
On the numbers of shortest keys in relational databases on non-uniform domains

Acta Cybernetica
Design tools for large relational database systems

Proceedings on Mathematical Fundamentals of Database Systems on MFDBS 87
A guide to the SQL standard (2nd ed.)

A guide to the SQL standard (2nd ed.)
The structure of the relational database model

The structure of the relational database model
On semantic issues connected with keys in relational databases permitting null values

Journal of Information Processing and Cybernetics
The number of keys in relational and nested relational databases

Discrete Applied Mathematics - Special issue on combinatorial problems in databases
Tractable reasoning via approximation

Artificial Intelligence
Asymptotic properties of keys and functional dependencies in random databases

Theoretical Computer Science - Special issue: database theory
Limitations of rule triggering systems for integrity maintenance in the context of transition specifications

Acta Cybernetica
Multivalued dependencies and a new normal form for relational databases

ACM Transactions on Database Systems (TODS)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic

Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database

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

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

Communications of the ACM
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
Entity-Relationship Modeling: Foundations of Database Technology

Entity-Relationship Modeling: Foundations of Database Technology
An arithmetic theory of consistency enforcement

Acta Cybernetica
Open Problems in Database Theory

MFDBS '87 Proceedings of the 1st Symposium on Mathematical Fundamentals of Database Systems
The Higher-Order Entity-Relationship Model and (DB)2

MFDBS '89 Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems
Fundamentals of Cardinality Constraints

ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Behavior of Keys in Random Databases

SCCC '98 Proceedings of the XVIII International Conference of the Chilean Computer Science Society
Strong functional dependencies and their application to normal forms in XML

ACM Transactions on Database Systems (TODS)
An information-theoretic approach to normal forms for relational and XML data

Journal of the ACM (JACM)
Component development and construction for database design

Data & Knowledge Engineering - Special issue: ER 2002
Efficient reasoning about a robust XML key fragment

ACM Transactions on Database Systems (TODS)
Numerical constraints on XML data

Information and Computation
Consistency enforcement in databases

Proceedings of the 2nd international conference on Semantics in databases
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 Codd Families of Keys over Incomplete Relations

The Computer Journal
Design by example for SQL table definitions with functional dependencies

The VLDB Journal — The International Journal on Very Large Data Bases
On the number of independent functional dependencies

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Relationship design using spreadsheet reasoning for sets of functional dependencies

ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems

Letting keys and functional dependencies out of the bag

APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the relational model of data the Fourth Normal Form condition guarantees the elimination of data redundancy in terms of functional and multivalued dependencies. For efficient means of data processing the industry standard SQL permits partial data and duplicate rows of data to occur in database systems. Here, the combined class of uniqueness constraints, functional and multivalued dependencies is more expressive than the class of functional and multivalued dependencies itself. Consequently, the Fourth Normal Form condition is not suitable for SQL databases. We characterize the associated implication problem of the combined class in the presence of NOT NULL constraints axiomatically, algorithmically and logically. Based on these results we are able to establish a suitable Fourth Normal Form condition for SQL.