An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
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)
Independent components of relations
ACM Transactions on Database Systems (TODS)
Decompositions and functional dependencies in relations
ACM Transactions on Database Systems (TODS)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
Database abstractions: aggregation
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Normal forms and relational database operators
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Design of relational views over network schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Horn clauses and database dependencies (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems
ACM Transactions on Database Systems (TODS)
Update and retrieval in a relational database through a universal schema interface
ACM Transactions on Database Systems (TODS)
Performance of a Composite Attribute and Join Index
IEEE Transactions on Software Engineering
Explaining ambiguity in a formal query language
ACM Transactions on Database Systems (TODS)
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Consequences of assuming a universal relation
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
Degrees of acyclicity for hypergraphs and relational database schemes
Journal of the ACM (JACM)
Use of composite index in DDBMS
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
The implication problem for inclusion dependencies: a graph approach
ACM SIGMOD Record
On the recognition and design of acyclic databases
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Functional and inclusion dependencies a graph theoretic approach
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Relative information capacity of simple relational database schemata
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inference rules for functional and inclusion dependencies
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Testing containment of conjunctive queries under functional and inclusion dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Inclusion dependencies and their interaction with functional dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A theory of data dependencies over relational expressions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Extending Existing Dependency Theory to Temporal Databases
IEEE Transactions on Knowledge and Data Engineering
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
LAURA: A Formal Data Model and her Logical Design Methodology
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
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
Unary inclusion dependencies have polynomial time inference problems
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Understanding functional dependency
Effective databases for text & document management
Normalisation in the presence of lists
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Multi-valued dependencies in the presence of lists
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
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
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Matbase relational import subsystem
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
ACM SIGMOD Record
An introduction to functional independency in relational database normalization
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Implementation considerations for improving data integrity in normalized relational databases
Proceedings of the 47th Annual Southeast Regional Conference
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
Semantic Management of Heterogeneous Documents
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
When entities are types: effectively modeling type-instantiation relationships
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
The nested list normal form for functional and multivalued dependencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
A normal form for preventing redundant tuples in relational databases
Proceedings of the 15th International Conference on Database Theory
Using data samples in validating data models
International Journal of Knowledge Engineering and Soft Data Paradigms
XML normalization based on entity segments
Information Sciences: an International Journal
Hi-index | 0.00 |
A new normal form for relational databases, called domain-key normal form (DK/NF), is defined. Also, formal definitions of insertion anomaly and deletion anomaly are presented. It is shown that a schema is in DK/NF if and only if it has no insertion or deletion anomalies. Unlike previously defined normal forms, DK/NF is not defined in terms of traditional dependencies (functional, multivalued, or join). Instead, it is defined in terms of the more primitive concepts of domain and key, along with the general concept of a “constraint.” We also consider how the definitions of traditional normal forms might be modified by taking into consideration, for the first time, the combinatorial consequences of bounded domain sizes. It is shown that after this modification, these traditional normal forms are all implied by DK/NF. In particular, if all domains are infinite, then these traditional normal forms are all implied by DK/NF.