{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:28Z","timestamp":1725456148934},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022271","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"397-411","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Canonical forms for data-specifications"],"prefix":"10.1007","author":[{"given":"Frank","family":"Piessens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Steegmans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"29_CR1","unstructured":"J. Adamek, H. Herrlich, G. E. Strecker. Abstract and Concrete Categories Wiley-Interscience publications, 1990."},{"key":"29_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"M. Barr, C. Wells Toposes, Triples and Theories Springer New York 1985."},{"key":"29_CR3","unstructured":"M. Barr, C. Wells. Category Theory for Computing Science Prentice Hall International Series in Computer Science, 1990."},{"key":"29_CR4","first-page":"133","volume":"XXVII-2","author":"F. Borceux","year":"1986","unstructured":"F. Borceux, D. Dejean. \u201cCauchy Completion in Category Theory\u201d Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle Cat\u00e9goriques, Vol. XXVII-2, pp. 133\u2013146, 1986.","journal-title":"Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"F. Borceux. Handbook of categorical algebra I Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511525865"},{"issue":"No.1","key":"29_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. P. Chen","year":"1976","unstructured":"P. P. Chen. \u201cThe Entity-Relationship Model \u2014 Towards a Unified View of Data\u201d ACM Transactions on Database Systems, Vol. 1, No. 1, 1976,pp. 9\u201336.","journal-title":"ACM Transactions on Database Systems"},{"key":"29_CR7","volume-title":"Object-Oriented Analysis","author":"P. Coad","year":"1990","unstructured":"P. Coad, E. Yourdon. Object-Oriented Analysis, Yourdon Press, Englewood Cliffs, New Jersey, 1990."},{"key":"29_CR8","unstructured":"A. Islam, W. Phoa. \u201cCategorical models of relational databases I: fibrational formulation, schema integration\u201d, preprint."},{"key":"29_CR9","volume-title":"Sheaves in geometry and logic: a first introduction to topos theory","author":"S. Mac Lane","year":"1992","unstructured":"S. Mac Lane, I. Moerdijk. Sheaves in geometry and logic: a first introduction to topos theory Springer New York, 1992."},{"key":"29_CR10","unstructured":"S. Van Baelen, J. Lewi, E. Steegmans, H. Van Riel. \u201cEROOS: An Entity-Relationship based Object-Oriented Specification Method\u201d Technology of Object-Oriented Languages and Systems TOOLS 7(ed. G. Heeg, B. Magnusson, B. Meyer), Prentice Hall, 1991, pp. 103\u2013117."},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"S. Vickers. \u201cGeometric Theories and Databases\u201d in Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series 177, pp. 288\u2013314.","DOI":"10.1017\/CBO9780511525902.017"},{"key":"29_CR12","unstructured":"S. Vickers. \u201cGeometric Logic as a Specification Language\u201d, 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."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:06:17Z","timestamp":1558271177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022271","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"15 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}