{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:47:49Z","timestamp":1725986869086},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63107-0_6","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:48Z","timestamp":1270495368000},"page":"75-88","source":"Crossref","is-referenced-by-count":1,"title":["Implementing semantic-based decomposition of transactions"],"prefix":"10.1007","author":[{"given":"Sushil","family":"Jajodia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,15]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1145\/155271.155276","volume":"18","author":"D. Agrawal","year":"1993","unstructured":"D. Agrawal, A. El Abbadi, and A. K. Singh. Consistency and orderability: Semantics-based correctness criteria for databases. ACM Transactions on Database Systems, 18(3):460\u2013486, September 1993.","journal-title":"ACM Transactions on Database Systems"},{"unstructured":"P. Ammann, S. Jajodia, and I. Ray. Using formal methods to reason about semantics-based decomposition of transactions. In Proceedings of the International Conference on Very Large Data Bases, pages 218\u2013227, Zurich, Switzerland, September 1995.","key":"6_CR2"},{"key":"6_CR3","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. A. Bernstein","year":"1987","unstructured":"P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, MA, 1987."},{"key":"6_CR4","volume-title":"Fundamentals of Database Systems","author":"R. Elmasri","year":"1989","unstructured":"R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin\/Cummings, Redwood City, CA, 1989."},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1145\/76902.76905","volume":"14","author":"A. A. Farrag","year":"1989","unstructured":"A. A. Farrag and M. T. \u00d6zsu. Using semantic knowledge of transactions to increase concurrency. ACM Transactions on Database Systems, 14(4):503\u2013525, December 1989.","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/319983.319985","volume":"8","author":"H. Garcia-Molina","year":"1983","unstructured":"H. Garcia-Molina. Using semantic knowledge for transaction processing in a distributed database. ACM Transactions on Database Systems, 8(2): 186\u2013213, June 1983.","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"crossref","unstructured":"H. Garcia-Molina and K. Salem. Sagas. In Proceedings of ACM-SIGMOD International Conference on Management of Data, pages 249\u2013259, San Francisco, CA, 1987.","key":"6_CR7","DOI":"10.1145\/38713.38742"},{"issue":"1","key":"6_CR8","first-page":"40","volume":"17","author":"H. Garcia-Molina","year":"1994","unstructured":"H. Garcia-Molina and K. Salem. Services for a workflow management system. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 17(1):40\u201344, March 1994.","journal-title":"Bulletin of the IEEE Computer Society Technical Committee on Data Engineering"},{"issue":"4","key":"6_CR9","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1109\/TC.1987.1676926","volume":"36","author":"M. Herlihy","year":"1987","unstructured":"M. Herlihy. Extending multiversion time-stamping protocols to exploit type information. IEEE Transactions on Computers, 36(4):443\u2013448, April 1987.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0022-0000(91)90031-Y","volume":"43","author":"M. P. Herlihy","year":"1991","unstructured":"M. P. Herlihy and W. E. Weihl. Hybrid concurrency control for abstract data types. Journal of Computer and System Sciences, 43(1):25\u201361, August 1991.","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR11","first-page":"219","volume-title":"Database Transaction Models for Advanced Applications","author":"H. Wachter","year":"1992","unstructured":"H. Wachter and A. Reuter. The ConTract model. In Ahmed K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 219\u2013263. Morgan Kauffman, San Mateo, CA, 1992."},{"key":"6_CR12","volume-title":"PhD thesis","author":"W. E. Weihl","year":"1984","unstructured":"W. E. Weihl. Specification and Implementation of Atomic Data Types. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 1984."},{"issue":"12","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1488","DOI":"10.1109\/12.9728","volume":"37","author":"W. E. Weihl","year":"1988","unstructured":"W. E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12):1488\u20131505, December 1988.","journal-title":"IEEE Transactions on Computers"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63107-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:31:48Z","timestamp":1549207908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63107-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783319981765","9783319981772"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63107-0_6","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1997]]}}}