The implication problem for functional and inclusion dependencies
Information and Control
Relational database: selected writings
Relational database: selected writings
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A design theory for solving the anomalies problem
SIAM Journal on Computing
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Abstraction in query processing
Journal of the ACM (JACM)
The design of relational databases
The design of relational databases
Relational database theory
A normal form for relational databases that is based on domains and keys
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)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
Normal forms and relational database operators
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Towards a sound view integration methodology
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Logical Database Design with Inclusion Dependencies
Proceedings of the Eighth International Conference on Data Engineering
Inclusion Dependencies in Database Design
Proceedings of the Second International Conference on Data Engineering
Enforcing Inclusion Dependencies and Referencial Integrity
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Redundancy Elimination and a New Normal Form for Relational Database Design
Selected Papers from a Workshop on Semantics in Databases
Theory of Relational Databases
Theory of Relational Databases
Elicitation and conversion of hidden objects and restrictions in a database schema
Proceedings of the 2002 ACM symposium on Applied computing
Discovering interesting inclusion dependencies: application to logical database tuning
Information Systems - Databases: Creation, management and utilization
Efficient Algorithms for Mining Inclusion Dependencies
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Why is the snowflake schema a good data warehouse design?
Information Systems
An information-theoretic approach to normal forms for relational and XML data
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Zigzag: a new algorithm for mining large inclusion dependencies in databases
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
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)
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Semantic sampling of existing databases through informative Armstrong databases
Information Systems
ACM SIGMOD Record
Binary equality implication constraints, normal forms and data redundancy
Information Processing Letters
Unary and n-ary inclusion dependency discovery in relational databases
Journal of Intelligent Information Systems
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a 4NF for XML
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Collection type constructors in entity-relationship modeling
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Appropriate reasoning about data dependencies in fixed and undetermined universes
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
XML normalization based on entity segments
Information Sciences: an International Journal
Hi-index | 0.01 |
Functional dependencies (FDs) and inclusion dependencies (INDs) are the most fundamental integrity constraints that arise in practice in relational databases. In this paper, we address the issue of normalization in the presence of FDs and INDs and, in particular, the semantic justification for Inclusion Dependency Normal Form (IDNF), a normal form which combines Boyce-Codd normal form with the restriction on the INDs that they be noncircular and key-based. We motivate and formalize three goals of database design in the presence of FDs and INDs: noninteraction between FDs and INDs, elimination of redundancy and update anomalies, and preservation of entity integrity. We show that, as for FDs, in the presence of INDs being free of redundancy is equivalent to being free of update anomalies. Then, for each of these properties, we derive equivalent syntactic conditions on the database design. Individually, each of these syntactic conditions is weaker than IDNF and the restriction that an FD not be embedded in the righthand side of an IND is common to three of the conditions. However, we also show that, for these three goals of database design to be satisfied simultaneously, IDNF is both a necessary and sufficient condition.