{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:06:30Z","timestamp":1725487590796},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422655"},{"type":"electronic","value":"9783540457541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45754-2_12","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:59:44Z","timestamp":1184605184000},"page":"185-201","source":"Crossref","is-referenced-by-count":1,"title":["Inferring the Principal Type and the Schema Requirements of an OQL Query"],"prefix":"10.1007","author":[{"given":"A.","family":"Trigoni","sequence":"first","affiliation":[]},{"given":"G. M.","family":"Bierman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"O. Agesen and U. Holzle. Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages. In OOPSLA, pages 91\u2013107, 1995.","DOI":"10.1145\/217839.217847"},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/328939.328943","volume":"24","author":"S. Alagic","year":"1999","unstructured":"S. Alagic. Type checking OQL queries in the ODMG type systems. ACM Transactions on Database Systems, 24(3):319\u2013360, September 1999.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR3","unstructured":"G.M. Bierman and A. Trigoni. Towards a formal type system for ODMG OQL. Technical Report 497, University of Cambridge, Computer Laboratory, October 2000."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"M.W. Bright, A.R. Hurson, and S. Pakzad. Automated resolution of semantic heterogeneity in multidatabases. ACM Transactions on Database Systems, 19(2), 1994.","DOI":"10.1145\/176567.176569"},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/227604.227609","volume":"21","author":"P. Buneman","year":"1996","unstructured":"P. Buneman and A. Ohori. Polymorphism and type inference in database programming. ACM Transactions on Database Systems, 21(1):30\u201376, March 1996.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR6","unstructured":"R.G.G. Cattell et al. The Object Data Standard: ODMG 3.0. Morgan Kaufmann, 2000."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"R. Hull. Managing semantic heterogeneity in databases: A theoretical perspective. In PODS, 1997.","DOI":"10.1145\/263661.263668"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"J. Palsberg and M. I. Schwartzbach. Object-oriented type inference. In OOPSLA, pages 146\u2013161, 1991.","DOI":"10.1145\/117954.117965"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"J. Plevyak and A.A. Chien. Precise concrete type inference for object-oriented languages. In OOPSLA, pages 324\u2013340, 1994.","DOI":"10.1145\/191080.191130"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23\u201341, January 1965.","journal-title":"Journal of the ACM"},{"key":"12_CR11","unstructured":"A. Trigoni. Phd thesis, to appear. 2001."}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45754-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:50:42Z","timestamp":1556682642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45754-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422655","9783540457541"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45754-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}