{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:02Z","timestamp":1742617202314,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602224"},{"type":"electronic","value":"9783540447542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60222-4_110","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:53:55Z","timestamp":1330278835000},"page":"204-218","source":"Crossref","is-referenced-by-count":0,"title":["Optimization scheme on execution of logic program in a dataflow environment"],"prefix":"10.1007","author":[{"given":"A. R.","family":"Hurson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byung-Uk","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Anurag Acharya, Milind Tambe, and Anoop Gupta, \u201cImplementation of Production Systems on Message-Passing Computers, \u201d IEEE Transactions on Parallel and Distributed Systems, vol.3, No.4, July, '92, pp. 477\u2013487.","DOI":"10.1109\/71.149965"},{"key":"20_CR2","unstructured":"Jonas Barklund, and Hakan Millroth, \u201cIntegration Complex Data Structures in Prolog, \u201d Inter'l Symp. on Logic Programming, '87, pp. 415\u2013425."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Johann Eder, \u201cLogic and Databases,\u201d International Summer School, '92, pp. 95\u2013103.","DOI":"10.1007\/3-540-55681-8_32"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Y. Freundlich, \u201cKnowledge Bases and Databases,\u201d IEEE Computer, vol.23, no.11, Nov. '90, pp. 51\u201357.","DOI":"10.1109\/2.60880"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Sumit Ganguly, Waqar Hasan, and Ravi Krishnamurthy, \u201cQuery Optimization for Parallel Execution,\u201d ACM SIGMOD, '92, pp. 9\u201318.","DOI":"10.1145\/141484.130291"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"G. Gupta and V. S. Costa, \u201cAND-OR Parallelism in Full Prolog with Paged Binding Arrays,\u201d Proc. of PARLE, '92, pp. 617\u2013632.","DOI":"10.1007\/3-540-55599-4_114"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Gitu Jain, B. Ramkuman, and Jon G. Kuhl, \u201cA Control Strategy Based on Heuristic Techniques for the Parallel Execution of Logic Programs,\u201d 8th Inter'l Conf. on Parallel Processing Symposium, '94, pp. 311\u2013315.","DOI":"10.1109\/IPPS.1994.288284"},{"key":"20_CR8","unstructured":"Byung-Uk Jun, A.R. Hurson, and B. Shirazi, \u201cHandling Logic Programs in Multithreaded Dataflow Environment,\u201d Second Biennial European Joint Conf. on Engineering Systems Design and Analysis, '94, pp. 533\u2013540."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Rosana S.G. Lanzelotte, Patrick Valduriez, and Mohamed Zait, \u201cOptimization of Object-Oriented Recursive Queries using Cost-Controlled Strategies,\u201d ACM SIGMOD, '92, pp. 256\u2013265.","DOI":"10.1145\/141484.130322"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"B. Lee, A.R. Hurson, and T.Y. Feng, \u201cA Vertically Layered Allocation Scheme for Data Flow Systems,\u201d Journal of Parallel and Distributed Computing, vol.11, '91, pp. 175\u2013187.","DOI":"10.1016\/0743-7315(91)90042-8"},{"key":"20_CR11","unstructured":"Sang-goo Lee, L.J. Henschen, and G.Z. Qadah, \u201cSemantic Query Reformulation in Deductive Databases,\u201d 7th Inter'l Conf. on Data Engineering, '91, pp. 232\u2013239."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"B. Lee, and A.R. Hurson, \u201cDataflow Architectures and Multithreading,\u201d IEEE Computer, vol.27, no.8, '94, pp. 27\u201339.","DOI":"10.1109\/2.303620"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"M.V. Mannino, P. Chu, and T. Sager, \u201cStatistical Profile Estimation in Database Systems,\u201d ACM Computing Surveys, vol.20, no.3, Sep. '88, pp. 191\u2013221.","DOI":"10.1145\/62061.62063"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Dan Moldovan, Wing Lee, and Changhwa Lin, \u201cSNAP: A Marker-Propagation Architecture for Knowledge Processing,\u201d IEEE Transactions on Parallel and Distributed Systems, vol.3, No.4, July, '92, pp. 397\u2013410.","DOI":"10.1109\/71.149959"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"C.D. Polychronopoulos and U. Banerjee, \u201cProcessor Allocation for Horizontal and Vertical Parallelism and Related Speedup Bounds,\u201d IEEE transactions on Computer, vol. C-36, no.4, Apr. '87, pp. 410\u2013420.","DOI":"10.1109\/TC.1987.1676923"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"J.A. Robinson, \u201cA Machine-Oriented Logic based on the Resolution Principle,\u201d Journal of the Association for Computing Machinery, '80, no.12, pp. 23\u201341.","DOI":"10.1145\/321250.321253"},{"key":"20_CR17","unstructured":"S. Taylor, et al., \u201cLogic programming using parallel associative operations,\u201d Inter'l Symp. on Logic Programming, '84, pp. 58\u201368."},{"key":"20_CR18","unstructured":"Jeffrey D. Ullman, Principle of Database and Knowledge Base Systems, vol.2, Computer Science Press, 1989."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"M. J. Wise, \u201cMessage-Brokers and Communicating Prolog Processes,\u201d 4th Inter'l Conf. on Parallel Architectures and Languages in Europe, '92, pp. 535\u2013549.","DOI":"10.1007\/3-540-55599-4_109"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Z. Yuhan, T. Honglei, and X. Li, \u201cAND\/OR Parallel Execution of Logic Programs: Exploiting Dependent AND-parallelism,\u201d ACM SIGPLAN Notices, vol.28, no.5, '93, pp. 19\u201328.","DOI":"10.1145\/152819.152822"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60222-4_110.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:55:57Z","timestamp":1742597757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60222-4_110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602224","9783540447542"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-60222-4_110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}