{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:51Z","timestamp":1725663111324},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:33Z","timestamp":1330200993000},"page":"353-367","source":"Crossref","is-referenced-by-count":2,"title":["Conceptual level concurrency control of relational update transactions"],"prefix":"10.1007","author":[{"given":"Victor","family":"Vianu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gottfried","family":"Vossen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"unstructured":"Abiteboul, S., V. Vianu. Transactions in Relational Databases. Proc. 10th VLDB (1984) 46\u201356.","key":"23_CR1"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/42267.42271","volume":"35","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S., V. Vianu. Equivalence and Optimization of Relational Transactions. JACM 35 (1988) 70\u2013120.","journal-title":"JACM"},{"doi-asserted-by":"crossref","unstructured":"Abiteboul, S., V. Vianu. Transactions and Integrity Constraints. Proc. 4th ACM PODS (1985) 193\u2013204.","key":"23_CR3","DOI":"10.1145\/325405.325439"},{"doi-asserted-by":"crossref","unstructured":"Abiteboul, S., V. Vianu. Deciding Properties of Transactional Schemas. Proc. 5th ACM PODS (1986) 235\u2013239.","key":"23_CR4","DOI":"10.1145\/6012.15417"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1109\/TSE.1983.236732","volume":"9","author":"P. A. Bernstein","year":"1983","unstructured":"Bernstein, P. A., N. Goodman, M. Y. Lai. Analyzing Concurrency Control Algorithms When User and System Operations Differ. IEEE Trans. on Software Eng. 9 (1983) 233\u2013239.","journal-title":"IEEE Trans. on Software Eng."},{"unstructured":"Bernstein, P. A., V. Hadzilacos, N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987).","key":"23_CR6"},{"unstructured":"Date, C. J. A Guide to DB2. Addison-Wesley (1984).","key":"23_CR7"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/319983.319985","volume":"8","author":"H. Garcia-Molina","year":"1983","unstructured":"Garcia-Molina, H. Using Semantic Knowledge for Transaction Processing in a Distributed Database. ACM TODS 8 (1983) 186\u2013213.","journal-title":"ACM TODS"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume":"60","author":"J. Gray","year":"1978","unstructured":"Gray, J. Notes on Data Base Operating Systems. in: R. Bayer, M. R. Graham, G. Seegmuller (eds.). Operating Systems \u2014 An Advanced Course. Springer LNCS 60 (1978) 393\u2013481.","journal-title":"Operating Systems \u2014 An Advanced Course"},{"doi-asserted-by":"crossref","unstructured":"Karabeg, A., D. Karabeg, K. Papakonstantinou, V. Vianu. Axiomatization and Simplification Rules for Relational Transactions. Proc. 6th ACM PODS (1987), 254\u2013259.","key":"23_CR10","DOI":"10.1145\/28659.28687"},{"unstructured":"Karabeg, D., V. Vianu. Parallel Update Transactions, this proceedings.","key":"23_CR11"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/322358.322363","volume":"30","author":"H.F. Korth","year":"1983","unstructured":"Korth, H.F. Locking Primitives in a Database System. JACM 30 (1983) 55\u201379.","journal-title":"JACM"},{"key":"23_CR13","first-page":"1","volume":"19","author":"H. T. Kung","year":"1983","unstructured":"Kung, H. T., C. H. Papadimitriou. An Optimality Theory of Concurrency Control for Databases. Acta Informatica 19 (1983) 1\u201311.","journal-title":"Acta Informatica"},{"unstructured":"Maier, D. The Theory of Relational Databases. Computer Science Press (1983).","key":"23_CR14"},{"key":"23_CR15","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"Maier, D., A. O. Mendelzon, Y. Sagiv. Testing Implications of Data Dependencies. ACM TODS 4 (1979) 455\u2013469.","journal-title":"ACM TODS"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C. H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C. H. The serializability of concurrent database updates. JACM 26 (1979) 631\u2013653.","journal-title":"JACM"},{"unstructured":"Roesler, M., W. A. Burkhard. Concurrency Control Scheme for Shared Objects: A Peephole Approach Based on Semantics. Proc. 7th IEEE Int. Conf. on Distributed Computing Systems (1987), 224\u2013231.","key":"23_CR17"},{"key":"23_CR18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/989.1188","volume":"2","author":"P. M. Schwarz","year":"1984","unstructured":"Schwarz, P. M., A. Z. Spector. Synchronizing Shared Abstract Data Types. ACM Trans. on Computer Systems 2 (1984) 223\u2013250.","journal-title":"ACM Trans. on Computer Systems"},{"unstructured":"Ullman, J. Principles of Database Systems. Computer Science Press (1982), 2nd ed.","key":"23_CR19"},{"unstructured":"Vianu, V., G. Vossen. Conceptual Level Concurrency Control of Relational Update Transactions. Techn. Rep. CS 87\u2013105, UCSD (October 1987).","key":"23_CR20"},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/3318.3319","volume":"7","author":"W. Weihl","year":"1985","unstructured":"Weihl, W., B. Liskov. Specification and Implementation of Resilient Atomic Data Types. ACM TOPLAS 7 (1985) 244\u2013269.","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"Weikum, G. A Theoretical Foundation of Multi-Level Concurrency Control. Proc. 5th ACM PODS (1986) 31\u201342.","key":"23_CR22","DOI":"10.1145\/6012.15401"},{"key":"23_CR23","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/62.322425","volume":"31","author":"M. Yannakakis","year":"1984","unstructured":"Yannakakis, M. Serializability by Locking. JACM 31 (1984) 227\u2013244.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:18Z","timestamp":1619571258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}