{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:40:03Z","timestamp":1737348003730,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672012"},{"type":"electronic","value":"9783540464662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46466-2_7","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T08:40:32Z","timestamp":1186216832000},"page":"130-149","source":"Crossref","is-referenced-by-count":1,"title":["Nested Transactions with Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Anne","family":"Doucet","sequence":"first","affiliation":[]},{"given":"Stephane","family":"Gan\u00e7arski","sequence":"additional","affiliation":[]},{"given":"Claudia","family":"Le\u00f3n","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Rukoz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"7_CR1","unstructured":"Transarc Encina Product Information. http:\/\/www.transarc.com\/Product\/Txseries\/Encina\/ ."},{"key":"7_CR2","unstructured":"Transarc Solutions. http:\/\/www.transarc.com\/Solutions\/index.html ."},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01231645","volume":"4","author":"V. Benzaken","year":"1995","unstructured":"V. Benzaken and A. Doucet. Th\u00e9mis: A Database Programming Language Handling Integrity Constraints. The VLDB Journal, 4(3):493\u2013517, July 1995.","journal-title":"The VLDB Journal"},{"key":"7_CR4","unstructured":"P. A. Bernstein and E. Newcomer. Transaction Processing for the Systems Professional. Morgan Kaufmann Publishers, 1996."},{"key":"7_CR5","volume-title":"Esforcing Database Assertions","author":"B. T. Blaustein","year":"1981","unstructured":"B. T. Blaustein. Esforcing Database Assertions. PhD thesis, Harvard University, Cambridge, MA, 1981."},{"key":"7_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/BFb0054503","volume-title":"Proc. 9th Int. Conf. Database and Expert Systems Applications, DEXA\u201998, Vienna, Austria, August 1998","author":"E. Boertjes","year":"1998","unstructured":"E. Boertjes, P. W. P. J. Grefen, J. Vonk, and P. M. G. Apers. An Architecture for Nested Transactions Support on Standard Database Systems. In G. Quirchmayr, E. Schweighofer, and T. J. M. Bench-Capon, editors, Proc. 9th Int. Conf. Database and Expert Systems Applications, DEXA\u201998, Vienna, Austria, August 1998, LNCS, Vol. 1460, pages 448\u2013459, Springer-Verlag, 1998."},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems, 19(3):367\u2013422, September 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR8","unstructured":"S. Ceri and J. Widom. Deriving Production Rules for Constraint Management. In D. McLeod, R. Sacks-Davis, and H.-J. Schek, editors, Proc. of the 16th Int. Conf. on Very Large Data Bases, VLDB\u201990, Brisbane, Australia, August 1990, pages 566\u2013577, Morgan Kaufmann Publishers, 1990."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"P. K. Chrysanthis and K. Ramamritham. ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. In H. Garcia-Molina and H. V. Jagadish, editors, Proc. of the 1990 ACM SIGMOD Int. Conf. on Management of Data, Atlantic City, NJ, USA, ACM SIGMOD Record, Vol. 19, No. 2, pages 194\u2013203, ACM Press, 1990.","DOI":"10.1145\/93605.98729"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/185827.185843","volume":"19","author":"P. K. Chrysanthis","year":"1994","unstructured":"P. K. Chrysanthis and K. Ramamritham. Synthesis of Extended Transaction Models Using ACTA. ACM Transactions on Database Systems, 19(3):450\u2013491, September 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR11","unstructured":"U. Dayal, M. Hsu, and R. Ladin. A Transaction Model for Long-Running Activities. In G. M. Lohmann, A. Sernadas, and R. Camps, editors, Proc. of the 17th Int. Conf. on Very Large Data Bases, VLDB\u201991, Barcelona, Spain, September 1991, pages 113\u2013122, Morgan Kaufmann Publishers, 1991."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"B. Defude and H. Martin. Integrity checking for Nested Transactions. In R. Wagner and H. Thoma, editors, Database and Expert System Applications, Proc. of the 7th Int. Workshop., DEXA\u201996, Zurich, Switzerland, September 1996, pages 147\u2013152, IEEE Computer Society Press, 1996.","DOI":"10.1109\/DEXA.1996.558288"},{"key":"7_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/3-540-61442-7_4","volume-title":"Advances in Databases: 14th British National Conf. on Databases, BNCOD 14, Edinburgh, UK, July 1996","author":"A. Doucet","year":"1996","unstructured":"A. Doucet, S. Gan\u00e7arski, G. Jomier, and S. Monties. Integrity Constraints in Multiversion Databases. In R. Morrison and J. B. Keane, editors, Advances in Databases: 14th British National Conf. on Databases, BNCOD 14, Edinburgh, UK, July 1996, LNCS, Vol. 1094, pages 56\u201373, Springer-Verlag, 1996."},{"key":"7_CR14","unstructured":"A. K. Elmagarmid, editor. Database Transaction Models For Advanced Applications. Morgan Kaufmann Publishers, 1992."},{"key":"7_CR15","unstructured":"D. Enser and I. Stevenson. Oracle8 Design Tips. O\u2019Reilly & Associates, 1997."},{"key":"7_CR16","unstructured":"J. L. Eppinger, L. B. Mummert, and A.Z. Spector, editors. Camelon and Avalon \u2014 A Distributed Transaction Facility. Morgan Kaufmann Publishers, 1991."},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0169-023X(96)00046-8","volume":"23","author":"C. Fahrner","year":"1997","unstructured":"C. Fahrner, T. Marx, and S. Philippi. DICE: Declarative Integrity Constraint Embedding into the Object Database Standard ODMG-93. Data & Knowledge Engineering, 23(2):119\u2013145, August 1997.","journal-title":"Data & Knowledge Engineering"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"H. Garcia-Molina and K. Salem. Sagas. In U. Dayal and I. L. Traiger, editors, Proc. of the 1987 ACM SIGMOD Int. Conf. on Management of Data, San Franscisco, CA, USA, ACM SIGMOD Record, Vol. 16, No. 3, pages 249\u2013259, ACM Press, 1987.","DOI":"10.1145\/38714.38742"},{"key":"7_CR19","unstructured":"J. Gray. The Transaction Concept: Virtues and Limitations. In C. Zaniolo and C. Delobel, editors, Proc. of the 7th Int. Conf. on Very Large Data Bases, VLDB\u201981, Cannes, France, September 1981, pages 144\u2013154, IEEE Computer Society Press, 1981."},{"key":"7_CR20","unstructured":"J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993."},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0169-023X(93)90008-D","volume":"10","author":"P. W. P. J. Grefen","year":"1993","unstructured":"P. W. P. J. Grefen and P. M. G. Apers. Integrity Control in Relational Database Systems \u2014 An Overview. Data & Knowledge Engineering, 10:187\u2013223, 1993.","journal-title":"Data & Knowledge Engineering"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1023\/A:1008616811104","volume":"5","author":"P. W. P. J. Grefen","year":"1997","unstructured":"P. W. P. J. Grefen and J. Widom. Protocols for Integrity Constraint Checking in Federated Databases. Distributed and Parallel Databases, 5(4):327\u2013355, October 1997.","journal-title":"Distributed and Parallel Databases"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"A. Gupta and J. Widom. Local Verification of Global Integrity Constraints in Distributed Databases. In P. Buneman and S. Jajodia, editors, Proc. of the 1993 ACM SIGMOD Int. Conf. on Management of Data, Washington, D.C., USA, ACM SIGMOD Record, Vol. 22, No. 2, pages 49\u201358, ACM Press, 1993.","DOI":"10.1145\/170035.170048"},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF01231798","volume":"2","author":"T. H\u00e4rder","year":"1993","unstructured":"T. H\u00e4rder and K. Rothermel. Concurrency Control Issues in Nested Transactions. The VLDB Journal, 2(1):39\u201374, January 1993.","journal-title":"The VLDB Journal"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"A. Hsu and T. Imielinski. Integrity Checking for Multiple Updates. In S. Navathe, editor, Proc. of the 1985 ACM SIGMOD Int. Conf. on Management of Data, May 1985, Austin, Texas, USA, ACM SIGMOD Record, Vol. 14, No. 4, pages 152\u2013168, ACM Press, 1985.","DOI":"10.1145\/318898.318914"},{"key":"7_CR26","unstructured":"IBM Corporation. IBM Database Referencial Integrity Usage Guide, 1989."},{"key":"7_CR27","unstructured":"H. V. Jagadish and X. Qian. Integrity Maintenance in an OODB. In L.-Y. Yuan, editor, Proc. of the 18th Int. Conf. on Very Large Data Bases, VLDB\u201992, Vancouver, Canada, pages 469\u2013480, Morgan Kaufmann Publishers, 1992."},{"issue":"3","key":"7_CR28","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/185827.185854","volume":"19","author":"H. F. Korth","year":"1994","unstructured":"H. F. Korth and G. D. Speegle. Formal Aspects of Concurrency Control in Long-Duration Transactions Systems Using the NT\/PV Model. ACM Transactions on Database Systems, 19(3):492\u2013535, September 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR29","unstructured":"C. Le\u00f3n, M. Rukoz, and M. Rivas. Una Herramienta Java para Aplicacionnes Distribuidas de Tratamiento de Im\u00e1genes Biom\u00e9medicas. In Proc. XXIV Conferencia Latinoamericana de Inform\u00e1tica, PANEL\u201998, October 1998, Quito, Ecuador, pages 855\u2013866, Centro de Estudios Latinoamericanos de Inform\u00e1tica, 1998."},{"issue":"3","key":"7_CR30","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"B. Liskov. Distributed Computing in Argus. Communications of the ACM, 31(3):300\u2013312, March 1988.","journal-title":"Communications of the ACM"},{"key":"7_CR31","first-page":"335","volume":"3","author":"N. A. Lynch","year":"1986","unstructured":"N. A. Lynch. Concurrency Control for Resilient Nested Transactions. Advances in Computing Research, 3:335\u2013373, 1986.","journal-title":"Advances in Computing Research"},{"issue":"10","key":"7_CR32","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1093\/comjnl\/40.10.630","volume":"40","author":"S. K. Madria","year":"1997","unstructured":"S. K. Madria. A study of Concurrency Control and Recovery Algorithms in Nested Transaction Environment. The Computer Journal, 40(10):630\u2013639, 1997.","journal-title":"The Computer Journal"},{"key":"7_CR33","volume-title":"Coh\u00e9rence des Bases d\u2019Objets Multiversion","author":"S. Monties","year":"1997","unstructured":"S. Monties. Coh\u00e9rence des Bases d\u2019Objets Multiversion. PhD thesis, Universit\u00e9 de Paris I, Paris, France, 1997."},{"key":"7_CR34","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"J. E. B. Moss","year":"1985","unstructured":"J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA, 1985."},{"key":"7_CR35","unstructured":"J. E. B. Moss. Log-Based Recovery for Nested Transactions. In P. M. Stocker and W. Kent, editors, Proc. of the 13th Int. Conf. on Very Large Data Bases, VLDB\u201987, Brighton, England, September 1\u20134, 1987, pages 427\u2013432, Morgan Kaufmann Publishers, 1987."},{"issue":"3","key":"7_CR36","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00263192","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18(3):227\u2013253, 1982.","journal-title":"Acta Informatica"},{"key":"7_CR37","volume-title":"Coh\u00e9rence dans les Bases de Donn\u00e9es Orient\u00e9es Objet","author":"P.-Y. Policella","year":"1996","unstructured":"P.-Y. Policella. Coh\u00e9rence dans les Bases de Donn\u00e9es Orient\u00e9es Objet. PhD thesis, Universit\u00e9 de Paris XI, Paris, France, 1996."},{"issue":"1","key":"7_CR38","first-page":"39","volume":"14","author":"A. Reuter","year":"1991","unstructured":"A. Reuter and H. W\u00e4chter. The ConTract Model. Bulletin of the IEEE Technical Committee on Data Engineering, 14(1):39\u201344, 1991.","journal-title":"Bulletin of the IEEE Technical Committee on Data Engineering"},{"key":"7_CR39","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01798959","volume":"4","author":"M. Rukoz","year":"1991","unstructured":"M. Rukoz. Hierarchical Deadlock Detection for Nested Transactions. Distributed Computing, 4:123\u2013129, 1991.","journal-title":"Distributed Computing"},{"key":"7_CR40","unstructured":"K. Schwarz, C. T\u00fcrker, and G. Saake. Analyzing and Formalizing Dependencies in Generalized Transaction Structures. In M. Tamer \u00d6zsu, A. Dogac, and \u00d6. Ulusoy, editors, Proc. of the Third Int. Conf. on Integrated Design and Process Technology, IDPT-Volume 2, Int. Workshop on Issues and Applications of Database Technology, IADT\u201998, July 1998, Berlin, Germany, pages 55\u201362, Society for Design and Process Science, 1998."},{"issue":"3","key":"7_CR41","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"T. Sheard and D. Stemple. Automatic Verification on Database Transaction Safety. ACM Transactions on Database Systems, 14(3):322\u2013368, September 1989.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR42","unstructured":"Sybase Inc. Press, Emeryville, CA (USA). Sybase SQL Server, 1989."},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"G. Weikum. A Theoretical Foundation of Multi-Level Concurrency Control. In Proc. of the 5th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS\u201986, March 1986, Cambridge, MA, USA, pages 31\u201342, ACM Press, 1986.","DOI":"10.1145\/6012.15401"},{"key":"7_CR44","unstructured":"G. Weikum and H.-J. Schek. Concepts and Applications of Multilevel Transactions and Open Nested Transactions. In A. K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 515\u2013553, Morgan Kaufmann Publishers, 1992."},{"key":"7_CR45","unstructured":"J. Widom and S. Ceri, editors. Active Database Systems \u2014 Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, 1996."}],"container-title":["Lecture Notes in Computer Science","Transactions and Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46466-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T03:55:33Z","timestamp":1737345333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46466-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672012","9783540464662"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-46466-2_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}