Abstract
View integration is a method that should help to manage the complexity of design problems for extensive database applications with many different user groups. For each such user group the requirements and expectations are separately specified as simple view database schemes, which are subsequently integrated into a global scheme that is able to support all views.
In this paper we present a simple, formal specification method for view integration, which is used as a theoretical basis to show some severe computational limits of computer-aided view integration. Particularly, we prove that conflictfreeness of a set of views is undecidable and furthermore, we show that finite logical implication is undecidable for a simple class of integrity and integration constraints, which we believe to be essential to any reasonable integration method.
This research was supported by the Deutsche Forschungsgemeinschaft under grant number Bi 311/1-1.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Albano, V. De Antonellis, A. Di Leva (eds.), ‘Computer-aided database design: the DATAID project', North-Holland, 1985.
J. Biskup, B. Convent, ‘A formal view integration method', ACM-Sigmod International Conference on Management of Data, 1986, 398–407.
C. Batini, M. Lenzerini, M. Moscarini, ‘Views integration', in [Ceri], 1983, 57–84.
M.A. Casanova, V.M.P. Vidal, ‘Towards a sound view integration methodology', 2nd ACM-Sigact-Sigmod Symposium on Principles of Database Systems, 1983, 36–47.
S. Ceri (ed.), ‘Methodology and tools for data base design', North-Holland, 1983.
M.A. Casanova, R. Fagin, C.H. Papadimitriou, ‘Inclusion dependencies and their interaction with functional dependencies', 1st ACM-Sigact-Sigmod Symposium on Principles of Database Systems, 1982, 171–176.
A.K. Chandra, M.Y. Vardi, ‘The implication problem for functional and inclusion dependencies is undecidable', SIAM J. Comput., Vol. 14, No. 3, 671–677, 1985.
E.F. Codd, ‘A relational model of data for large shared data banks', Comm. ACM 13 (6), 1970, 377–387.
E.F. Codd, ‘Further normalization of the data base relational model', in ‘Data base systems', R. Rustin (ed.), Courant Computer Science Symposia 6, Englewood Cliffs, N.J., Prentice-Hall, 1972, 33–64.
R. Fagin, M.Y. Vardi, ‘The theory of data dependencies — a survey', IBM Research Report RJ 4321, IBM Research Laboratory, San Jose, 1984.
Y. Gurevich, H.R. Lewis, ‘The word problem for cancellation semigroups with zero', Journal of Symbolic Logic, Vol. 49, No. 1, 1984, 184–191.
Y. Gurevich, ‘The word problem for certain classes of semigroups', Algebra and Logic, Vol. 5, 1966, 25–35. (in Russian)
G. Lallement, 'semigroups and combinatorial applications', John Wiley & Sons, 1979.
V.Y. Lum et. al., ‘1978 New Orleans data base design workshop report', 5th VLDB, 1979, 328–339.
D. Maier, ‘The theory of relational databases', Computer Science Press, 1983.
J. Mylopoulos, A. Borgida, S. Greenspan, H.K.T. Wong, ‘Information system design at the conceptual level — the TAXIS project', IEEE Database Engineering, Vol. 7, No. 4, 1984, 4–9.
J.C. Mitchell, ‘The implication problem for functional and inclusion dependencies', Information and Control 56, 1983, 154–173.
S.B. Navathe, S.G. Gadgil, ‘A methodology for view integration in logical database design', 8th VLDB, 1982, 142–164.
S.B. Navathe, ‘Important issues in database design methodologies and tools', in [AAL], 1985, 199–212.
S.B. Navathe, R. Elmasri, J. Larson, ‘Integrating user views in database design', IEEE COMPUTER, Jan. 1986, 50–62.
E.L. Post, ‘Recursive unsolvability of a problem of Thue', Journal of Symbolic Logic, Vol. 12, 1947, 1–11.
D. Reiner, M. Brodie et al., ‘The database design and evaluation workbench (DDEW) project at CCA', IEEE Database Engineering, Vol. 7, No. 4, 1984, 10–15.
T.J. Teorey, J.P. Fry, ‘Design of database structures', Prentice-Hall, 1982.
J.D. Ullman, ‘Principles of database systems', 2nd ed., Computer Science Press, 1982.
M.Y. Vardi, ‘Fundamentals of dependency theory', in ‘Current trends in theoretical computer science', E. Börger (ed.), Computer Science Press, to appear.
S.B. Yao, S.B. Navathe, J.-L. Weldon, ‘An integrated approach to database design', Data Base Design Techniques I, Requirements and logical Structures, NYU Symposium New York, 1978, 1–30.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Convent, B. (1986). Unsolvable problems related to the view integration approach. 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_34
Download citation
DOI: https://doi.org/10.1007/3-540-17187-8_34
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