{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:49:01Z","timestamp":1752551341851},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_15","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"266-285","source":"Crossref","is-referenced-by-count":4,"title":["Deadlock Detection in the Face of Transaction and Data Dependencies"],"prefix":"10.1007","author":[{"given":"E.","family":"Bertino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Chiola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. V.","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"A. Biliris, S. Dar, N. Gehani, H. V. Jagadish, and K. Ramamritham. Asset: A system for supporting extended transactions. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, May 1994.","DOI":"10.1145\/191839.191848"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"S. Jajodia et al., editor. Advanced Transaction Models and Architectures. Kluwer Academic Publ., 1997.","DOI":"10.1007\/978-1-4615-6217-7"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"D. Georgakopoulos, M.F. Hornick, and A.P. Sheth. An Overview of Workflow Management: from Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, V.3, N.2, pp.119\u2013153, April 1995.","journal-title":"Distributed and Parallel Databases"},{"key":"15_CR4","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers. San Mateo (Calif.), 1993."},{"key":"15_CR5","volume-title":"A distributed procedure to detect AND\/OR dead-lock","author":"T. Hermann","year":"1983","unstructured":"T. Hermann, and K. Chandy. A distributed procedure to detect AND\/OR dead-lock. TR LCS-8301, Dept. of Computer Science, University of Texas, Austin, 1983."},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E. Knapp","year":"1987","unstructured":"E. Knapp. Deadlock Detection in Distributed Databases. ACM Computing Surveys, 19(4):303\u2013328, December 1987.","journal-title":"ACM Computing Surveys"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"L. Mancini, I. Ray, E. Bertino, and S. Jajodia. Flexible Commit Protocols for Advanced Transaction Processing. In Advanced Transaction Models and Architectures, S. Jajodia and L. Kerschberg, eds., Kluwer, 91\u2013124, 1997.","DOI":"10.1007\/978-1-4615-6217-7_4"},{"key":"15_CR8","volume-title":"Nested Transactions: An Approach to Reliable Distributed Programming","author":"J. Eliot","year":"1985","unstructured":"J. Eliot B. Moss. Nested Transactions: An Approach to Reliable Distributed Programming. The MIT Press. Cambridge (Massachusetts), 1985."},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541\u2013580, April 1989.","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/319702.319717","volume":"7","author":"R. Obermarck","year":"1982","unstructured":"R. Obermarck. Distributed Deadlock Detection Algorithm. ACM Transactions on Database Systems, 7(2):187\u2013208, June 1982.","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/s007780050017","volume":"5","author":"K. Ramamritham","year":"1996","unstructured":"K. Ramamritham and P. K. Chrysanthis. A Taxonomy of Correctness Criteria in Database Applications. The VLDB Journal, 5(1):64\u201384, January 1996.","journal-title":"The VLDB Journal"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Aidong Zhang, Marian Nodine, Bharat Bhargava, and Omran Bukhres. Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 67\u201378, May 1994.","DOI":"10.1145\/191843.191850"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T06:11:34Z","timestamp":1547878294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}