Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Algebraic Specification of Databases — A Survey from a Database Perspective

  • Conference paper
Specifications of Database Systems

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 39 Accesses

Abstract

Algebraic specification of databases is critically reviewed in terms of its applicability to database implementation. A number of key issues of database design are identified and the bearing of algebraic specification on these issues is discussed. Attention is drawn to those aspects of database design which have been neglected by the algebraic specification community. Strengths and weaknesses in other aspects of algebraic specifications of databases are highlighted.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L.D. Natanson, W.B. Samson and A.W. Wakelin Object-oriented Implementations from a Functional Specification, Proc. Software Quality Workshop, Dundee, 1990.

    Google Scholar 

  2. J. A. Goguen, J. W. Thatcher, E. G. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data types in Current Trends in Programming Methodology, vol IV, R. Yeh ed., Prentice Hall, 1978.

    Google Scholar 

  3. R. Harper, D. Macqueen, R. Milner Standard ML, Edinburgh University Internal Report ECS-LFCS-86–2, 1986.

    Google Scholar 

  4. F. Hayes A relational algebra specification using AXIS, Hewlett Packard technical memo HPL-ISC-TM-88–019, 1988

    Google Scholar 

  5. W. B. Samson, S. M. Deen, A. W. Wakelin, R. Sadeghi, Formalising the Relational Algebra — Some specifications, observations, problems and suggestions, presented at Formal Methods Workshop, Teesside Polytechnic, 1987.

    Google Scholar 

  6. A. Poigne On specifications, theories and models with higher types, Information and Control, vol 68, pp 1–46, 1986

    Article  MathSciNet  MATH  Google Scholar 

  7. Eric G. Wagner Categorical semantics, or extending data types to include memory, Recent Trends in Data Type Specification–3rd Workshop on theory and applications of abstract data types, ed H.-J. Kreowski, Springer-Verlag, pp 1–21, 1985.

    Google Scholar 

  8. A. L. Furtado, T. S. E. Maibaum, An informal approach to formal (algebraic) specifications, Computer Journal, vol. 28, no. 1, pp 59–67, 1985.

    Article  MATH  Google Scholar 

  9. T. S. E. Maibaum, Database instances, abstract data types and database specification, Computer Journal, vol 28, no. 2, pp 154–61, 1985.

    Article  Google Scholar 

  10. P. W. Trinder Referentially transparent database languages, in Functional Programming, Springer Workshops in Computing, Glasgow, 1990.

    Google Scholar 

  11. H.-D. Ehrich Algebraic (?) specification of conceptual database schemata, Recent Trends in Data Type Specification–3rd Workshop on theory and applications of abstract data types, ed H.-J. Kreowski, Springer-Verlag, pp 22–27, 1985.

    Google Scholar 

  12. S. Khosla, T. Maibaum, M. Sadler Database specification 1985

    Google Scholar 

  13. R. Burstall, B. Lampson, A kernel language for modules and abstract data types, Semantics of Data Types, LNCS 173, Springer-Verlag, 1984.

    Google Scholar 

  14. E. Dennis–Jones and David Rydeheard Categorical ML – Category–Theoretic Modular Programming University of Manchester Technical Report UMCS–89–8–3, 1989.

    Google Scholar 

  15. W. B. Samson, A. W. Wakelin, PEARL — a database query language for the integration of data and knowledge bases, Proc. Int. Conf. on AI in industry and government, Hyderabad, India, ed P. Balagurusamy, Macmillan 1989

    Google Scholar 

  16. A. Bossi, C. Chezzi, Using FP as a query language for relational databases, Computer Languages, vol 9, no. 1, pp 25–37, 1984.

    Article  Google Scholar 

  17. R. Wieringa, R. van der Riet, Algebraic specification of object dynamics in knowledge base domains, Artificial intelligence in databases and information systems, ed. by R. A. Meersman and Shi Zhonggzhi, North Holland, pp 411–36 1990.

    Google Scholar 

  18. H.-D. Ehrich, Key extensions of abstract data types, final algebras and database semantics, Category theory and computer programming, ed. by D. Pitt, S. Abramsky, A. Poigne, D. Rydeheard, Springer-Verlag, pp 412–33, 1986.

    Google Scholar 

  19. E. Y. Wong, W. B. Samson The specification of a relational database (PRECI) and its realisation in HOPE, Computer Journal, vol 29, no 3, pp 261–268, 1986.

    Article  MATH  Google Scholar 

  20. H. Ehrig, A. Habel, B. K. Rosen, Concurrent transformations of relational structures, Fundamenta Informaticae, vol 9 pp 13–50, 1986.

    MathSciNet  MATH  Google Scholar 

  21. H. Ehrig, H.-J. Kreowski, H. Weber, Algebraic specification schemes for data base systems HMI-B 266, Hahn-Meitner-Institut fur Kernforschung Berlin GMBH, 1978.

    Google Scholar 

  22. M. A. Melkanoff, M. Zamfir, The axiomatisation of data base conceptual models by abstract data types, UCLA-ENG-7785, University of California, Los Angeles, 1978.

    Google Scholar 

  23. P. C. Lockemann, H. C. Mayr, W. H. Weil, W. H Wohlleber, Data abstractions for database systems, ACM ToDS, vol 4, no 1, pp 60–75, 1979.

    Article  Google Scholar 

  24. H.-J. Kreowski (ed.) Recent trends in data type specification, Springer-Verlag, 1985.

    Google Scholar 

  25. K. Benecke, On dependencies in hierarchical data structures, Tanulmanyok Magy. Tud. Akad. Szamtastech. and Autom. Kut. Intez. (Hungary) no. 185, pp 113–20, 1986.

    Google Scholar 

  26. B. G. Claybrook, A. M. Claybrook, J. Williams, Defining database views as data abstractions, IEEE Transactions in Software Engineering, vol SE-11, no. 1, pp 3–14, 1985.

    Article  Google Scholar 

  27. A. L. Furtado, E. J. Neuhold, Formal Techniques for Database Design, Springer Verlag, 1985

    Google Scholar 

  28. W. Dosch, G. Mascari, M. Wirsing, On the algebraic specification of databases, Proc. VLDB, pp 370–385, 1982.

    Google Scholar 

  29. F. W. Tompa A practical example of the specification of abstract data types, Acta Informatica, vol 13, no 3, pp 205–24, 1980.

    Article  MathSciNet  MATH  Google Scholar 

  30. S. Abiteboul, V. Vianu A transaction-based approach to relational database specification, J.A.C.M. vol 36 no 4, pp 758–89, 1989.

    MathSciNet  Google Scholar 

  31. H.-D. Ehrich, K. Drosten, M. Gogolla, Towards an algebraic semantics for database specification, Data and Knowledge (DS-2). Proc. Second IFIP 2.6 working Conf. on database semantics. pp 119–35, North Holland 1988.

    Google Scholar 

  32. P. A. S. Veloso, A. L. Furtado Stepwise construction of algebraic specifications (databases), in H. Gallaire, J. Minker, J. M. Nicolas (eds), Advances in Database Theory vol. 2, pp 321–352, Plenum, 1984.

    Google Scholar 

  33. F. Golshani, T. S. E. Maibaum, M. R. Sadler, A modal system of algebras for database specification and query/update language support, Proc 9th VLDB Conf., Florence, 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical and Computer Sciences, Dundee Institute of Technology, Bell Street, Dundee, DD1 1HG, Scotland

    W. B. Samson & A. W. Wakelin

Authors
  1. W. B. Samson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. W. Wakelin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Glasgow, 17 Lilybank Gardens, G12 8QQ, Glasgow, Scotland

    David J. Harper BSc, PhD  & Moira C. Norrie BSc, MSc  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag London

About this paper

Cite this paper

Samson, W.B., Wakelin, A.W. (1992). Algebraic Specification of Databases — A Survey from a Database Perspective. In: Harper, D.J., Norrie, M.C. (eds) Specifications of Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3864-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3864-8_13

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19732-4

  • Online ISBN: 978-1-4471-3864-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation