Abstract
We consider conditions that have appeared in the literature with the purpose of defining a “good” decomposition of a relation scheme. We show that these notions are equivalent in the case that all constraints in the database are functional dependencies. This result solves an open problem of Rissanen. However, for arbitrary constraints the notions are shown to differ.
From Journal of Computer and System Sciences, Volume 21, Number 2, October 1980; copyright Academic Press, Inc.; reprinted with permission.
Work partially supported by NSF grant MCS-76–15255. D. Maier and A. O. Mendelzon were also supported by IBM fellowships while at Princeton University, and F. Sadri by a scholarship from Isfahan University of Technology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aho, A. V., Beeri, C. and Ullman, J. D. [1979] “The Theory of Joins in Relational Databases,” TODS 4, 3, (1979) 297–314.
Armstrong, W. W. [1974] “Dependency Structures of Database Relationships,” Proc. 1974 IFIP Congress, North Holland, 1974, 580–583.
Arora, A. K., and Carlson, C. R. [1978] “The Information Preserving Properties of Certain Relational Database Transformations,” Proc. 4th Intl. Conf. on Very Large Databases, 1978, 352–359.
Beeri, C., Bernstein, P. A. and Goodman, N. [1978] “A Sophisticate’s Introduction to Database Normalization Theory,” Proc. 4th Intl. Conf. on Very Large Databases, 1978, 113–124.
Beeri, C., Fagin, R. and Howard, J. H. [1977] “A Complete Axiomatization for Functional and Multivalued Dependencies,” Proc. ACM-SIGMOD Intl. Conf. on Management of Data, 1977, 47–61.
Beeri, C., and P. Honeyman [1979] “Preserving Functional Dependencies,” submitted for publication.
Beeri, C., Mendelzon, A. O., Sagiv, Y., and Ullman, J. D. [1979] “Equivalence of Relational Database Schemes,” Proc. 11th ACM Symp. on Theory of Computing, 1979, 319–329.
Beeri, C. and Rissanen, J. [1980] “Faithful Representation of Relational Database Schemes,” IBM Research Report RJ2722, 1980.
Beeri, C. and Vardi, M. Y. [1980] “On the Properties of Join Dependencies,” Advances in Data Base Theory, Vol. I, Plenum Press, this volume.
Bernstein, P. A. [1976] “Synthesizing Third Normal Form Relations from Functional Dependencies,” TODS 1, 4 (1976) 277–298.
Codd, E. F. [1970] “A Relational Model for Large Shared Data Banks,” CACM 13, 6 (1970) 377–387.
Codd, E. F. [1972] “Further Normalization of the Data Base Relational Model” In: Data Base Systems (R. Rustin, Ed.), Prentice Hall, Englewood Cliffs, N. J., 1972, 33–64.
Delobel, C. [1978] “Normalization and Hierarchical Dependencies in the Relational Data Model,” TODS 3, 3 (1978) 201–222.
Fagin, R. [1977] “Multivalued Dependencies and a New Normal Form for Relational Databases,” TODS 2, 3 (1977) 262–278.
Fagin, R. [1979] “Normal Forms and Relational Database-Operators,” Proc. ACM-SIGMOD Intl. Conf. on Management of Data, 1979, 153–160.
Maier, D., Mendelzon, A. O., and Sagiv, Y. [1979] “Testing Implications of Data Dependencies,” TODS 4, 4 (1979) 455–469.
Maier, D., Sagiv, Y. and Yannakakis, M. [1979] “On the Complexity of Testing Implication of Functional and Join Dependencies,” unpublished manuscript, 1979.
Mendelzon, A. O. and Maier, D. [1979] “Generalized Mutual Dependencies and the Decomposition of Database Relations,” Proc. 5th Intl. Conf. on Very Large Databases, 1979, 75–82.
Rissanen, J. [1977] “Independent Components of Relations,” TODS 2, 4 (1977) 317–325.
Rissanen, J. [1978] “Theory of Relations for Databases — a Tutorial Survey,” Proc. Symp. on Mathematical Foundations of Computer Science, Springer-Verlag, Zakopane, Poland, 1978, 536–551.
Sagiv, Y. and Fagin, R. [1979] “An Equivalence between Relational Database Dependencies and a Subclass of Propositional Logic,” IBM Research Report RJ2500, 1979.
Sciore, E. [1979] “A Complete Axiomatization of Full Join Dependencies,” Princeton Univ., Dept. of EECS TR#279, July 1979.
Ullman, J. D. [1980] Principles of Database Systems, Computer Science Press, Potomac, Md. 1980.
Vardi, M.Y. [1979] “Inferring Multivalued Dependency from Functional and Join Dependencies,” submitted for publication.
Zaniolo, C. [1979] “Analysis and Design of Relational Schemata for Database Systems,” doctoral dissertation, UCLA, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Plenum Press, New York
About this chapter
Cite this chapter
Maier, D., Mendelzon, A.O., Sadri, F., Ullman, J.D. (1981). Adequacy of Decompositions of Relational Databases. In: Gallaire, H., Minker, J., Nicolas, J.M. (eds) Advances in Data Base Theory. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-8297-7_4
Download citation
DOI: https://doi.org/10.1007/978-1-4615-8297-7_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4615-8299-1
Online ISBN: 978-1-4615-8297-7
eBook Packages: Springer Book Archive