{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:46:44Z","timestamp":1760597204363},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540641995"},{"type":"electronic","value":"9783540697008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035011","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:43:04Z","timestamp":1134286984000},"page":"247-264","source":"Crossref","is-referenced-by-count":10,"title":["Redundancy elimination and a new normal form for relational database design"],"prefix":"10.1007","author":[{"given":"Millist W.","family":"Vincent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,23]]},"reference":[{"unstructured":"S. Abiteboul, R. Hull and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.","key":"9_CR1"},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1137\/0208017","volume":"8","author":"A. V. Aho","year":"1979","unstructured":"A. V. Aho, Y. Sagiv and J. D. Ullman. Equivalences among Relational Expressions. SIAM Journal of Computing, Volume 8, Number 2, pages 218\u2013246, 1979.","journal-title":"SIAM Journal of Computing"},{"unstructured":"P. Atzeni and V. DeAntonellis. Relational Database Theory. Benjamin\/Cummings, 1993.","key":"9_CR3"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/320613.320614","volume":"5","author":"C. Beeri","year":"1980","unstructured":"C. Beeri. On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Transactions on Database Systems, Volume 5, Number 3, pages 241\u2013259, 1980.","journal-title":"ACM Transactions on Database Systems"},{"key":"9_CR5","first-page":"25","volume-title":"Advances in Database Theory","author":"C. Beeri","year":"1981","unstructured":"C. Beeri and M. Y. Vardi. On the Properties of Join Dependencies. In Advances in Database Theory, (H. Gallaire, J. Minker, and J.M. Nicolas, ed.), pages 25\u201372, Plenum Press, New York, 1981."},{"unstructured":"P. A. Bernstein and N. Goodman. What Does Boyce-Codd Normal Form Do? In 6th International Conference on Very Large Databases, Montreal, Canada, pages 245\u2013259, 1980.","key":"9_CR6"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0020-0190(89)90065-3","volume":"32","author":"J. Biskup","year":"1989","unstructured":"J. Biskup. Boyce-Codd Normal Form and Object Normal Form. Information Processing Letters, Volume 32, pages 29\u201333, 1989.","journal-title":"Information Processing Letters"},{"doi-asserted-by":"crossref","unstructured":"J. Biskup. Database Scheme Design Theory: Achievements and Challenges. In 6th International CISMOD Conference, pages 1995.","key":"9_CR8","DOI":"10.1007\/3-540-60584-3_22"},{"issue":"3","key":"9_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1051\/ita\/1993270301831","volume":"27","author":"J. Biskup","year":"1993","unstructured":"J. Biskup and P. Dublish. Objects in Relational Database Schemes with Functional, Inclusion and Exclusion Dependencies. Theoretical Informatics aid Applications, Volume 27, Number 3, pages 183\u2013219, 1993.","journal-title":"Theoretical Informatics aid Applications"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1137\/0218030","volume":"18","author":"E. P. F. Chan","year":"1989","unstructured":"E. P. F. Chan. A Design Theory for Solving the Anomalies Problem. SIAM Journal of Computing, Volume 18, Number 3, pages 429\u2013448, 1989.","journal-title":"SIAM Journal of Computing"},{"key":"9_CR11","first-page":"33","volume-title":"Courant Computer Science Symposia 6: Data Base Systems","author":"E. F. Codd","year":"1972","unstructured":"E. F. Codd. Further Normalization of the Database Relational Model. In Courant Computer Science Symposia 6: Data Base Systems, (R. Rustin, ed.), pages 33\u201364, Prentice-Hall, Englewood Cliffs, N.J., 1972."},{"unstructured":"E. F. Codd. Recent Investigations in Relational Database Systems. In IFIP Conference, Stockholm, Sweden, pages 1017\u20131021, 1974.","key":"9_CR12"},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/132271.132274","volume":"17","author":"C. J. Date","year":"1992","unstructured":"C. J. Date and R. Fagin. Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases. ACM Transactions on Database Systems, Volume 17, Number 3, pages 465\u2013476, 1992.","journal-title":"ACM Transactions on Database Systems"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320557.320571","volume":"2","author":"R. Fagin","year":"1977","unstructured":"R. Fagin. Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Transactions on Database Systems, Volume 2, Number 3, pages 262\u2013278, 1977.","journal-title":"ACM Transactions on Database Systems"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1145\/319587.319592","volume":"6","author":"R. Fagin","year":"1981","unstructured":"R. Fagin. A Normal Form for Relational Databases that is based on Domains and Keys. ACM Transactions on Database Systems, Volume 6, Number 3, pages 387\u2013415, 1981.","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"crossref","unstructured":"R. Fagin. Normal Forms and Relational Database Operators. In ACM SIGMOD International Conference on Management of Data, Boston, Mass., pages 153\u2013160, 1979.","key":"9_CR16","DOI":"10.1145\/582095.582120"},{"unstructured":"C. H. LeDoux and D. S. Parker. Reflections on Boyce-Codd Normal Form. In 8th International Conference on Very Large Databases, pages 131\u2013141, 1982.","key":"9_CR17"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/319566.319583","volume":"6","author":"T. Ling","year":"1981","unstructured":"T. Ling, F. W. Tompa and T. Kameda. An Improved Third Normal Form for Relational Databases. ACM Transactions on Database Systems, Volume 6, Number 2, pages 329\u2013346, 1981.","journal-title":"ACM Transactions on Database Systems"},{"unstructured":"D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.","key":"9_CR19"},{"issue":"4","key":"9_CR20","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"D. Maier, A. O. Mendelzon and Y. Sagiv. Testing Implications of Data Dependencies. ACM Transactions on Database Systems, Volume 4, Number 4, pages 455\u2013469, 1979.","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"680","DOI":"10.1145\/322276.322280","volume":"28","author":"D. Maier","year":"1981","unstructured":"D. Maier, Y. Sagiv and M. Yannakis. On the Complexity of Testing Implications of Functional and Join Dependencies. Journal of the ACM, Volume 28, Number 4, pages 680\u2013695, 1981.","journal-title":"Journal of the ACM"},{"issue":"2","key":"9_CR22","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","volume":"2","author":"J. M. Smith","year":"1977","unstructured":"J. M. Smith and C. P. D. Smith Database Abstraction: Aggregration and Generalization. Volume 2, Number 2, pages 105\u2013133, 1977.","journal-title":"Database Abstraction: Aggregration and Generalization"},{"doi-asserted-by":"crossref","unstructured":"B. Thalheim. Dependencies in Relational Databases. B. G. Teubner, 1991.","key":"9_CR23","DOI":"10.1007\/978-3-663-12018-6"},{"doi-asserted-by":"crossref","unstructured":"B. Thalheim. Open Problems in Database Theory. In Proceedings 1st Symposium on Mathematical Fundamentals of Database Systems, Lecture Notes in Computer Science no. 305, pages 241\u2013247, Springer Verlag, 1988.","key":"9_CR24","DOI":"10.1007\/3-540-19121-6_15"},{"unstructured":"M. W. Vincent, A Corected 5NF Definition For Relational Database Design. Theoretical Computer Science, in press.","key":"9_CR25"},{"unstructured":"M. W. Vincent. Semantic Foundations of 4NF in Relational Database Design. Acta Informatica, in press. 27. M. W. Vincent, Semantic Justification of Normal Forms in Relational Database Design. PhD Thesis, Department of Computer Science, Monash University, 1994.","key":"9_CR26"},{"issue":"4","key":"9_CR27","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1142\/S0129054193000225","volume":"4","author":"M. W. Vincent","year":"1993","unstructured":"M. W. Vincent and B. Srinivasan. Redundancy and the Justification for Fourth Normal Form in Relational Databases. International Journal of Foundations of Computer Science, Volume 4, Number 4, pages 355\u2013365, 1993.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0020-0255(94)90091-4","volume":"81","author":"M. W. Vincent","year":"1994","unstructured":"M. W. Vincent and B. Srinivasan. Update Anomalies and the Justification for 4NF in Relational Databases. Information Sciences, Volume 81, Number, pages 87\u2013102, 1994.","journal-title":"Information Sciences"},{"issue":"3","key":"9_CR29","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1145\/319732.319749","volume":"7","author":"C. Zaniolo","year":"1982","unstructured":"C. Zaniolo. A New Normal Form for the Design of Relational Database Schemata. ACM Transactions on Database Systems, Volume 7, Number 3, pages 489\u2013499, 1982.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:52:12Z","timestamp":1586613132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540641995","9783540697008"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0035011","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}