{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T08:28:25Z","timestamp":1742632105574,"version":"3.30.1"},"reference-count":26,"publisher":"Elsevier BV","issue":"1-4","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1016\/s0020-0255(00)00062-1","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T17:32:24Z","timestamp":1049736744000},"page":"155-195","source":"Crossref","is-referenced-by-count":5,"title":["Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity"],"prefix":"10.1016","volume":"129","author":[{"given":"Indrakshi","family":"Ray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sushil","family":"Jajodia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0020-0255(00)00062-1_BIB1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/32.210305","article-title":"State-based model checking of event driven systems requirements","volume":"19","author":"Atlee","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0020-0255(00)00062-1_BIB2","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/249978.249981","article-title":"Applying formal methods to semantic-based decomposition of transactions","volume":"22","author":"Ammann","year":"1997","journal-title":"ACM Transactions on Database Systems"},{"year":"1996","series-title":"Object-Oriented Multidatabase Systems","key":"10.1016\/S0020-0255(00)00062-1_BIB3"},{"issue":"9","key":"10.1016\/S0020-0255(00)00062-1_BIB4","doi-asserted-by":"crossref","first-page":"954","DOI":"10.1109\/32.92915","article-title":"A. Silberschatz. On rigorous transaction scheduling","volume":"17","author":"Breitbart","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"year":"1987","series-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein","key":"10.1016\/S0020-0255(00)00062-1_BIB5"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB6","doi-asserted-by":"crossref","unstructured":"R.K. Batra, M. Rusinkiewicz, D. Georgakopoulos, A decentralized deadlock-free concurrency control method for multidatabase transactions, in: Proceedings of the International Conference on Distributed Computing Systems, Yokohama, Japan, June 1992, pp. 72\u201379","DOI":"10.1109\/ICDCS.1992.235053"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB7","doi-asserted-by":"crossref","unstructured":"Y. Breitbart, A. Silberschatz, Multidatabase update issues, in: Proceedings of ACM-SIGMOD International Conference on Management of Data, June 1988, pp.135\u2013142","DOI":"10.1145\/50202.50217"},{"issue":"7","key":"10.1016\/S0020-0255(00)00062-1_BIB8","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.708566","article-title":"Model checking large software specifications","volume":"24","author":"Chan","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB9","doi-asserted-by":"crossref","unstructured":"D. Duke, R. Duke, Towards a semantics for Object Z, in: D. Bjorner, C.A.R. Hoare, H. Langmaack (Eds.), VDM'90: VDM and Z, vol. 428 of Lecture Notes in Computer Science, Springer, Berlin, 1990, pp. 242\u2013262","DOI":"10.1007\/3-540-52513-0_14"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB10","unstructured":"W. Du, A.K. Elmagarmid, Quasi serializability: a correctness criterion for global concurrency control in interbase, in: Proceedings of the International Conference on Very Large Databases, Amsterdam, Netherlands, 1989, pp. 347\u2013355"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB11","doi-asserted-by":"crossref","unstructured":"D. Georgakopoulus, Multidatabase recoverability and recovery systems, in: Proceedings of the First International Workshop on Interoperability in Multidatabase Systems, Kyoto, Japan, April 1991, pp. 348\u2013355","DOI":"10.1109\/IMS.1991.153734"},{"issue":"2","key":"10.1016\/S0020-0255(00)00062-1_BIB12","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/319983.319985","article-title":"Using semantic knowledge for transaction processing in a distributed database","volume":"8","author":"Garcia-Molina","year":"1983","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB13","doi-asserted-by":"crossref","unstructured":"H. Garcia-Molina, Global consistency constraints considered harmful for heterogeneous database systems, in: Proceedings of the First International Workshop on Interoperability in Multidatabase Systems, Kyoto, Japan, April 1991, pp. 248\u2013250","DOI":"10.1109\/IMS.1991.153716"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB14","doi-asserted-by":"crossref","unstructured":"H. Garcia-Molina, K. Salem, Sagas, in: Proceedings of ACM-SIGMOD International Conference on Management of Data, San Francisco, CA, 1987, pp. 249\u2013259","DOI":"10.1145\/38713.38742"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB15","unstructured":"D. Jackson, Niptick: a checkable specification language, in: Proceedings of the Workshop on Formal Methods in Software Practice, San Diego, CA, January 1996, pp. 60\u201369"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB16","doi-asserted-by":"crossref","unstructured":"C. Morpain, M. Cart, J. Ferrie, J.F. Pons, Maintaining database consistency in presence of value dependencies in multidatabase systems, in: ACM SIGMOD Record, Montreal, Canada, June 1996, pp. 459\u2013468","DOI":"10.1145\/233269.233362"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB17","unstructured":"K.L. McMillan, Symbolic model checking: an approach to the state explosion problem, Ph.D. Thesis, Carnegie Mellon University, Pittsburgh, PA, 1992"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB18","doi-asserted-by":"crossref","unstructured":"S. Mehrotra, R. Rastogi, Y. Breitbart, H.F. Korth, A. Silberschatz, The concurrency control problem in multidatabases: characteristics and solutions, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, San Diego, CA, 1992, pp. 288\u2013297","DOI":"10.1145\/130283.130327"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB19","doi-asserted-by":"crossref","unstructured":"S. Mehrotra, R. Rastogi, H.F. Korth, A. Silberschatz, Non-serializable executions in heterogeneous distributed database systems, in: Proceedings of the International Conference on Parallel and Distributed Systems, Miami Beach, FL, December 1991, pp. 245\u2013252","DOI":"10.1109\/PDIS.1991.183110"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB20","doi-asserted-by":"crossref","unstructured":"S. Mehrotra, R. Rastogi, H. Korth, A. Silberschatz, A transaction model for multidatabase systems, in: Proceedings of the International Conference on Distributed Computing Systems pages, 1992, pp. 56\u201363","DOI":"10.1109\/ICDCS.1992.235055"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB21","unstructured":"M.H. Nodine, S.B. Zdonik, The impact of transaction management on object-oriented multidatabase views, in: O.A. Bukhres, A.K. Elmagarmid (Eds.), Object-Oriented Multidatabase Systems, Prentice-Hall, Englewood Cliffs, NJ, 1996, pp. 57\u2013104 (Chapter 3)"},{"issue":"5","key":"10.1016\/S0020-0255(00)00062-1_BIB22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","article-title":"Verifying properties of parallel programs: an axiomatic approach","volume":"19","author":"Owicki","year":"1976","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB23","doi-asserted-by":"crossref","unstructured":"S. Owre, J.M. Rushby, N. Shankar, PVS: a prototype verification system, in: Proceedings of the International Conference on Automated Deduction, Saratoga, NY, 1992, pp. 748\u2013752","DOI":"10.1007\/3-540-55602-8_217"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB24","doi-asserted-by":"crossref","unstructured":"R. Rastogi, H.F. Korth, A. Silberschatz, Exploiting transaction semantics in multidatabase systems, in: Proceedings of the International Conference on Distributed Computing Systems, Vancouver, Canada, June 1995, pp. 101\u2013109","DOI":"10.1109\/ICDCS.1995.500008"},{"year":"1992","series-title":"The Z Notation: A Reference Manual","author":"Spivey","key":"10.1016\/S0020-0255(00)00062-1_BIB25"},{"key":"10.1016\/S0020-0255(00)00062-1_BIB26","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0167-6423(96)00020-2","article-title":"A case study in model checking software systems","volume":"28","author":"Wing","year":"1997","journal-title":"Science of Computer Programming"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025500000621?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025500000621?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T10:44:14Z","timestamp":1733395454000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025500000621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":26,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["S0020025500000621"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0255(00)00062-1","relation":{},"ISSN":["0020-0255"],"issn-type":[{"type":"print","value":"0020-0255"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}