THE SEMANTIC JUSTIFICATION FOR NORMAL FORMS IN RELATIONAL DATABASE DESIGN

[1]  Paolo Atzeni,et al.  On the properties and characterization of connection-trap-free schemes , 1985, PODS '86.

[2]  E. Pichat.  Algorithme de Décomposition de Clés , 1985, RAIRO Theor. Informatics Appl..

[3]  Edward P. F. Chan.  A Design Theory for Solving the Anomalies Problem , 1989, SIAM J. Comput..

[4]  Yannis Vassiliou,et al.  Null values in data base management a denotational semantics approach , 1979, SIGMOD '79.

[5]  Y. Edmund Lien,et al.  On the Equivalence of Database Models , 1982, JACM.

[6]  E. F. Codd,et al.  Missing information (applicable and inapplicable) in relational databases , 1986, SGMD.

[7]  Edward P. F. Chan,et al.  On the Desirability of gamma-Acyclic BCNF Database Schemes , 1988, Theor. Comput. Sci..

[8]  C. J. Date.  A Guide to the SQL Standard , 1987 .

[9]  C. J. Date,et al.  Relational database writings: 1985-1989 , 1990 .

[10]  S. Yajima,et al.  Semantic aspects of data dependencies and their application to relational database design , 1979, COMPSAC.

[11]  Bernhard Thalheim,et al.  The Number of Keys in Relational and Nested Relational Databases , 1992, Discret. Appl. Math..

[12]  G. M. Nijssen.  A Gross Architecture for the Next Generation Database Management System , 1976, IFIP Working Conference on Modelling in Data Base Management Systems.

[13]  János Demetrovics.  On the Number of Candidate Keys , 1978, Inf. Process. Lett..

[14]  Catriel Beeri,et al.  On the Properties of Join Dependencies , 1979, Advances in Data Base Theory.

[15]  Claude Delobel,et al.  Normalization and hierarchical dependencies in the relational data model , 1978, TODS.

[16]  Umeshwar Dayal,et al.  On the correct translation of update operations on relational views , 1982, TODS.

[17]  Jeffrey D. Ullman,et al.  Database theory—past and future , 1987, PODS.

[18]  Joachim Biskup,et al.  Boyce-Codd Normal Form and Object Normal Forms , 1989, Inf. Process. Lett..

[19]  T. T. Lee.  An algebraic theory of relational databases , 1983, The Bell System Technical Journal.

[20]  Terry Halpin,et al.  Conceptual Schema and Relational Database Design , 1995 .

[21]  Tadao Kasami,et al.  Membership Problems for Data Dependencies in Relational Expressions , 1984, Theor. Comput. Sci..

[22]  Horst Biller.  On the Notion of Irreducible Relations , 1979, IFIP TC-2 Working Conference on Data Base Architecture.

[23]  Valeria De Antonellis,et al.  Relational Database Theory , 1993 .

[24]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[25]  Carlo Zaniolo,et al.  Database relations with null values , 1982, J. Comput. Syst. Sci..

[26]  Catriel Beeri,et al.  On the Desirability of Acyclic Database Schemes , 1983, JACM.

[27]  Edward Sciore.  Improving database schemes by adding attributes , 1983, PODS '83.

[28]  Z. Meral Özsoyoglu,et al.  Logical design of relational database schemes , 1987, PODS '87.

[29]  E. F. Codd.  More commentary on missing information in relational databases (applicable and inapplicable information) , 1987, SGMD.

[30]  Ronald Fagin,et al.  An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic , 1981, JACM.

[31]  Z. Meral Özsoyoglu,et al.  A normal form for nested relations , 1985, PODS.

[32]  Catriel Beeri,et al.  A Sophisticate's Introduction to Database Normalization Theory , 1978, VLDB.

[33]  Jeffrey D. Ullman.  On Kent's “Consequences of assuming a universal relation” (Technical correspondance) , 1983, TODS.

[34]  Marc Gyssens,et al.  The Structure of the Relational Database Model , 1989, EATCS Monographs on Theoretical Computer Science.

[35]  David Maier,et al.  Window Functions , 1986, Advances in Computational Research.

[36]  Catriel Beeri,et al.  On the menbership problem for functional and multivalued dependencies in relational databases , 1980, TODS.

[37]  David Maier,et al.  Maximal objects and the semantics of universal relation databases , 1983, TODS.

