Skip to main content
SpringerLink
Log in

Large database specifications from small views

  • Conference paper
  • First Online:
Book cover Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1985)

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

Abstract

In this paper we explore the role of specification as an aid to database construction. A modal system of logic is introduced to model databases together with a structuring technique to create larger database specifications from smaller ones. The basic theory as well as the additional modelling structure is illustrated initially by characterizing a stack data structure as a "view" of an array data structure. Later we give a more realistic example describing an airline network system. We conclude with items for further research.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. F. Allen: A general model of action and time, TR97, Nov 81, Department of Computing, University of Rochester.

    Google Scholar 

  2. The ANSI/SPARC DBMS Model: Proc. of the Second SHARE Working Conf. on Database Management Systems, Montreal, Canada, North-Holland (1977).

    Google Scholar 

  3. Bauer et al: Report on a wide spectrum language for program specification and development. Report TUM-I8104, Institut fur Informatic, Technische Universitat Munchen (1981).

    Google Scholar 

  4. R. M. Burstall, J. A. Gougen: The Semantics of Clear: A Specification Language. In Proc, Advanced Course on Abstract Software Specification (D. Bjourner (ed.)), LNCS S86 S (1980).

    Google Scholar 

  5. F. Bancilhon, N. Spyratos, "Update Semantics of Relational Views," ACM-TODS, Vol. 6, No. 4, Dec. 1981.

    Google Scholar 

  6. M. A. Cassanova, J. M. V. Castilho, A. L. Furtado: "Properties of Conceptual and External Database Schemes". Series: Monografias em Ciencias da Computacao No. 11/81, Departmento de Informatica P.U.C. do Rio de Janeiro.

    Google Scholar 

  7. P. Chen: The Entity-Relationship Model — Toward a Unified View of Data, ACM-TODS, Vol. 1, 1976.

    Google Scholar 

  8. U. Dayal, P. A. Bernstein: On the Correct Translation of Update Operations on Relational Views, ACM-TODS, Vol. 8, No. 3, Sept. 1982, pp 381–416.

    Article  Google Scholar 

  9. W. Dosch, G. Mascari, M. Wirsing: On the Algebraic Specification of Databases, R, 82-11 Universita di Roma, Instituto di Automatica Agosto 1982.

    Google Scholar 

  10. H. Ehrig, H. J. Kreowski, H. Hansen: ACT ONE, An Algebraic Specification Language with Two Levels of Semantics, Techn. Report TU Berlin, No. 83-03, 1983.

    Google Scholar 

  11. H. Ehrig, H. J. Kreowski, H. Weber: Algebraic Specification Schemes for Database Systems, Proc. of 4th Int. Conf. on Very large Databases, 1978.

    Google Scholar 

  12. M. H. Van Emden, R. A. Kowalski: The Semantics of Predicate Logic as a Programming Language, Journal of the ACM 23(4): 733–742, 1976.

    Article  Google Scholar 

  13. H. B. Enderton: "A Mathematical Introduction to Logic", Academic Press (1972).

    Google Scholar 

  14. J. A. Goguen: Order Sorted Algebra, Technical Report, UCLA Computer Science Department, 1978, Semantics and Theory of Computation, Report No. 14.

    Google Scholar 

  15. J. A. Goguen: Merged Views, Closed Worlds and Ordered Sorts, Internal Report, SRI, 1982.

    Google Scholar 

  16. F. Golshani: "Growing Certainty with Null Values", Research Report DOC 82/22, Imperial College, U.K.

    Google Scholar 

  17. F. Golshani, T. S. E. Maibaum, M. Sadler: "A Modal System of Algebras for Database Specification and Query/Update Language Support", Ninth Int. Conf. on Very Large Databases, pp 331–339, Florence, Italy, 1983.

    Google Scholar 

  18. J. A. Goguen, J. Tardo: An Introduction to OBJ: a Language for Writing and Testing Software Specifications. In "Specification of Reliable Software", pp 170–189, IEEE, 1979.

    Google Scholar 

  19. J. V. Guttag: Abstract Data Types and the Development of Data Structures, Supplement to Proc. Conf. on Data Abstraction, Definition and Structure, SIGPLAN Notices 8, March 1976.

    Google Scholar 

  20. C. Hewitt, "Planner: A language for Proving Theorems in Robots," in Proc. IJCAI, Washington DC, pp 295–301.

    Google Scholar 

  21. S. Khosla: A Deontic Logic to Describe Actions, Dept. of Computing Report, Imperial college, London.

    Google Scholar 

  22. R. A. Kowalski: Private Communication, 1981.

    Google Scholar 

  23. R. A. Kowlaski: Logic as a Database Language, Proc. of Advanced Seminar on Theoretical Issues in Databases, Cetraro, Italy, 1981.

    Google Scholar 

  24. B. Liskov, S. Zilles: "Specification Techniques for Data Abstractions," IEEE Transactions on Software Engineering, Vol. 1, No. 1, pp 7–19, 1975

    Google Scholar 

  25. J. McCarthy, P. J. Hayes Some Philosophical Problems from A.I. in Machine Intelligence 4.

    Google Scholar 

  26. J. M. Nicolas, H. Galliere: "Database: Theory vs Interpretation", in Logic and Databases, ed. Galliere and Minker, 1978.

    Google Scholar 

  27. T. S. E. Maibaum: "Database Instances, Abstract Data Types and Database Specification", To Appear in the Computing Journal of the British Computer Society.

    Google Scholar 

  28. J. Morriss: "Types are not Sets", Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Mass, pp 120–124, 1973.

    Google Scholar 

  29. T. S. E. Maibaum, C. S. dos Santos, A. L. Furtado: "A Uniform Logical Treatment of Queries and Updates", Technical Report DB018001 — Jan. 80, Department de Informatica, PUC do Rio de Janeiro.

    Google Scholar 

  30. T. S. E. Maibaum, M. R. Sadler, P. A. S. Veloso: Logical Implementation, Internal Report, Dept. of Computing, Imperial College, (U.K.), 1983.

    Google Scholar 

  31. P. Paolini, G. Pelagatti, "Formal Definition of Mappings in a Database," ACM SIG-MOD conference proceedings, 1977.

    Google Scholar 

  32. R. Reiter: "On Closed World Databases", in Logic and Databases, ed. Galliere and Minker, 1978.

    Google Scholar 

  33. N. Rescher, R. Brandom: The Logic of inconsistency, APQ Library of Philosophy, Basil Blackwell (Publishers), Oxford, 1980.

    Google Scholar 

  34. J. M. Smith, D. C. P. Smith: Database Abstractions: Aggregation and Generalization, ACM-TODS Vol. 2, 1977.

    Google Scholar 

  35. D. Sannella, M. Wirsing: A Kernal Language for Algebraic Specification and Implementation, Internal Report, CSR-131-83, University of Edinburgh, 1983.

    Google Scholar 

  36. H. Weber: "Modularity in Data Base System Design," in Issues in Data Base Management, ed. Coiser and Wasserman, North Holland, 1979.

    Google Scholar 

  37. S. N. Zilles: "Algebraic Specifications of Data Types", In Project MAC progress report for 1973–74, CSG Memo 119, MIT, Cambridge, Mass. pp 1–12.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, SW7 2BX, London

    S. Khosla, T. S. E. Maibaum & M. Sadler

Authors
  1. S. Khosla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. S. E. Maibaum
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Sadler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. N. Maheshwari

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khosla, S., Maibaum, T.S.E., Sadler, M. (1985). Large database specifications from small views. In: Maheshwari, S.N. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1985. Lecture Notes in Computer Science, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16042-6_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-16042-6_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16042-7

  • Online ISBN: 978-3-540-39722-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation