{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T05:52:23Z","timestamp":1735883543688,"version":"3.32.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1995,9]]},"DOI":"10.1007\/bf01974950","type":"journal-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T12:39:50Z","timestamp":1123072790000},"page":"219-252","source":"Crossref","is-referenced-by-count":1,"title":["A parallel logic language for transaction specification in multidatabase systems"],"prefix":"10.1007","volume":"5","author":[{"given":"Eva","family":"K\u00fchn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed K.","family":"Elmagarmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yungho","family":"Leu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noureddine","family":"Boudriga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01974950_CR1","unstructured":"P. Bernstein, V. Hadzilacos, and N. Goodman,Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"issue":"12","key":"BF01974950_CR2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/163298.163303","volume":"36","author":"K. P. Birman","year":"1993","unstructured":"K. P. Birman, \u201cThe process group approach to reliable distributed computing\u201d.Communications of the ACM, 36(12), pp. 37\u201353, 1993.","journal-title":"Communications of the ACM"},{"issue":"9","key":"BF01974950_CR3","doi-asserted-by":"crossref","first-page":"954","DOI":"10.1109\/32.92915","volume":"17","author":"Y. Breitbart","year":"1991","unstructured":"Y. Breitbart, D. Georgakopoulos, M. Rusinkiewicz, and A. Silberschatz, \u201cOn rigorous transaction scheduling\u201d.IEEE Transactions on Software Engineering, 17(9), pp. 954\u2013960, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF01974950_CR4","unstructured":"A. Buchmann, M. T. \u00d6szu, M. Hornick, D. Georgakopoulos, and F. A. Manola, A transaction model for active distributed object systems. In A. K. Elmagarmid, editor,Database Transaction Models for Advanced Applications, chapter 5, pp. 123\u2013158. Morgan Kaufmann Publishers, 1992."},{"key":"BF01974950_CR5","unstructured":"O. Bukhres, A. Elmagarmid, and e. K\u00fchn, Advanced languages for multidatabase systems. In O. Bukhres and A. K. Elmagarmid, editors,Object-Oriented Multidatabase Systems. Prentice-Hall, 1995. to appear."},{"key":"BF01974950_CR6","doi-asserted-by":"crossref","unstructured":"O. Bukhres, e. K\u00fchn, and F. Puntigam. A language multidatabase system communication protocol. InProceedings of the 9th International Conference on Data Engineering, pp. 633\u2013640. IEEE Computer Society, April 1993.","DOI":"10.1109\/ICDE.1993.344016"},{"key":"BF01974950_CR7","unstructured":"P. Chrysanthis and K. Ramamritham, ACTA: The SAGA continues. In A. K. Elmagarmid, editor.Database Transaction Models for Advanced Applications, chapter 10, pp. 351\u2013397. Morgan Kaufmann Publishers, 1992."},{"issue":"8","key":"BF01974950_CR8","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. Dijkstra","year":"1975","unstructured":"E. Dijkstra, \u201cGuarded commands, nondeterminacy, and formal derivation of programs\u201d.Communications of the ACM, 18(8), pp. 453\u2013457, 1975.","journal-title":"Communications of the ACM"},{"key":"BF01974950_CR9","doi-asserted-by":"crossref","unstructured":"W. Du, A. Elmagarmid, and W. Kim., \u201cMaintaining quasi serializability in multidatabase systems\u201d. InProceedings of the 7th International Conference on Data Engineering, pp. 360\u2013367, Kobe, Japan, April 1991.","DOI":"10.1109\/ICDE.1991.131483"},{"key":"BF01974950_CR10","unstructured":"A. Elmagarmid, Y. Leu, W. Litwin, and M. Rusinkiewicz. \u201cA multidatabase transaction model for InterBase.\u201d InProceedings of the 16th International Conference on Very Large Data Bases, pp. 507\u2013518, Brisbane, Australia, August 1990."},{"key":"BF01974950_CR11","unstructured":"A. K. Elmagarmid, editor,Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, 1992."},{"issue":"2","key":"BF01974950_CR12","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01277645","volume":"3","author":"A. Forst","year":"1995","unstructured":"A. Forst, E. Kuhn, and O. Bukhres, \u201cGeneral purpose work flow languages\u201d.International Journal on parallel and Distributed Databases, 3(2), pp. 187\u2013218, 1995. Special Issue on Software Support for Work Flow Management, Kluwer Adademic Publishers.","journal-title":"International Journal on parallel and Distributed Databases"},{"key":"BF01974950_CR13","unstructured":"A. Forst, e. K\u00fchn, H. Pohlai, and K. Schwarz, \u201cLogic based and imperative coordination languages\u201d. InSeventh International Conference on Parallel and Distributed Computing Systems, PDCS'94, pp. 152\u2013159, Las Vegas, Nevada, October 6\u20138 1994. ISCA, ACM, IEEE."},{"key":"BF01974950_CR14","doi-asserted-by":"crossref","unstructured":"H. Garcia-Molina and K. Salem, \u201cSagas\u201d. InProceedings of the ACM SIGMOD Annual Conference, pp. 249\u2013259, San Francisco, May 1987.","DOI":"10.1145\/38713.38742"},{"key":"BF01974950_CR15","doi-asserted-by":"crossref","unstructured":"D. Georgakopoulos, M. Rusinkiewicz, and A. Sheth, \u201cOn serializability of multidatabase transactions through forced local conflicts\u201d. InProceedings of the 7th International Conference on Data Engineering, pp. 314\u2013323, Kobe, Japan, April 1991.","DOI":"10.1109\/ICDE.1991.131479"},{"key":"BF01974950_CR16","unstructured":"J. Gray, \u201cThe transaction concept: Virtues and limitations\u201d. InProceedings of the VLDB (Very Large Databases), pp. 144\u2013154, Cannes, France, September 1981."},{"key":"BF01974950_CR17","doi-asserted-by":"crossref","unstructured":"e. K\u00fchn, \u201cFault-tolerance for communicating multidatabase transactions\u201d. InProceedings of the 27th Hawaii International Conference on System Sciences (HICSS), pp. 323\u2013332, Wailea, Maui, Hawaii, January 4\u20137 1994. ACM, IEEE.","DOI":"10.1109\/HICSS.1994.323251"},{"key":"BF01974950_CR18","unstructured":"e. K\u00fchn, \u201cA universal model for the coordination of distributed systems\u201d. Technical report, University of Technology Vienna, 1994."},{"key":"BF01974950_CR19","unstructured":"e. K\u00fchn, W. Liu, and H. Pohlai, \u201cScheduling transactions on distributed systems with theVPL engine\u201d. InIn: Proceedings of the Second Biennial European Joint Conference on Engineering Systems Design, ESDA'94, pp. 335\u2013347, London, England, July 4\u20137 1994. The American Society of Mechanical Engineers (ASME)."},{"key":"BF01974950_CR20","unstructured":"e. K\u00fchn and T. Ludwig, VIP-MDBS: A logic multidatabase system. InProceedings of the International Symposium on Databases in Parallel and Distributed Systems, pp. 190\u2013201, Austin, Texas, December 1988. IEEE Computer Society Press. Also included as part of the text of a new IEEE Computer Society Press tutorialMultidatabase Systems: An Advanced Solution for Global Information Sharing, by A. R. Hurson, M. W. Bright and S. Pakzad, 1993."},{"issue":"3","key":"BF01974950_CR21","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0096-0551(93)90033-W","volume":"19","author":"e. K\u00fchn","year":"1993","unstructured":"e. K\u00fchn, H. Pohlai, and F. Puntigam, Concurrency and backtracking in .Computer Languages, 19(3), pp. 185\u2013203, July 1993.","journal-title":"Computer Languages"},{"issue":"4","key":"BF01974950_CR22","first-page":"301","volume":"13","author":"e. K\u00fchn","year":"1994","unstructured":"e. K\u00fchn, H. Pohlai, and F. Puntigam, \u201cCommunication and transactions in \u201d.Computers and Artificial Intelligence, 13(4), pp. 301\u2013319, 1994.","journal-title":"Computers and Artificial Intelligence"},{"key":"BF01974950_CR23","doi-asserted-by":"crossref","unstructured":"e. K\u00fchn, F. Puntigam, and A. K. Elmagarmid, \u201cAn execution model for distributed database transactions and its implementation inVPL\u201d. InProceedings of the International Conference on Extending Database Technology, EDBT'92, pp. 483\u2013498, Vienna, March 1992. Springer Verlag, LNCS.","DOI":"10.1007\/BFb0032450"},{"key":"BF01974950_CR24","unstructured":"Y. Leu,Flexible Transaction Management in the InterBase Project. PhD thesis, Purdue University, August 1991."},{"key":"BF01974950_CR25","unstructured":"J. E. Moss, \u201cNested transactions: An introduction\u201d. In B. Bhargava, editor.Concurrency Control and Reliability in Distributed Systems, pp. 395\u2013425. Van Nostrand Reinhold, 1987."},{"issue":"3","key":"BF01974950_CR26","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro, \u201cThe family of concurrent logic programming languages.\u201dACM Computing Surveys, 21(3), pp. 413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"BF01974950_CR27","unstructured":"Ehud Shapiro,The Art of Prolog. The MIT Press, 1986."},{"key":"BF01974950_CR28","doi-asserted-by":"crossref","unstructured":"L. Suardi, M. Rusinkiewicz, and W. Litwin, \u201cExecution of extended multidatabase SQL\u201d. InProceedings of the 9th International Conference on Data Engineering, pp. 641\u2013650, Vienna, Austria, April 1993. IEEE Computer Society.","DOI":"10.1109\/ICDE.1993.344015"},{"key":"BF01974950_CR29","unstructured":"H. W\u00e4chter and A. Reuter, The ConTract model\u201d. In A. K. Elmagarmid, editor,Database Transaction Models for Advanced Applications, chapter 7, pp. 219\u2013263. Morgan Kaufmann Publishers, 1992."}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01974950.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01974950\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01974950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T00:09:49Z","timestamp":1735862989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01974950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["BF01974950"],"URL":"https:\/\/doi.org\/10.1007\/bf01974950","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}