[38]  Alfred V. Aho,et al.  Equivalences Among Relational Expressions , 1979, SIAM J. Comput..

[39]  E. F. Codd,et al.  Recent Investigations in Relational Data Base Systems , 1974, ACM Pacific.

[40]  MILLIST W. VINCENT,et al.  Redundancy and the Justification for Fourth Normal Form in Relational Databases , 1993, Int. J. Found. Comput. Sci..

[41]  Douglas Stott Parker,et al.  Reflections on Boyce-Codd Normal Form , 1982, VLDB.

[42]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[43]  Bernhard Thalheim,et al.  Open Problems in Database Theory , 1987, Symposium on Mathematical Fundamentals of Database Systems.

[44]  Miroslav Novotný,et al.  Notes on the algebraic approach to dependence in information systems , 1992, Fundam. Informaticae.

[45]  Sushil Jajodia,et al.  Recognizing Multivalued Dependencies in Relation Schemas , 1986, Comput. J..

[46]  Kamran Parsaye-Ghomi,et al.  Inferences involving embedded multivalued dependencies and transitive dependencies , 1980, SIGMOD '80.

[47]  Henry F. Korth,et al.  The design of ¬ 1NF relational databases into nested normal form , 1987, SIGMOD '87.

[48]  Ronald Fagin,et al.  Simple conditions for guaranteeing higher normal forms in relational databases , 1992, TODS.

[49]  David Maier,et al.  Windows on the world , 1983, SIGMOD '83.

[50]  S. V. Petrov,et al.  Finite axiomatization of languages for representations of system properties: axiomatization of dependencies , 1989 .

[51]  Gottfried Vossen.  Data models, database languages and database management systems , 1990, International computer science series.

[52]  Carlo Zaniolo,et al.  Analysis and design of relational schemata for database systems. , 1976 .

[53]  Y. Edmund Lien.  Multivalued Dependencies With Null Values In Relational Data Bases , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[54]  Tadao Kasami,et al.  Decision Problems for Multivalued Dependencies in Relational Databases , 1979, SIAM J. Comput..

[55]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[56]  Philip A. Bernstein,et al.  Synthesizing third normal form relations from functional dependencies , 1976, TODS.

[57]  Z. Meral Özsoyoglu,et al.  Reduced MVDs and minimal covers , 1987, TODS.

[58]  Peter Kandzia,et al.  On Covering Boyce-Codd Normal Forms , 1980, Inf. Process. Lett..

[59]  Jeffrey D. Ullman,et al.  Universal Relation Interfaces for Database Systems , 1983, IFIP Congress.

[60]  M. W. VINCENT,et al.  Update Anomalies and the Justification for 4NF in Relational Databases , 1994, Inf. Sci..

[61]  Yuri Gurevich,et al.  The Inference Problem for Template Dependencies , 1982, Inf. Control..

[62]  Bala Srinivasan,et al.  Armstrong Relations for Functional and Multivalued Dependencies in Relational Databases , 1993, Australian Database Conference.

[63]  Catriel Beeri,et al.  A Proof Procedure for Data Dependencies , 1984, JACM.

[64]  Ronald Fagin,et al.  Inclusion Dependencies and Their Interaction with Functional Dependencies , 1984, J. Comput. Syst. Sci..

[65]  Ho Thuan,et al.  Some results about keys of relational schemas , 1985, Acta Cybern..

[66]  Edward Sciore,et al.  A Complete Axiomatization of Full Join Dependencies , 1982, JACM.

[67]  Antonio L. Furtado,et al.  Updating Relational Views , 1985, Query Processing in Database Systems.

[68]  Gottfried Vossen.  A New Characterization of FD Implication with an Application to Update Anomalies , 1988, Inf. Process. Lett..

[69]  Carlo Zaniolo,et al.  A formal approach to the definition and the design of conceptual schemata for databased systems , 1982, TODS.

[70]  Yehoshua Sagiv,et al.  A characterization of globally consistent databases and their correct access paths , 1983, TODS.

[71]  Patrick C. Fischer,et al.  The Complexity of Recognizing 3NF Relation Schemes , 1982, Inf. Process. Lett..

[72]  Edward P. F. Chan,et al.  Independence-reducible database schemes , 1991, JACM.

[73]  Alberto O. Mendelzon,et al.  Independent and Separable Database Schemes , 1987, SIAM J. Comput..

