{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:12Z","timestamp":1725664992892},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648239"},{"type":"electronic","value":"9783540685340"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64823-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:42:05Z","timestamp":1330299725000},"page":"396-412","source":"Crossref","is-referenced-by-count":4,"title":["Automatic verification of transactions on an object-oriented database"],"prefix":"10.1007","author":[{"given":"David","family":"Spelt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herman","family":"Balsters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"22_CR1","first-page":"333","volume-title":"Proceedings First International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August\u20131 September, 1993","author":"P. Fraternali","year":"1994","unstructured":"Piero Fraternali & Stefano Paraboschi, \u201cA Review of Repairing Techniques for Integrity Maintenance,\u201d in Proceedings First International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August\u20131 September, 1993, Norman W. Paton & M. Howard Williams, eds., Springer-Verlag, New York-Heidelberg-Berlin, 1994, 333\u2013346."},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Tim Sheard & David Stemple, \u201cAutomatic verification of database transaction safety,\u201d ACM Trans. Database Syst. 14 (Sept., 1989), 322\u2013368.","journal-title":"ACM Trans. Database Syst."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Veronique Benzaken & Doucet, \u201cThemis: a database programming language with integrity constraints,\u201d in Database programming languages (DBPL-4): Proceedings of the 4th International Workshop on Database Programming Languages, Object Models and languages, Springer-Verlag, 1994, 243\u2013262.","DOI":"10.1007\/978-1-4471-3564-7_14"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Veronique Benzaken & Doucet, \u201cThemis: a Database Programming Language Handling Integrity Constraints,\u201d VLDB Journal 4 (1995).","DOI":"10.1007\/BF01231645"},{"key":"22_CR5","unstructured":"Veronique Benzaken & Xavier Schaefer, \u201cEnsuring efficiently the integrity of a persistent object store via abstract interpretation,\u201d in Proceedings of the 7th International Workshop on Persistent Object Systems, Morgan Kaufmann, May, 1996."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"H. Balsters, R. A. de By & R. Zicari, \u201cTyped sets as a basis for object-oriented database schemas,\u201d in ECOOP 1993 Kaiserslautern, 1993.","DOI":"10.1007\/3-540-47910-4_10"},{"key":"22_CR7","unstructured":"Ren\u00e9 Bal, Herman Balsters, Rolf A. de By, Alexander Bosschaart, Jan Flokstra, Maurice van Keulen, Jacek Skowronek & Bart Termorshuizen, \u201cThe TM Manual; version 2.0, revision e,\u201d Universiteit Twente, Technical report IMPRESS \/ UT-TECH-T79-001-R2, Enschede, The Netherlands, June 1995."},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Luca Cardelli, \u201cA semantics of multiple inheritance,\u201d Inf. and Comput. 76 (1988),138\u2013164.","journal-title":"Inf. and Comput."},{"key":"22_CR9","first-page":"201","volume-title":"A semantics of object-oriented sets","author":"H. Balsters","year":"1991","unstructured":"Herman Balsters & Chris C. de Vreeze, \u201cA semantics of object-oriented sets,\u201d in The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3), Aug. 27-30, 1991, Nafplion, Greece, Paris Kanellakis & Joachim W. Schmidt, eds., Morgan Kaufmann Publishers, San Mateo, CA, 1991, 201\u2013217."},{"key":"22_CR10","volume-title":"The Object Database Standard: ODMG-93","author":"R. G. G. Cattell","year":"1994","unstructured":"R. G. G. Cattell, The Object Database Standard: ODMG-93, Morgan Kaufmann Publishers, San Mateo, CA, 1994."},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science #828","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L. C. Paulson","year":"1994","unstructured":"Lawrence C. Paulson, Isabelle: A Generic Theorem Prover, Lecture Notes in Computer Science #828, Springer-Verlag, Berlin, 1994."},{"key":"22_CR12","unstructured":"Alexander Borgida, John Mylopoulos & Joachim W. Schmidt, Database Programming by Formal Refinement of Conceptual Designs, IEEE Data Engineering, Sept., 1989."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Luca Cardelli, \u201cAmber,\u201d Combinators and Functional Programming, New York-Heidelberg-Berlin (1986).","DOI":"10.1007\/3-540-17184-3_38"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"G. Castagna, \u201cObject-Oriented Programming: A Unified Foundation,\u201d Progress in Theoretical Computer Science (1996,).","DOI":"10.1007\/978-1-4612-4138-6"},{"key":"22_CR15","first-page":"191","volume-title":"The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3), Aug. 27\u201330, 1991","author":"P. Buneman","year":"1991","unstructured":"Peter Buneman & Atsushi Ohori, \u201cA Type System that Reconciles Classes and Extents,\u201d in The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3), Aug. 27\u201330, 1991, Nafplion, Greece, Paris Kanellakis & Joachim W. Schmidt, eds., Morgan Kaufmann Publishers, San Mateo, CA, 1991, 191\u2013202."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Man Hon Wong & Divyakant Agrawal, \u201cContext-specific synchronization for atomic data types in object, oriented databases,\u201d TCS (1995).","DOI":"10.1016\/0304-3975(95)00030-Z"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"William E. Weilil, \u201cThe Impact of Recovery on Concurrency Control,\u201d Journal of Computer and System Sciences (1993).","DOI":"10.1016\/0022-0000(93)90023-P"},{"key":"22_CR18","first-page":"374","volume-title":"Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data, San Francisco, CA, May 27\u201329, 1987","author":"D. Stemple","year":"1987","unstructured":"David Stemple, Subhasish Mazumdar & Tim Sheard, \u201cOn the modes and meaning of feedback to transaction designers,\u201d in Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data, San Francisco, CA, May 27\u201329, 1987, Umeshwar Dayal & Irv Traiger, eds., ACM Press, New York, NY, 1987, 374\u2013386, (also appeared as ACM SIGMOD Record 16, 3, Dec., 1987)."}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64823-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:30:45Z","timestamp":1687289445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64823-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648239","9783540685340"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-64823-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}