{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:30:06Z","timestamp":1725561006155},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208969"},{"type":"electronic","value":"9783540246077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24607-7_6","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:16:11Z","timestamp":1280376971000},"page":"71-89","source":"Crossref","is-referenced-by-count":5,"title":["Consistency of Java Transactions"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[]},{"given":"Jeremy","family":"Logan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/3-540-47993-7_25","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"S. Alagi\u0107","year":"2002","unstructured":"Alagi\u0107, S., Kouznetsova, S.: Behavioral compatibility of self-typed theories. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 585\u2013608. Springer, Heidelberg (2002)"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1006\/inco.2000.2891","volume":"163","author":"S. Alagi\u0107","year":"2000","unstructured":"Alagi\u0107, S.: Semantics of temporal classes. Information and Computation\u00a0163, 60\u2013102 (2000)","journal-title":"Information and Computation"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Alagi\u0107, S., Ngyen, T.: Parametric polymorphism and orthogonal persistence. In: Proceedings of the ECOOP 2000 Symposium on Objects and Databases. Lecture Notes in Computer Science, vol.\u00a01813, pp. 32\u201346 (2001)","DOI":"10.1007\/3-540-44677-X_2"},{"key":"6_CR4","first-page":"68","volume-title":"ACM SIGMOD Record","author":"M. Atkinson","year":"1996","unstructured":"Atkinson, M., Daynes, L., Jordan, M.J., Printezis, T., Spence, S.: An orthogonally persistent Java TM . In: ACM SIGMOD Record, vol.\u00a025, pp. 68\u201375. ACM, New York (1996)"},{"key":"6_CR5","volume-title":"Advances in Persistent Object Systems","author":"L. Daynes","year":"1999","unstructured":"Daynes, L.: Extensible transaction management in PJava. In: Morrison, R., Jordan, M., Atkinson, M. (eds.) Advances in Persistent Object Systems. Morgan Kaufmann Publishers, San Francisco (1999)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Daynes, L., Atkinson, M., Valduirez, P.: Efficient support for customized concurrency control in Persistent Java. In: Proceedings of the Int. Workshop on Advanced Transaction Models and Architecture (in conjunction with VLDB 1996), India (September 1996)","DOI":"10.1007\/978-1-4615-6217-7_7"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01231645","volume":"4","author":"V. Benzaken","year":"1994","unstructured":"Benzaken, V., Doucet, D.: Themis: A database language handling integrity constraints. VLDB Journal\u00a04, 493\u2013517 (1994)","journal-title":"VLDB Journal"},{"key":"6_CR8","first-page":"236","volume-title":"Advances in Persistent Object Systems","author":"B. Bretl","year":"1999","unstructured":"Bretl, B., Otis, A., San Soucie, M., Schuchardt, B., Venkatesh, R.: Persistent Java objects in 3 tier architectures. In: Morrison, R., Jordan, M., Atkinson, M. (eds.) Advances in Persistent Object Systems, pp. 236\u2013249. Morgan Kaufmann, San Francisco (1999)"},{"key":"6_CR9","volume-title":"The Object Data Standard: ODMG 3.0","author":"R.G.G. Cattell","year":"2000","unstructured":"Cattell, R.G.G., Barry, D., Berler, M., Eastman, J., Jordan, D., Russell, C., Schadow, O., Stanienda, T., Velez, F.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann, San Francisco (2000)"},{"key":"6_CR10","first-page":"327","volume-title":"Proceedings of the VLDB Conference","author":"N. Gehani","year":"1991","unstructured":"Gehani, N., Jagadish, H.V.: Ode as active database: Constraints and triggers. In: Proceedings of the VLDB Conference, pp. 327\u2013336. Morgan Kaufmann, San Francisco (1991)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/286936.286973","volume-title":"Proceedings of OOPSLA 1998","author":"B. Jacob","year":"1998","unstructured":"Jacob, B., de Berg, J., Husiman, M., van Berkum, M.: Reasoning about Java classes. In: Proceedings of OOPSLA 1998, pp. 329\u2013340. ACM Press, New York (1998)"},{"key":"6_CR12","unstructured":"Java Core Reflection, JDK 1.1, Sun Microsystems (1997)"},{"key":"6_CR13","unstructured":"Java TM Data Objects, JSR 000012, Forte Tools, Sun Microsystems Inc. (2000)"},{"key":"6_CR14","first-page":"335","volume-title":"Advances in Persistent Object Systems","author":"M. Jordan","year":"1999","unstructured":"Jordan, M., Atkinson, M.: Orthogonal persistence for Java - A mid-term report. In: Morrison, R., Jordan, M., Atkinson, M. (eds.) Advances in Persistent Object Systems, pp. 335\u2013352. Morgan Kaufmann Publishers, San Francisco (1999)"},{"key":"6_CR15","volume-title":"The Java TM Virtual Machine Language Specification","author":"T. Lindholm","year":"1996","unstructured":"Lindholm, T., Yellin, F.: The Java TM Virtual Machine Language Specification. Addison-Wesley, Reading (1996)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016, 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR17","unstructured":"Owre, S., Shakar, N., Rushby, J.M., Stringer-Clavert, D.W.J.: PVS Language Reference, SRI International, Computer Science Laboratory, Menlo Park, California"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1145\/286936.286959","volume-title":"Proceedings of OOPSLA 1998","author":"J. Solorzano","year":"1998","unstructured":"Solorzano, J., Alagi\u0107, S.: Parametric polymorphism for Java TM : A reflective solution. In: Proceedings of OOPSLA 1998, pp. 216\u2013225. ACM Press, New York (1998)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Sheard, T., Stemple, D.: Automatic verification of database transaction safety. ACM Transactions on Database Systems\u00a014, 322\u2013368 (1989)","journal-title":"ACM Transactions on Database Systems"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/3-540-64823-2_22","volume-title":"Database Programming Languages","author":"D. Spelt","year":"1998","unstructured":"Spelt, D., Balsters, H.: Automatic verification of transactions on an object oriented database. In: Cluet, S., Hull, R. (eds.) DBPL 1997. LNCS, vol.\u00a01369, pp. 396\u2013412. Springer, Heidelberg (1998)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-49059-0_26","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"D. Spelt","year":"1999","unstructured":"Spelt, D., Even, S.: A theorem prover-based analysis tool for object-oriented databases. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 375\u2013389. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24607-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:48:27Z","timestamp":1559332107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24607-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208969","9783540246077"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24607-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}