[74]  W. W. Armstrong,et al.  Dependency Structures of Data Base Relationships , 1974, IFIP Congress.

[75]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[76]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[77]  John Debenham.  Knowledge systems design , 1989 .

[78]  George Loizou,et al.  NURQL: a nested universal relation query language , 1989, Inf. Syst..

[79]  Yehoshua Sagiv,et al.  Can we use the universal instance assumption without using nulls? , 1981, SIGMOD '81.

[80]  Stephen Todd,et al.  Relations and Entities , 1976, IFIP Working Conference on Modelling in Data Base Management Systems.

[81]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[82]  Frantisek Matús.  Abstract Functional Dependency Structures , 1991, Theor. Comput. Sci..

[83]  Ronald Fagin.  The Decomposition Versus Synthetic Approach to Relational Database Design , 1977, VLDB.

[84]  Gerardus Maria Nijssen.  Architecture and models in data base management systems , 1977 .

[85]  David Maier,et al.  On the foundations of the universal relation model , 1984, TODS.

[86]  Gösta Grahne,et al.  Database Decomposition into Fourth Normal Form , 1983, VLDB.

[87]  Catriel Beeri,et al.  Formal Systems for Join Dependencies , 1985, Theor. Comput. Sci..

[88]  Paris C. Kanellakis.  On the Computational Complexity of Cardinality Constraints in Relational Databases , 1980, Inf. Process. Lett..

[89]  David Maier,et al.  Adequacy of Decompositions of Relational Databases , 1980, J. Comput. Syst. Sci..

[90]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.

[91]  Peter Honeyman,et al.  Functional dependencies and the universal instance property in the relational model of database systems , 1980 .

[92]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[93]  Jim Diederich,et al.  New methods and fast algorithms for database normalization , 1988, TODS.

[94]  Catriel Beeri,et al.  A theory of intersection anomalies in relational database schemes , 1987, JACM.

[95]  Yahiko Kambayashi,et al.  Equivalent key problem of the relational database model , 1978, Mathematical Studies of Information Processing.

[96]  Raymond Fadous,et al.  Finding candidate keys for relational data bases , 1975, SIGMOD '75.

[97]  Gabriel M. Kuper,et al.  Updating Logical Databases , 1986, Adv. Comput. Res..

[98]  Won Kim,et al.  Object-Oriented Databases: Definition and Research Directions , 1990, IEEE Trans. Knowl. Data Eng..

[99]  Paolo Atzeni,et al.  Functional Dependencies in Relations with Null Values , 1984, Inf. Process. Lett..

[100]  Seymour Ginsburg,et al.  Properties of functional-dependency families , 1982, JACM.

[101]  John C. Mitchell.  The Implication Problem for Functional and Inclusion Dependencies , 1984, Inf. Control..

[102]  Zvi Galil,et al.  An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database , 1982, JACM.

[103]  Y. Edmund Lien,et al.  Hierarchical schemata for relational databases , 1981, TODS.

[104]  Paul De Bra,et al.  An Algorithm for Horizontal Decompositions , 1983, Inf. Process. Lett..

[105]  Philip A. Bernstein,et al.  Computational problems related to the design of normal form relational schemas , 1979, TODS.

[106]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[107]  Henry F. Korth,et al.  SQL/NF: a query language for ¬1 NF relational databases , 1987, Inf. Syst..

[108]  Laks V. S. Lakshmanan,et al.  The Implication Problem for Functional and Multivalued Dependencies: An Algebraic Approach , 1985, FSTTCS.

[109]  Akifumi Makinouchi,et al.  A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model , 1977, VLDB.

[110]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[111]  A. Agajanian.  Properties And Characterization , 1980 .

[112]  Paolo Atzeni,et al.  Assumptions in relational database theory , 1982, PODS '82.

[113]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

[114]  Ho Thuan.  Some remarks on the algorithm of Lucchesi and Osborn , 1987, Acta Cybern..

[115]  Claude Delobel,et al.  Relational database systems , 1985 .

[116]  Catriel Beeri,et al.  Elimination of intersection anomalies from database schemes , 1986, JACM.

[117]  Jorma Rissanen.  On equivalences of database schemes , 1982, PODS '82.

[118]  Ronald Fagin,et al.  Normal forms and relational database operators , 1979, SIGMOD '79.

