Abstract
A new decomposition theory for 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 functional dependency implication (fdi), which is a partial implication between functional dependencies (fd's). This horizontal decomposition is especially useful for databases which cannot be decomposed vertically (in the classical way) because no (or too few) fd's hold.
The “goals”, conditional-functional dependencies (cfd's) and imposed-functional dependencies (ifd's), introduced in previous work, all are special kinds of fdi's, and so are functional dependencies.
The horizontal decomposition induces another new constraint: the anti-functional dependency (afd), of which the afunctional dependency (ad), introduced in previous work, is a special case. The membership problem is solved for mixed fdi's and afd's, and a complete set of inference rules is given. The inheritance problem, i.e. which dependencies hold in the subrelations (generated by the horizontal decomposition), is shown to be solvable in polynomial time.
Research assistant of the N.F.W.O.
Preview
Unable to display preview. Download preview PDF.
References
Armstrong W., Dependency structures of database relationships, Proc. IFIP 74, North Holland, pp. 580–583, 1974.
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.
Beeri C., Vardi M. Y., Formal Systems for Tuple and Equality Generating Dependencies. SIAM Journal on Computing, 13.1, pp. 76–98, 1984.
Bernstein P.A., Normalization and Functional Dependencies in the Relational Database Model, CSRG-60, 1975.
Codd E., Further normalizations of the database relational model, In Data Base Systems (R. Rustin, ed.) Prentice Hall, N.J., pp. 33–64, 1972.
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.
De Bra P., Paredaens J., Horizontal Decompositions for Handling Exceptions to Functional Dependencies, in “Advances in Database Theory”, Vol. II, pp. 123–144, 1983.
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.
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.
Fagin R., Armstrong Databases, IBM RJ 3440, 1982.
Paredaens J., De Bra P., On Horizontal Decompositions, XP2-Congress, State Univ. of Pennsylvania, 1981.
Ullman J., Principles of Database Systems, Pitman, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Bra, P. (1988). Functional dependency implications, inducing horizontal decompositions. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds) MFDBS 87. MFDBS 1987. Lecture Notes in Computer Science, vol 305. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19121-6_6
Download citation
DOI: https://doi.org/10.1007/3-540-19121-6_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19121-6
Online ISBN: 978-3-540-39124-1
eBook Packages: Springer Book Archive