{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:01Z","timestamp":1725634141088},"publisher-location":"London","reference-count":27,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199274"},{"type":"electronic","value":"9781447130161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3016-1_26","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:11:27Z","timestamp":1321445487000},"page":"321-335","source":"Crossref","is-referenced-by-count":0,"title":["Jupiter\/MDD: The Jupiter Interoperator Multidatabase Dictionary"],"prefix":"10.1007","author":[{"given":"John","family":"Murphy","sequence":"first","affiliation":[]},{"given":"Jane","family":"Grimson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/IMS.1991.153681","volume-title":"Proc. 1st workshop on interoperability in Multidatabase systems","author":"E Bertino","year":"1991","unstructured":"E. Bertino. Integration of heterogeneous data repositories by using object-oriented views. In Proc. 1 st workshop on interoperability in Multidatabase systems, pages 22\u201329, Kyoto, Japan, April 1991."},{"key":"26_CR2","volume-title":"ADDS: Heterogeneous and distributed database system","author":"Y Brietbart","year":"1985","unstructured":"Y. Brietbart and L. Tieman. ADDS: Heterogeneous and distributed database system. North-Holland Publishing Co. The Netherlands, 1985."},{"key":"26_CR3","first-page":"1","volume-title":"Proceedings of IFIP DS5 Semantics of Interoperable Database Systems","author":"M Brodie","year":"1992","unstructured":"M. Brodie. The promise of distributed computing and the challenges of legacy information systems. In Proceedings of IFIP DS5 Semantics of Interoperable Database Systems, pages 1\u201325, Lome, Victoria, Australia, November 1992."},{"key":"26_CR4","unstructured":"C. Chung. Dataplex: A heterogeneous distributed database management system. Technical Report GMR-5973, General Motors Research Laboratories, 1987."},{"issue":"l","key":"26_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/76372.76377","volume":"33","author":"C Chung","year":"1990","unstructured":"C. Chung. Dataplex: An access to heterogeneous distributed databases. Communications of The ACM, 33(l):70\u201380, 1990.","journal-title":"Communications of The ACM"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Shen Collet, Nuhns. Resource integration using a large knowledge base in carnot. IEEE Computer, January 1991.","DOI":"10.1109\/2.116889"},{"key":"26_CR7","volume-title":"Z: An Introduction to Formal Methods","author":"A Diller","year":"1990","unstructured":"A. Diller. Z: An Introduction to Formal Methods. John Wiley, 1990."},{"issue":"3","key":"26_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/96602.96607","volume":"22","author":"G Thomas","year":"1990","unstructured":"G. Thomas et al. Heterogeneous distributed database systems for production use. ACM Computing Surveys, 22(3):237\u2013266, 1990.","journal-title":"ACM Computing Surveys"},{"key":"26_CR9","first-page":"44","volume-title":"SIGMOD Record","author":"M Castellanos","year":"1991","unstructured":"M. Castellanos, F. Saltor and M. Garcia-Solaco. Suitability of dat models as canonical models for federated databases. In Amit P. Sheth P, editor, SIGMOD Record, number 4, pages 44\u201348. ACM Press, 1991."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"A. Hall. Seven myths of formal methods. IEEE Software, pages 11\u201319, September 1990.","DOI":"10.1109\/52.57887"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF01232185","volume":"2","author":"N Roussopulos","year":"1993","unstructured":"N. Roussopulos, J. Grant, W. Litwin and T. Sellis. Query languages for relational multidatabases. VLDB Journal, 2:153\u2013171, 1993.","journal-title":"VLDB Journal"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"R. Kemmerer. Integrating formal methods into the development process. IEEE Trans. Soft., pages 37\u201350, September 1986.","DOI":"10.1109\/52.57891"},{"key":"26_CR13","first-page":"10","volume-title":"SIGMOD Record","author":"William Kent","year":"1991","unstructured":"William Kent. The breakdown of the information model in multi-database systems. In Amit P. Sheth P, editor, SIGMOD Record, number 4, pages 10\u201315. ACM Press, 1991."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"W. Kim and J. Seo. Classifying schematic and data heterogeneity in multidatabase systems. IEEE Computer, December 1991.","DOI":"10.1109\/2.116884"},{"key":"26_CR15","unstructured":"W. Litwin. The future of heterogeneous databases. In Proceedings of the Fall Joint Computer Conference, Dallas, Texas, October 1987."},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"W. Litwin. An overview of the multi-database manipulation language mdsl. In Proceedings of the IEEE, pages 621\u2013632, May 1987.","DOI":"10.1109\/PROC.1987.13777"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"W. Litwin and A. Abdellatif. Multidatabase interoperability. IEEE Computer, December 1986.","DOI":"10.1109\/MC.1986.1663123"},{"issue":"5","key":"26_CR18","first-page":"695","volume":"75","author":"D Chen","year":"1987","unstructured":"D. Chen, A. Dao, S. Lund, E. MacGregor, M. Templeton, D. Brill and R. Ward. Mermaid: A front-end to distributed heterogeneous databases. Proc. IEEE Special Issue on Distributed Database Systems, 75(5):695\u2013708, 1987.","journal-title":"Proc. IEEE Special Issue on Distributed Database Systems"},{"issue":"4","key":"26_CR19","first-page":"297","volume":"4","author":"J Murphy","year":"1992","unstructured":"John Murphy and Jane Grimson. An Object Model in Z. Database Technology, 4(4):297\u2013304, 1992.","journal-title":"Database Technology"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"John Murphy and Jane Grimson. Formal Specification of a Persistent Object Manager. Information and Software Technology, 35(7), 1993.","DOI":"10.1016\/0950-5849(93)90061-7"},{"issue":"3","key":"26_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/96602.96604","volume":"22","author":"A Sheth","year":"1990","unstructured":"A. Sheth and J. Larson. Federated database sytems for managing distributed, heterogeneous, and autonomous database systems. ACM Computing Surveys, 22(3):183\u2013236, 1990.","journal-title":"ACM Computing Surveys"},{"key":"26_CR22","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J Spivey","year":"1987","unstructured":"J. Spivey. An Introduction to Z and Formal Specifications. Software Engineering Journal, 4:40\u201350, 1987.","journal-title":"Software Engineering Journal"},{"key":"26_CR23","unstructured":"J. Spivey. Understanding Z: A Specification language and ita formal semantics. Cambridge Tracts in Theoretical Computer Science 3, 1992."},{"key":"26_CR24","volume-title":"The Z Notation: A Reference Manual","author":"J Spivey","year":"1992","unstructured":"J. Spivey. The Z Notation: A Reference Manual, Second Edition. Prentice Hall International, 1992.","edition":"2"},{"key":"26_CR25","volume-title":"An overview of Multibase","author":"R Rosenberg","year":"1982","unstructured":"R. Rosenberg T. Landers. An overview of Multibase. North-Holland, 1982."},{"key":"26_CR26","first-page":"55","volume-title":"SIGMOD Record","author":"S Urban","year":"1991","unstructured":"Susan Urban and Jian Wu. Resolving semantic heterogeneity through the explicit representation of data model semantics. In Amit P. Sheth P, editor, SIGMOD Record, number 4, pages 55\u201358. ACM Press, 1991."},{"key":"26_CR27","volume-title":"Software Development with Z: A Practical Approach to Formal Methods in Software Engineering","author":"JB Wordsworth","year":"1992","unstructured":"J.B. Wordsworth. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, 1992."}],"container-title":["OOIS\u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3016-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:22:17Z","timestamp":1605676937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3016-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199274","9781447130161"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3016-1_26","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}