[119]  John Miles Smith.  A Normal Form for Abstract Syntax , 1978, VLDB.

[120]  Ronald Fagin,et al.  Degrees of acyclicity for hypergraphs and relational database schemes , 1983, JACM.

[121]  Jeffrey D. Ullman,et al.  The U. R. strikes back , 1982, PODS.

[122]  Jorma Rissanen,et al.  Independent components of relations , 1977, TODS.

[123]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[124]  Abraham Silberschatz,et al.  Extended algebra and calculus for nested relational databases , 1988, TODS.

[125]  Carlo Zaniolo,et al.  On the design of relational database schemata , 1981, TODS.

[126]  Jeffrey D. Ullman,et al.  SYSTEM/U: a database system based on the universal relation assumption , 1984, TODS.

[127]  Bala Srinivasan,et al.  Key-Based Update Anomalies and the Justification for 4NF in Database Design , 1994, Australasian Database Conference.

[128]  David Maier,et al.  Specifying connections for a universal relation scheme database , 1982, SIGMOD '82.

[129]  Mihalis Yannakakis,et al.  Independent Database Schemas , 1984, J. Comput. Syst. Sci..

[130]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[131]  William Kent.  Consequences of assuming a universal relation , 1981, TODS.

[132]  Claudio L. Lucchesi,et al.  Candidate Keys for Relations , 1978, J. Comput. Syst. Sci..

[133]  Douglas Stott Parker,et al.  Algorithmic Applications For A New Result On Multivalued Dependencies , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[134]  Catriel Beeri,et al.  A note on decompositions of relational databases , 1981, SGMD.

[135]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[136]  Richard Hull.  Relative Information Capacity of Simple Relational Database Schemata , 1986, SIAM J. Comput..

[137]  John C. Mitchell.  Inference rules for functional and inclusion dependencies , 1983, PODS '83.

[138]  Bipin C. Desai,et al.  Updates in relational databases , 1986 .

[139]  Edward Sciore.  Inclusion dependencies and the universal instance , 1983, PODS '83.

[140]  Bernhard Thalheim,et al.  Preserving two-tuple dependencies under projection , 1990, Acta Cybern..

[141]  Carlo Zaniolo.  A new normal form for the design of relational database schemata , 1982, TODS.

[142]  Yehoshua Sagiv.  On Bounded Database Schemes and Bounded Horn-Clause Programs , 1988, SIAM J. Comput..

[143]  Ronald Fagin,et al.  Extendible hashing—a fast access method for dynamic files , 1979, ACM Trans. Database Syst..

[144]  Bernhard Thalheim,et al.  On the numbers of shortest keys in relational databases on non-uniform domains , 1988, Acta Cybern..

[145]  Clement T. Yu,et al.  On the Complexity of Finding the Set of Candidate Keys for a Given Set of Functional Dependencies , 1976, Inf. Process. Lett..

[146]  Paul De Bra,et al.  Removing Redundancy and Updating Databases , 1990, ICDT.

[147]  Bernhard Thalheim,et al.  Dependencies in relational databases , 1991, Teubner-Texte zur Mathematik.

[148]  Tok Wang Ling,et al.  An improved third normal form for relational databases , 1981, TODS.

[149]  Catriel Beeri,et al.  Formal Systems for Tuple and Equality Generating Dependencies , 1984, SIAM J. Comput..

[150]  Catriel Beeri,et al.  An integrated approach to logical design of relational database schemes , 1986, TODS.

[151]  Ben Shneiderman,et al.  Review of "modelling in data base management systems": by G. M. Nijssen, North-Holland Publishing Company, Amsterdam, The Netherlands, 418 pages, US $35.00 , 1978, Inf. Manag..

[152]  C. Robert Carlson,et al.  The Information Preserving Properties of Relational Database Transformations , 1978, VLDB.

[153]  Peter Honeyman,et al.  Testing satisfaction of functional dependencies , 1982, JACM.

[154]  Ho Thuan,et al.  Some results about key of relational schemas , 1986 .

[155]  Bala Srinivasan,et al.  A Note on Relation Schemes which are in 3NF but not in BCNF , 1993, Inf. Process. Lett..

[156]  Z. Meral Özsoyoglu,et al.  Unifying functional and multivalued dependencies for relational database design , 1985, PODS '86.

[157]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[158]  Alberto O. Mendelzon,et al.  Notions of dependency satisfaction , 1982, PODS '82.

[159]  Mihalis Yannakakis,et al.  On the Complexity of Testing Implications of Functional and Join Dependencies , 1981, JACM.

[160]  Mihalis Yannakakis,et al.  Testing the Universal Instance Assumption , 1980, Inf. Process. Lett..

[161]  Philip A. Bernstein,et al.  What does Boyce-Codd Normal Form Do? , 1980, VLDB.

[162]  Tok Wang Ling,et al.  An Analysis of Multivalued and Join Dependencies Based on the Entity-Relationship Approach , 1985, Data Knowl. Eng..

[163]  Paul De Bra,et al.  Horizontal decompositions and their impact on query solving , 1982, SGMD.

[164]  Catriel Beeri,et al.  Preserving Functional Dependencies , 1981, SIAM J. Comput..

[165]  David Maier,et al.  Representing Roles in Universal Scheme Interfaces , 1985, IEEE Transactions on Software Engineering.

[166]  Catriel Beeri,et al.  A complete axiomatization for functional and multivalued dependencies in database relations , 1977, SIGMOD '77.

[167]  Moshe Y. Vardi.  The implication and finite implication problems for typed template dependencies , 1982, PODS '82.

[168]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[169]  Ronald Fagin,et al.  A simplied universal relation assumption and its properties , 1982, TODS.

[170]  János Demetrovics,et al.  Relations and minimal keys , 1988, Acta Cybern..

[171]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[172]  Edward Sciore.  Real-world MVD's , 1981, SIGMOD '81.

[173]  Peter P. Chen,et al.  Semantic Considerations on Multivalued Dependencies in Relational Databases , 1981 .

[174]  Laks V. S. Lakshmanan,et al.  An Algebraic Theory of Functional and Multivalued Dependencies in Relational Databases , 1987, Theor. Comput. Sci..

[175]  John K. Debenham,et al.  Normal forms of rule-based knowledge systems , 1989, Knowl. Based Syst..

[176]  Alberto O. Mendelzon.  Database states and their tableaux , 1984, TODS.

[177]  Edward P. F. Chan,et al.  Constant-time-maintainable BCNF database schemes , 1991, TODS.

[178]  I. J. Heath.  Unacceptable file operations in a relational data base , 1971, SIGFIDET '71.

[179]  Alfred V. Aho,et al.  Efficient optimization of a class of relational expressions , 1979, TODS.

[180]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

[181]  Ronald Fagin,et al.  Functional Dependencies in a Relational Data Base and Propositional Logic , 1977, IBM J. Res. Dev..

[182]  János Demetrovics,et al.  Functional Dependencies in Relational Databases: A Lattice Point of View , 1992, Discret. Appl. Math..

[183]  Setrag Khoshafian,et al.  Object identity , 1986, OOPSLA 1986.

[184]  Z. Meral Özsoyoglu,et al.  Design of Desirable Relational Database Schemes , 1992, J. Comput. Syst. Sci..

[185]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[186]  Bipin C. Desai,et al.  Fact structure and its application to updates in relational databases , 1987, Inf. Syst..

[187]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[188]  Joachim Biskup,et al.  Synthesizing independent database schemas , 1979, SIGMOD '79.

[189]  Yehoshua Sagiv,et al.  Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies , 1982, JACM.

[190]  Yannis Vassiliou.  Functional Dependencies and Incomplete Information , 1980, VLDB.

[191]  Joachim Biskup,et al.  Objects in Relational Database Schemes with Functional, Inclusion and Exclusion Dependencies , 1991, MFDBS.

[192]  Z. Meral Özsoyoglu,et al.  A new normal form for nested relations , 1987, TODS.

[193]  Ronald Fagin,et al.  A normal form for relational databases that is based on domains and keys , 1981, TODS.

[194]  Catriel Beeri,et al.  Equivalence of Relational Database Schemes , 1981, SIAM J. Comput..

[195]  Antonio L. Furtado.  Horizontal decomposition to improve a non-BCNF scheme , 1981, SGMD.

[196]  David Maier,et al.  PIQUE: a relational query language without relations , 1987, Inf. Syst..

[197]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[198]  Tadao Kasami,et al.  Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions , 1983, Theor. Comput. Sci..

[199]  Yehoshua Sagiv.  An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic , 1980, JACM.