Skip to main content

Horizontal decompositions based on functional-dependency-setimplications

Contributed Papers

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

Abstract

A new approach towards horizontal decompositions in the Relational Database Model is given. It is based on partial implications between sets of functional dependencies. This horizontal decomposition theory is especially useful for databases which must represent “real world” situations, in which there always are exceptions to rather severe constraints like functional dependencies (fd's).

The functional-dependency-set-implication (fsi) generalizes all previous work on horizontal decompositions using partial implications between (single) fd's.

The exceptions to a set of fd's are formalized using another new constraint, the anti-functional-dependency-set (afs). The membership problem is solved for mixed fsi's and afs', and a complete set of inference rules is given. The inheritance problem, i.e. which dependencies hold in the (two) subrelations generated by the horizontal decomposition) is shown to be solvable in polynomial time.

Research assistant of the N.F.W.O.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-17187-8_35
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   89.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-47346-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   119.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Armstrong W., Dependency structures of database relationships, Proc. IFIP 74, North Holland, pp. 580–583, 1974.

    Google Scholar 

  2. Beeri C., Bernstein P.A., Computational Problems related to the Design of Normal Form Relation Schemes, ACM TODS, vol. 4.1, pp. 30–59, 1979.

    Google Scholar 

  3. Bernstein P.A., Normalization and Functional Dependencies in the Relational Database Model, CSRG-60, 1975.

    Google Scholar 

  4. Codd E., Further normalizations of the database relational model, In Data Base Systems (R. Rustin, ed.) Prentice Hall, N.J., pp. 33–64, 1972.

    Google Scholar 

  5. De Bra P., Paredaens J., The membership and the inheritance of functional and afunctional dependencies, Proc. of the Colloquium on Algebra, Combinatorics and Logic in Computer Science, Gyor, Hungary.

    Google Scholar 

  6. De Bra P., Paredaens J., Horizontal Decompositions for Handling Exceptions to Functional Dependencies, in “Advances in Database Theory”, Vol. II, pp. 123–144, 1983.

    Google Scholar 

  7. De Bra P., Paredaens J., Conditional Dependencies for Horizontal Decompositions, in “Lecture Notes in Computer Science”, Vol. 154, pp. 67–82, (10-th ICALP), Springer-Verlag, 1983.

    Google Scholar 

  8. De Bra P., Imposed-Functional Dependencies Inducing Horizontal Decompositions, in “Lecture Notes in Computer Science”, Vol. 194, pp. 158–170, (12-th ICALP), Springer-Verlag, 1985.

    Google Scholar 

  9. De Bra P., Functional Dependency Implications, Inducing Horizontal Decompositions, UIA-report 85-30, 1985.

    Google Scholar 

  10. Fagin R., Armstrong Databases, IBM RJ 3440, 1982.

    Google Scholar 

  11. Paredaens J., De Bra P., On Horizontal Decompositions, XP2-Congress, State Univ. of Pennsylvania, 1981.

    Google Scholar 

  12. Ullman J., Principles of Database Systems, Pitman, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Bra, P. (1986). Horizontal decompositions based on functional-dependency-setimplications. In: Ausiello, G., Atzeni, P. (eds) ICDT '86. ICDT 1986. Lecture Notes in Computer Science, vol 243. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17187-8_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-17187-8_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17187-4

  • Online ISBN: 978-3-540-47346-6

  • eBook Packages: Springer Book Archive