{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:48Z","timestamp":1725664908548},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606086"},{"type":"electronic","value":"9783540484608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60608-4_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:46:13Z","timestamp":1330289173000},"page":"128-142","source":"Crossref","is-referenced-by-count":0,"title":["An experimental distributed deductive database system"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Robles","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terry","family":"Gaasterland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U.S. Chakravarthy","year":"1990","unstructured":"U.S. Chakravarthy, J. Grant, and J. Minker. Logic based approach to semantic query optimization. ACM Transactions on Database Systems, 15(2):162\u2013207, June 1990.","journal-title":"ACM Transactions on Database Systems"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and C. Kesselman. CC++: A declarative, concurrent, object oriented programming notation. Technical Report CS-92-01, California Institute of Technology, 1992. CC++ is avialable from http:\/\/www.compbio.caltech.edu\/ccpp.","DOI":"10.7551\/mitpress\/2087.003.0016"},{"key":"8_CR3","unstructured":"T. Gaasterland. Generating Cooperative Answers in Deductive Databases. PhD thesis, University of Maryland, Department of Computer Science, 1992. CS-TR-2968."},{"key":"8_CR4","first-page":"1","volume-title":"The alternating fixpoint of logic programs with negation","author":"A. Gelder Van","year":"1989","unstructured":"A. Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principels of Database Systems, pages 1\u201310, Philadelphia, Pennsylvania, March 1989. ACM Press."},{"key":"8_CR5","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R.A. Kowalski and K.A. Bowen, editors, Proc. 5 th International Conference and Symposium on Logic Programming, pages 1070\u20131080, Seattle, Washington, August 15\u201319 1988."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"T. Gaasterland and J. Lobo. Using semantic information for processing negation and disjunction in logic programs. In Proc. of Seventh International Symposium on Methodologies for Intelligent Systems, Trondheim, Norway, June 1993.","DOI":"10.1007\/3-540-56804-2_19"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"S. Ganguly, A. Silberschatz, and S. Tsur. A framework for the parallel processing of datalog queries. In SIGMOD, pages 143\u2013152, ACM Press, 1990.","DOI":"10.1145\/93597.98724"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"S-T. Huang. Detecting termination of distributed computations by external agents. In Proceeding of the 9th International Conference of Distributed Computing Systems, pages 79\u201384. 1989.","DOI":"10.1109\/ICDCS.1989.37933"},{"key":"8_CR9","first-page":"387","volume-title":"Semantics of logic programs with aggregates","author":"D. B. Kemp","year":"1991","unstructured":"D. B. Kemp and P. J. Stukey. Semantics of logic programs with aggregates. In V. Saraswat and K. Ueda, editors, Proc. of the International Symposium on Logic Programming, pages 387\u2013401, Cambridge, Massachusetts, October 1991. MIT Press."},{"key":"8_CR10","unstructured":"J. Lobo and J. Minker. A metaprogramming approach to semantically optimize queries in deductive databases. In L. Kerschberg, editor, Proceedings of The Second International Conference on Expert Database Systems, pages 387\u2013420, Tysons Corner, Virginia, April 1988."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"R. Manthey and F. Bry. Satchmo: A theorem prover implemented in prolog. In E.L. Lusk and R.A. Overbeek, editors, Proc. 9 th International Conference on Automated Deduction, pages 415\u2013434, Argonne, IL, 23\u201326, May 1988.","DOI":"10.1007\/BFb0012847"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. Negation as failure using tight derivations for general logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 1149\u2013176. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50007-5"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proc. 7 th Symposium on Principles of Database Systems, pages 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1109\/69.224203","volume":"5","author":"O. Wolfson","year":"1993","unstructured":"O. Wolfson and A. Ozeri. Parallel and distributed precessing of rules by data-reduction. IEEE Transactions on Knowledge and Data Engineering, 5(3):523\u2013530, 1993.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"4","key":"8_CR15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF01421676","volume":"21","author":"O. Wolfson","year":"1992","unstructured":"O. Wolfson, W. Zhang, H. Butani, A. Kawaguchi, and K. Mok. Parallel processing of graph reachabilty in databases. International Journal of Parallel Programming, 21(4):269\u2013302, 1992. Volume appeared in 1993.","journal-title":"International Journal of Parallel Programming"},{"issue":"1","key":"8_CR16","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1109\/69.368511","volume":"7","author":"W. Zhang","year":"1995","unstructured":"W. Zhang, K. Wang, and S-C. Chau. Data partition and parallel evaluation of datalog programas. IEEE Transactions on Knowledge and Data Engineering, 7(1):163\u2013176, February 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60608-4_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:02:00Z","timestamp":1713632520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60608-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606086","9783540484608"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60608-4_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}