Skip to main content
SpringerLink
Log in

Algebraic (?) Specification of Conceptual Database Schemata

Extended Abstract

  • Conference paper
Recent Trends in Data Type Specification

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 116))

Abstract

This contribution does not present any technical results. Rather, it is an attempt to broaden the view towards specification problems and algebraic methods.

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. Buneman, P. / Frankel, R.E.: FQL — A Functional Query Language- Proc. ACM SIGMOD Int. Conf. on Management of Data 1979, 52–58

    Google Scholar 

  2. Castilho, J.M.V. / Casanova, M.A. / Furtado, A.L.: A Temporal Framework for Database Specifications- Proc- 8th Int. Conf- on Very Large Data Bases, Mexico 1982

    Google Scholar 

  3. Casanova, M.A. / Furtado, A.L.: A Family of Temporal Languages for the Description of Transition Constraints. Proc. Workshop on Logical Bases for Data Bases, Toulouse 1982

    Google Scholar 

  4. Dosch, W. / Mascari, G. / Wirsing, M.: On the Algebraic Specification of Databases- Proc- 8th Int. Conf- on Very Large Data Bases, Mexico City 1982

    Google Scholar 

  5. Ehrig, H. / Kreowski, H.J / Weber, H.: Algebraic Specification Schemes for Database Systems. Proc. 4th Int-Conf. on Very Large Data Bases, Berlin 1978

    Google Scholar 

  6. Ehrich, H.-D. / Lipeck, U.W. / Gogolla, M.: Specification, Semantics, and Enforcement of Dynamic Database Constraints. Proc- 10th Int- Conf. on Very Large Data Bases, Singapore 1984

    Google Scholar 

  7. Ehrig, M. / Mahr, B.: Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985

    Book  MATH  Google Scholar 

  8. Golshani, F. / Maibaum, T.S.E. / Sadler, M.R.: A Modal System of Algebras for Database Specification and Query /Update Language Support. Proc. 9th Int. Conf- on Very Large Data Bases, Florence 1983

    Google Scholar 

  9. Klaeren, H.: Algebraische Spezifikation. Springer—Verlag, Berlin 1983

    Book  MATH  Google Scholar 

  10. Khosla, S / Maibaum, T. S. E. / Sadler, M.: Database Specification. Proc. IFIP Working Conf. on Database Semantics, R. Meersman / T.B. Steel (eds.), North Holland, Amsterdam 1985

    Google Scholar 

  11. Kung, C.H.: A Temporal Framework for Database Specification and Verificaption. Proc. 10th Int. Conf. on Very Large Data Bases, Singapore 1984

    Google Scholar 

  12. Lipeck, U.W./ Ehrich, H.-D. / Gogolla, M. :Specifying Admissibility of Dynamic Database Behaviours Using Temporal Logic. Proc. IFIP Working Conf. on Theoretical and Formal Aspects of Information Systems, A.Sernadas et al.(eds., North Holland, Amsterdam 1985

    Google Scholar 

  13. Manna, Z. / Pnueli, A.: A Modal Logic of Programs. Proc. Conf. Automata, Languages and Programming. LNCS 19, Springer-Verlag, Berlin 1979

    Google Scholar 

  14. Rescher, N. / Urquhart, A.: Temporal Logic. Springer— Verlag, Berlin 1971

    Book  MATH  Google Scholar 

  15. Sernadas, A.: Temporal aspects of Logical Procedure Definition. Inform. Sys. 5(1980), 167–187

    Article  MATH  Google Scholar 

  16. Shipman DW.: The Functional Data Model and the Data Language DAPLEX. ACM TODS 6(1981), 140–173

    Article  Google Scholar 

  17. Tsichritzis, D.C. / Lochovsky, F.H.: Data Models. Prentice-Hall, Englewood Cliffs 1982

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inst.f.Informatik, PF 3329, D-3300, Braunschweig, Deutschland

    H.-D. Ehrich

Authors
  1. H.-D. Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Mathematik und Informatik, Universität Bremen, Postfach 330 440, 2800, Bremen 33, Germany

    Hans-Jörg Kreowski

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrich, HD. (1985). Algebraic (?) Specification of Conceptual Database Schemata. In: Kreowski, HJ. (eds) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol 116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-09691-8_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-09691-8_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16077-9

  • Online ISBN: 978-3-662-09691-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation