Imposed-functional dependencies inducing horizontal decompositions

  • P. De Bra
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 194)


A new decomposition theory for functional dependencies in the Relational Database Model is given. It uses a horizontal decomposition of a relation into two disjoint subrelations, of which the union is the given relation. This horizontal decomposition is based on a new constraint, the imposed-functional dependency (ifd), of which the conditional-functional dependency (cfd), introduced in a previous work, is a special case.

Functional dependencies can be expressed as special cfd's, (which themselves are special cases of ifd's). The horizontal decomposition induces another constraint: the afunctional dependency. The membership problem for mixed ifd's and ad's is solved, and a complete set of inference rules is given. The inheritance problem, i.e. the problem of determining which dependencies hold in the subrelations that result from a horizontal decomposition step, is shown to be solvable in polynomial time.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ar]
    Armstrong W., Dependency structures of database relationships, Proc. IFIP 74, North Holland, pp. 580–583, 1974.Google Scholar
  2. [Be]
    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.CrossRefGoogle Scholar
  3. [Ber]
    Bernstein P.A., Normalization and Functional Dependencies in the Relational Database Model, CSRG-60, 1975.Google Scholar
  4. [Co]
    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. [De1]
    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. [De2]
    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. [De3]
    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. [Fa]
    Fagin R., Armstrong Databases, IBM RJ 3440, 1982.Google Scholar
  9. [Pa]
    Paredaens J., De Bra P., On Horizontal Decompositions, XP2-Congress, State Univ. of Pennsylvania, 1981.Google Scholar
  10. [Sm]
    Smith J., Smith D., Data base abstractions: Aggregation and generalization, ACM TODS, vol. 2.2, pp. 105–133, 1977.CrossRefGoogle Scholar
  11. [Ul]
    Ullman J., Principles of Database Systems, Pitman, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • P. De Bra
    • 1
  1. 1.Department of MathematicsUniversity of Antwerp, U.I.A.AntwerpBelgium

Personalised recommendations