Skip to main content
SpringerLink
Log in

Canonical forms for data-specifications

  • Conference paper
  • First Online:
Computer Science Logic (CSL 1994)

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

Included in the following conference series:

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. Adamek, H. Herrlich, G. E. Strecker. Abstract and Concrete Categories Wiley-Interscience publications, 1990.

    Google Scholar 

  2. M. Barr, C. Wells Toposes, Triples and Theories Springer New York 1985.

    Google Scholar 

  3. M. Barr, C. Wells. Category Theory for Computing Science Prentice Hall International Series in Computer Science, 1990.

    Google Scholar 

  4. F. Borceux, D. Dejean. “Cauchy Completion in Category Theory” Cahiers de Topologie et Géometrie Différentielle Catégoriques, Vol. XXVII-2, pp. 133–146, 1986.

    Google Scholar 

  5. F. Borceux. Handbook of categorical algebra I Cambridge University Press, 1993.

    Google Scholar 

  6. P. P. Chen. “The Entity-Relationship Model — Towards a Unified View of Data” ACM Transactions on Database Systems, Vol. 1, No. 1, 1976,pp. 9–36.

    Article  Google Scholar 

  7. P. Coad, E. Yourdon. Object-Oriented Analysis, Yourdon Press, Englewood Cliffs, New Jersey, 1990.

    Google Scholar 

  8. A. Islam, W. Phoa. “Categorical models of relational databases I: fibrational formulation, schema integration”, preprint.

    Google Scholar 

  9. S. Mac Lane, I. Moerdijk. Sheaves in geometry and logic: a first introduction to topos theory Springer New York, 1992.

    Google Scholar 

  10. S. Van Baelen, J. Lewi, E. Steegmans, H. Van Riel. “EROOS: An Entity-Relationship based Object-Oriented Specification Method” Technology of Object-Oriented Languages and Systems TOOLS 7(ed. G. Heeg, B. Magnusson, B. Meyer), Prentice Hall, 1991, pp. 103–117.

    Google Scholar 

  11. S. Vickers. “Geometric Theories and Databases” in Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series 177, pp. 288–314.

    Google Scholar 

  12. S. Vickers. “Geometric Logic as a Specification Language”, to appear in Theory and Formal Methods 1994: Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, probably Springer Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Katholieke Universiteit Leuven, B-3001, Celestijnenlaan 200A, Belgium

    Frank Piessens (Research Assistant) & Eric Steegmans

  2. Belgian Fund for Scientific Research, Belgium

    Frank Piessens (Research Assistant)

Authors
  1. Frank Piessens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eric Steegmans
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Leszek Pacholski Jerzy Tiuryn

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Piessens, F., Steegmans, E. (1995). Canonical forms for data-specifications. In: Pacholski, L., Tiuryn, J. (eds) Computer Science Logic. CSL 1994. Lecture Notes in Computer Science, vol 933. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022271

Download citation

  • DOI: https://doi.org/10.1007/BFb0022271

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60017-6

  • Online ISBN: 978-3-540-49404-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation