{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:08Z","timestamp":1725663668546},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512516"},{"type":"electronic","value":"9783540461821"}],"license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51251-9_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:49:43Z","timestamp":1330184983000},"page":"398-414","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Goal-oriented concurrency control"],"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":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"A.V. Aho, J.D. Ullman: University of Data Retrieval Languages; Proc. 6th ACM POPL 1979, 110\u2013117","DOI":"10.1145\/567752.567763"},{"key":"26_CR2","unstructured":"S. Abiteboul, V. Vianu: Transactions in Relational Databases; Proc. 10th VLDB 1984, 46\u201356"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/42267.42271","volume":"35","author":"S. Abiteboul","year":"1988","unstructured":"S. Abiteboul, V. Vianu: Equivalence and Optimization of Relational Transactions; Journal of the ACM 35, 1988, 70\u2013120","journal-title":"Journal of the ACM"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu: Transactions and Integrity Constraints; Proc. 4th ACM PODS 1985, 193\u2013204","DOI":"10.1145\/325405.325439"},{"key":"26_CR5","unstructured":"S. Abiteboul, V. Vianu: A Transaction-Based Approach to Relational Database Specification; submitted for publication 1987"},{"issue":"1","key":"26_CR6","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1137\/0213006","volume":"13","author":"C. Beeri","year":"1984","unstructured":"C. Beeri, M.Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies; SIAM Journal on Computing 13, 1, 1984, 76\u201398","journal-title":"SIAM Journal on Computing"},{"key":"26_CR7","unstructured":"P.A. Bernstein, V. Hadzilacos, N. Goodman: Concurrency Control and Recovery in Database Systems; Addison-Wesley 1987"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"M.A. Casanova: The Concurrency Control Problem for Database Systems; Springer LNCS 116, 1981","DOI":"10.1007\/3-540-10845-9"},{"key":"26_CR9","first-page":"156","volume":"21","author":"A.K. Chandra","year":"1980","unstructured":"A.K. Chandra, D. Harel: Computable Queries for Relational Databases; JCSS 21, 1980, 156\u2013178","journal-title":"JCSS"},{"key":"26_CR10","unstructured":"M. Genesereth, N. Nilsson: Logical Foundations of Artificial Intelligence; Morgan Kaufmann 1987"},{"key":"26_CR11","unstructured":"G. Gardarin, P. Lebeux: Scheduling Algorithms for Avoiding Inconsistency in Large Databases; Proc. 3rd VLDB 1977, 501\u2013506"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"N. Goodman, D. Shasha: Semantically-based Concurrency Control for Search Structures; Proc. 4th ACM PODS 1985, 8\u201319","DOI":"10.1145\/325405.325407"},{"key":"26_CR13","first-page":"393","volume":"60","author":"J. Gray","year":"1978","unstructured":"J. Gray: 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":"Springer LNCS"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1137\/0215061","volume":"15","author":"R. Hull","year":"1986","unstructured":"R. Hull: Relative Information Capacity of Simple Relational Database Schemata; SIAM J. on Computing 15, 1986, 856\u2013886","journal-title":"SIAM J. on Computing"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"D. Harel: First-Order Dynamic Logic; Springer LNCS 68, 1979","DOI":"10.1007\/3-540-09237-4"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"A. Karabeg, D. Karabeg, K. Papakonstantinou, V. Vianu: Axiomatization and Simplification Rules for Relational Transactions; Proc. 6th ACM PODS 1987, 254\u2013259","DOI":"10.1145\/28659.28687"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"H.F. Korth, G.D. Speegle: Formal Model of Correctness Without Serializability; Proc. ACM SIGMOD Conf. 1988, 379\u2013386","DOI":"10.1145\/971701.50248"},{"key":"26_CR18","unstructured":"D. Maier: The Theory of Relational Databases; Computer Science Press 1983"},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"D. Maier, A.O. Mendelzon, Y. Sagiv: Testing Implications of Data Dependencies; ACM TODS 4 (1979) 455\u2013469","journal-title":"ACM TODS"},{"key":"26_CR20","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"C.H. Papadimitriou: The serializability of concurrent database updates; JACM 26, 1979, 631\u2013653","journal-title":"JACM"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"A. Tuzhilin, P. Spirakis: A Semantic Approach to Correctness of Concurrent Transaction Executions; Proc. 4th ACM PODS 1985, 85\u201395","DOI":"10.1145\/325405.325416"},{"key":"26_CR22","unstructured":"J.D. Ullman: Principles of Database Systems; Computer Science Press 1982, 2nd ed."},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"V. Vianu, G. Vossen: Conceptual Level Concurrency Control of Relational Update Transactions (Extended Abstract); Proc. 2nd ICDT, Bruges, Belgium 1988, Springer LNCS 326, 353\u2013367","DOI":"10.1007\/3-540-50171-1_23"},{"key":"26_CR24","unstructured":"M. Winslett: Sometimes Updates are Circumscription; manuscript, 1988"}],"container-title":["Lecture Notes in Computer Science","MFDBS 89"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51251-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:03:49Z","timestamp":1578510229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51251-9_26"}},"subtitle":["Extended Abstract"],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512516","9783540461821"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-51251-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}