Abstract
The problem of designing database schemes satisfying the three design properties lossless join, Boyce-Codd normal form and α-acyclicity is considered. First, it is shown by a sample relation scheme, that these three properties are not always obtainable. This result is independent of any design method. Secondly, the problem of using the BCNF-decomposition algorithm for designing database schemes, which are additionally α-acyclic, is investigated. A characterization of those decomposotion processes yielding α-acyclic, lossless database schemes is given.
The main result of the paper is, that for each relation scheme an α-acyclic, lossless BCNF-database scheme can be constructed. This goal is reached by using the concept of lattice compatible augmentation, cf. /KaMa 80/, i.e. the original relation scheme is expanded by additional surrogate attributes (and related functional dependencies). Moreover, this result yields a modified two phase BCNF-decomposition algorithm.
Preview
Unable to display preview. Download preview PDF.
References
G. Ausiello, A. D'Atri, M. Moscarini: ‘Minimal Coverings of Acyclic Database Schemata', in ‘Advances in Database Theory, Vol. 2', ed.: H. Gallaire, J. Minker, J. Nicolas, Plenum Press, New York, 1984.
C. Beeri, R. Fagin, D. Maier, A. Mendelzon, J. Ullman, M. Yannakakis: ‘Properties of Acyclic Database Schemes', Proc. STOC 1981.
C. Beeri, R. Fagin, D. Maier, M. Yannakakis: ‘On the Desirability of Acyclic Database Schemes', JACM, vol. 30(3), 1983.
Ph. A. Bernstein: 'synthesizing Third Normal Form Relations From Functional Dependencies', ACM TODS, vol. 1(4), 1976.
J. Biskup: ‘Entwurf von Datenbankschemas durch schrittweises Entfernen verbotener Teilstruckturen', Proc. GI-Conference ‘Entwurf von Informationssystemen', Tutzing, 1985.
J. Biskup, H. Brueggemann: ‘Towards Designing Acyclic Database Schemes', in: ‘Advances in Database Theory, Vol. 2', ed. H. Gallaire, J. Minker, J. M. Nicolas, Plenum Press, New York, 1984.
J. Biskup, U. Dayal, Ph. A. Bernstein: 'synthesizing Independent Relation Schemes', Proc. ACM SIGMOD 1979.
A. D'Atri, M. Moscarini: ‘On the Recognition and Design of Acyclic Databases', ACM Proc. PODS 1984.
R. Fagin: ‘Acyclic Database Schemes: A Painless Introduction', Proc. CAAP'83, LNCS 159, 1983.
R. Fagin: ‘Degrees of Acyclicity for Hypergraphs and Relational Database Systems', JACM, vol. 30(3), 1983.
P. Kandzia, M. Mangelmann: ‘On Covering Boyce-Codd Normal Forms', IPL, vol. 11(4,5), 1980.
H. Katsuno: ‘An Extension of Conflict-Free Multivalued Dependency Sets', ACM TODS, vol.9(2), 1984.
Y. E. Lien: ‘On the Equivalence of Database Models', JACM, vol. 29(2), 1982.
D. Maier: ‘The Theory of Relational Databases', Computer Science Press, 1983.
D. Ruland: ‘Modifications and Acyclic Decompositions of Relational Database Schemes', Ph.D. Thesis, 1985.
D. Ruland, D. Seipel: ‘Alpha-Acyclic Decompositions of Relational Database Schemes', ACM Proc. PODS 1986.
D. Sacca: ‘On the Recognition of Coverings of Acyclic Database Hypergraphs', ACM Proc. PODS 1983.
D. Sacca: ‘Closures of Database Hypergraphs', JACM, vol. 32(4), 1985.
D. Seipel: ‘Entwurf azyklischer BCNF-Datenbankschemata', Diploma Thesis, 1985.
J. D. Ullman: ‘Principles of Database Systems', Computer Science Press, 1984.
L.-Y. Yuan, Z. M. Ozsoyoglu: ‘Unifying Functional and Multivalued Dependencies for Relational Database Design', ACM Proc. PODS 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ruland, D., Seipel, D. (1988). Designing alpha-acyclic BCNF-database schemes. 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_11
Download citation
DOI: https://doi.org/10.1007/3-540-19121-6_11
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