Skip to main content

Unsolvable problems related to the view integration approach

Contributed Papers

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

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.

Keywords

  • Decision Problem
  • User Group
  • Word Problem
  • Integrity Constraint
  • Relation Scheme

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This research was supported by the Deutsche Forschungsgemeinschaft under grant number Bi 311/1-1.

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_34
  • Chapter length: 16 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. A. Albano, V. De Antonellis, A. Di Leva (eds.), ‘Computer-aided database design: the DATAID project', North-Holland, 1985.

    Google Scholar 

  2. J. Biskup, B. Convent, ‘A formal view integration method', ACM-Sigmod International Conference on Management of Data, 1986, 398–407.

    Google Scholar 

  3. C. Batini, M. Lenzerini, M. Moscarini, ‘Views integration', in [Ceri], 1983, 57–84.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. S. Ceri (ed.), ‘Methodology and tools for data base design', North-Holland, 1983.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. E.F. Codd, ‘A relational model of data for large shared data banks', Comm. ACM 13 (6), 1970, 377–387.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. R. Fagin, M.Y. Vardi, ‘The theory of data dependencies — a survey', IBM Research Report RJ 4321, IBM Research Laboratory, San Jose, 1984.

    Google Scholar 

  11. Y. Gurevich, H.R. Lewis, ‘The word problem for cancellation semigroups with zero', Journal of Symbolic Logic, Vol. 49, No. 1, 1984, 184–191.

    Google Scholar 

  12. Y. Gurevich, ‘The word problem for certain classes of semigroups', Algebra and Logic, Vol. 5, 1966, 25–35. (in Russian)

    Google Scholar 

  13. G. Lallement, 'semigroups and combinatorial applications', John Wiley & Sons, 1979.

    Google Scholar 

  14. V.Y. Lum et. al., ‘1978 New Orleans data base design workshop report', 5th VLDB, 1979, 328–339.

    Google Scholar 

  15. D. Maier, ‘The theory of relational databases', Computer Science Press, 1983.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. J.C. Mitchell, ‘The implication problem for functional and inclusion dependencies', Information and Control 56, 1983, 154–173.

    Google Scholar 

  18. S.B. Navathe, S.G. Gadgil, ‘A methodology for view integration in logical database design', 8th VLDB, 1982, 142–164.

    Google Scholar 

  19. S.B. Navathe, ‘Important issues in database design methodologies and tools', in [AAL], 1985, 199–212.

    Google Scholar 

  20. S.B. Navathe, R. Elmasri, J. Larson, ‘Integrating user views in database design', IEEE COMPUTER, Jan. 1986, 50–62.

    Google Scholar 

  21. E.L. Post, ‘Recursive unsolvability of a problem of Thue', Journal of Symbolic Logic, Vol. 12, 1947, 1–11.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. T.J. Teorey, J.P. Fry, ‘Design of database structures', Prentice-Hall, 1982.

    Google Scholar 

  24. J.D. Ullman, ‘Principles of database systems', 2nd ed., Computer Science Press, 1982.

    Google Scholar 

  25. M.Y. Vardi, ‘Fundamentals of dependency theory', in ‘Current trends in theoretical computer science', E. Börger (ed.), Computer Science Press, to appear.

    Google Scholar 

  26. 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.

    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

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