Skip to main content

Theory of relations for databases — a tutorial survey

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1978 (MFCS 1978)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 64))

Abstract

This is an account of a theory of relations that has advanced from Codd's relational model of data for databases. The theory developed so far by a number of authors deals with syntactic characterizations of the closed families of functional, multivalued, and general join dependencies that hold in relations. It also deals with representation of relations by a collection of others corresponding to a decomposition of the closed families of constraints.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. F. Codd, "A Relational Model of Data for Large Shared Data Banks," Comm. ACM, Vol. 13, No. 6, June 1970, pp. 377–387.

    Article  Google Scholar 

  2. E. F. Codd, "Further Normalization of the Data Base Relational Model," Courant Comp. Sc. Symp. 6: Data Base Systems, Prentice-Hall, N.J., May 1971, pp. 65–98.

    Google Scholar 

  3. C. Delobel, "Contributions Theoretique a la Conception d'un Systeme d'informations," Ph.D. thesis, Univ. of Grenoble, Oct. 1973.

    Google Scholar 

  4. C. Delobel, "Aspects Theoretiques sur la Structure de l'Information dans une Base de Donneé," Revue Informatique et Rech. Oper. B3, (1971) pp. 37–64.

    Google Scholar 

  5. C. Delobel, R. G. Casey, "Decomposition of a Data Base and the Theory of Boolean Switching Functions," IBM J. Res. Dev. 17, 1973, pp. 374–386.

    Google Scholar 

  6. W. W. Armstrong, "Dependency Structures of Data Base Relationships," IFIP 74, North-Holland Pub. Co. Amsterdam, 1974, pp. 580–583.

    Google Scholar 

  7. R. Fagin, "Multivalued Dependencies and a New Normal Form for Relational Databases," ACM Trans. on Database Systems, Vol. 2, No. 3, Sept. 1977, pp. 262–278.

    Article  Google Scholar 

  8. C. Zaniolo, Analysis and Design of Relational Schemeta for Database Systems, Ph.D. Diss. Tech. Rep. UCLA-ENG-7669 of U. of Cal., Los Angeles, Cal., July 1976.

    Google Scholar 

  9. C. Beeri, R. Fagin, and H. J. Howard, "A Complete Axiomatization of Functional and Multivalued Dependencies in Database Relations," ACM SIGMOD Int. Conf. on Management of Data, Toronto, Canada, 1977, pp. 47–61.

    Google Scholar 

  10. J. Rissanen, "Independent Components of Relations," ACM Trans. on Database Systems, Vol. 2., No. 4., Dec. 1977.

    Google Scholar 

  11. A. V. Aho, C. Beeri, and J. Ullman, "The Theory of Joins in Relational Data Bases," Proc. 19th IEEE Symp. on Foundations of Comp. Sci., 1977.

    Google Scholar 

  12. J. Rissanen, "Relations with Functional and Join Dependencies and Their Representation by Independent Components," IBM Res. Rep.

    Google Scholar 

  13. P. A. Bernstein, "Normalization and Functional Dependencies in the Relational Data Base Model," Ph.D. Thesis Dept. of Comp. Sci., Univ. of Toronto, Toronto, Canada, 1975.

    Google Scholar 

  14. P. A. Bernstein and C. Beeri, "An Algorithmic Approach to Normalization of Relational Database Schemes," TRCSRG-73, Comp. Sci. Res. Group, Univ. of Toronto, Sept. 1976.

    Google Scholar 

  15. R. Fagin, "Functional Dependencies in a Relational Database and Propositional Logic," IBM J. Res. Dev., Vol. 21, No. 6, Nov. 1977, pp. 534–544.

    Google Scholar 

  16. H. A. Schmid and J. R. Swenson, "On the Semantics of the Relational Data Model," Proc. ACM SIGMOD Conf. W. F. King, Ed., San Jose, Cal., May 1975, pp. 211–223.

    Google Scholar 

  17. J. M. Cadiu, "On Semantic Issues in the Relational Model of Data," Proc. Int. Symp. on Math. Found's of Comp. Sc., Gdan'sk, Poland, Lecture Notes in Comp. Sc. Springer-Verlag, Heidelberg, Sept. 1975.

    Google Scholar 

  18. I. J. Heath, "Unacceptable File Operations in a Relational Data Base," Proc. 1971 ACM SIGFIDET Workshop on Data Description, Access and Control, San Diego, California, pp. 19–68.

    Google Scholar 

  19. A. V. Aho, Y. Sagiv, J. D. Ullman, "Equivalences Among Relational Expressions," (unpublished memorandum, Bell Labs, Murray Hill, N.J.)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

J. Winkowski

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rissanen, J. (1978). Theory of relations for databases — a tutorial survey. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_102

Download citation

  • DOI: https://doi.org/10.1007/3-540-08921-7_102

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08921-6

  • Online ISBN: 978-3-540-35757-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics