Preview
Unable to display preview. Download preview PDF.
References
J. Adamek, H. Herrlich, G. E. Strecker. Abstract and Concrete Categories Wiley-Interscience publications, 1990.
M. Barr, C. Wells Toposes, Triples and Theories Springer New York 1985.
M. Barr, C. Wells. Category Theory for Computing Science Prentice Hall International Series in Computer Science, 1990.
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.
F. Borceux. Handbook of categorical algebra I Cambridge University Press, 1993.
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.
P. Coad, E. Yourdon. Object-Oriented Analysis, Yourdon Press, Englewood Cliffs, New Jersey, 1990.
A. Islam, W. Phoa. “Categorical models of relational databases I: fibrational formulation, schema integration”, preprint.
S. Mac Lane, I. Moerdijk. Sheaves in geometry and logic: a first introduction to topos theory Springer New York, 1992.
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.
S. Vickers. “Geometric Theories and Databases” in Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series 177, pp. 288–314.
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.
Author information
Authors and Affiliations
Editor information
Rights 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