{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300333},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578871"},{"type":"electronic","value":"9783540483830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_118","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:38:38Z","timestamp":1330263518000},"page":"618-641","source":"Crossref","is-referenced-by-count":7,"title":["Categorical models of relational databases I: Fibrational formulation, schema integration"],"prefix":"10.1007","author":[{"given":"Amitavo","family":"Islam","sequence":"first","affiliation":[]},{"given":"Wesley","family":"Phoa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"32_CR1","unstructured":"Buneman, P.: Functional Programming and Databases. Research Topics in Functional Programming (D. A. Turner, ed.) (1990) Addison-Wesley."},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(91)90266-5","volume":"91","author":"P. Buneman","year":"1991","unstructured":"Buneman, P., Jung, A., Ohori, A.: Using powerdomains to generalize relational databases. Theoretical Computer Science 91 (1991) 23\u201355","journal-title":"Theoretical Computer Science"},{"key":"32_CR3","unstructured":"Carpenter, R., The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science 32 (1992) Cambridge University Press."},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Cartmell, J.: Formalising the network and hierarchical data models-an application of categorical logic. Category Theory and Computer Programming (D. Pitt et. al., eds.) Lecture Notes in Computer Science 240 (1986) Springer.","DOI":"10.1007\/3-540-17162-2_138"},{"key":"32_CR5","unstructured":"Dampney, C.N.G., Johnson, M., Monro, G.: An illustrated mathematical foundation for ERA. The Unified Computation Laboratory (Rattray, C.M.I., Clark, R.G., eds.) (1992) Oxford University Press."},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Ehrich, H.D.: Category Theory and Computer Programming (Pitt D., et. al. ed.) Lecture Notes in Computer Science 240 (1986) Springer.","DOI":"10.1007\/3-540-17162-2_135"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press (1991)","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"32_CR8","unstructured":"Rosebrugh, R., Wood, R.J.: Relational databases and indexed categories. Proceedings of CT '91 (1992)"},{"key":"32_CR9","unstructured":"Srinivasan, U., Ngu, A.: Multi-level lateral schema translation in heterogeneous clinical databases. draft, (1992)"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Vickers, S.J.: Geometric theories and databases. Proc. 1991 Durham Symposium on Applications of Categories in Computer Science (Fourman, M., Johnstone, P.T., Pitts, A.M., eds.) Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511525902.017"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Walters, R.F.C.: Categories and Computer Science. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511608872"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_118.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:31Z","timestamp":1605647731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_118","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}