{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:09:32Z","timestamp":1751688572670,"version":"3.41.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1023\/a:1008275219746","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"191-230","source":"Crossref","is-referenced-by-count":1,"title":["An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs"],"prefix":"10.1007","volume":"7","author":[{"given":"David B.","family":"Kemp","sequence":"first","affiliation":[]},{"given":"Kotagiri","family":"Ramamohanarao","sequence":"additional","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"141161_CR1","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0743-1066(87)90004-5","volume":"4","author":"I. Balbin","year":"1987","unstructured":"I. Balbin and K. Ramamohanarao, \u201cA generalization of the differential approach to recursive query evaluation. \u201d Journal of Logic Programming 4(3), pp. 259\u2013262, September 1987.","journal-title":"Journal of Logic Programming"},{"key":"141161_CR2","volume-title":"On Knowledge-Base Management Systems-Integrating Database and AI Systems","author":"F. Bancilhon","year":"1986","unstructured":"F. Bancilhon, \u201cNaive evaluation of recursively defined relations\u201d. In (M. Brodie and J. Mylopoulos, eds.) On Knowledge-Base Management Systems-Integrating Database and AI Systems, pages 165\u2013178. Springer-Verlag: New York, 1986."},{"key":"141161_CR3","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, D. Maier, Y Sagiv, and J. D. Ullman, \u201cMagic sets and other strange ways to implement logic programs, \u201d in Proceedings of the Fifth ACM PODS Symposium on Principles of Database Systems, 1986, pp. 1\u201315.","DOI":"10.1145\/6012.15399"},{"key":"141161_CR4","doi-asserted-by":"crossref","unstructured":"C. Beeri and R. Ramakrishnan, \u201cOn the power of magic, \u201din Proceedings ofthe Sixth ACM PODS Symposium on Principles of Database Systems, 1987, pp. 269\u2013283.","DOI":"10.1145\/28659.28689"},{"key":"141161_CR5","doi-asserted-by":"crossref","unstructured":"Keith L. Clark, \u201cNegation as failure. \u201d In (Herve Gallaire and Jack Minker, eds.), Logic and Data Bases. Plenum Press, 1978, pp. 293\u2013322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"141161_CR6","doi-asserted-by":"crossref","unstructured":"Sergio Greeo, Carlo Zaniolo, and Sumit Ganguly, \u201cGreedy by choice, \u201d in Proceedings of the Eleventh ACM PODS Symposium on Principles of Database Systems, 1992, pp. 105\u2013113.","DOI":"10.1145\/137097.137836"},{"key":"141161_CR7","series-title":"Technical Report","volume-title":"Efficient recursive aggregation and negation in deductive databases","author":"D. Kemp","year":"1996","unstructured":"David Kemp and Kotagiri Ramamohanarao, \u201cEfficient recursive aggregation and negation in deductive databases. \u201d Technical Report 96\/1, Department of Information System, University of Melbourne, Australia, 1996."},{"key":"141161_CR8","unstructured":"David B. Kemp and Kotagiri Ramamohanarao, \u201cA deductive database solution to the preferential vote counting problem, \u201d in Proceedings of the Second ICLP-Workshop on Deductive Databases, June 1994, pp. 143\u2013158."},{"key":"141161_CR9","unstructured":"David B. Kemp and Kotagiri Ramamohanarao, \u201cSyntactically recognizable modularly stratified programs, \u201d in Proceedings of the 5th Australasian Database Conference, January 1994, pp. 147\u2013161. An extended version of this paper has been written as University of Melbourne, Computer Science Department Technical Report 93\/15."},{"issue":"1\u20132","key":"141161_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(94)00153-A","volume":"146","author":"D. B. Kemp","year":"1995","unstructured":"David B. Kemp, Divesh Srivastava, and Peter J. Stuckey, \u201cBottom-up evaluation and query optimization of well-founded models. \u201d Theoretical Computer Science 146(1\u20132), pp. 145\u2013184, July 1995.","journal-title":"Theoretical Computer Science"},{"key":"141161_CR11","doi-asserted-by":"crossref","unstructured":"Phokion G. Kolaitis and Christos H. Papadimitriou, \u201cWhy not negation by fixpoint?\u201d in Proceedings of the Seventh ACM Symposium on Principles of Database Systems, March 1988, pp. 231\u2013239.","DOI":"10.1145\/308386.308446"},{"key":"141161_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd, Foundations of Logic Programming, second edition. Springer Series in Symbolic Computation. Springer Verlag: New York, 1987.","edition":"second edition"},{"key":"141161_CR13","doi-asserted-by":"crossref","unstructured":"Shinichi Morishita, \u201cAn alternating fixpoint tailored to magic programs, \u201d in PODS' 93, 1993, pp. 123\u2013134.","DOI":"10.1145\/153850.153861"},{"key":"141161_CR14","doi-asserted-by":"crossref","unstructured":"Teodor C. Przymusinski, \u201cOn the declarative semantics of deductive databases and logic programs. \u201d In (Jack Minker, ed.) Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, 1988, pp. 193\u2013216.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"141161_CR15","doi-asserted-by":"crossref","unstructured":"Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan, \u201cControlling the search in bottom-up evaluation, \u201d in Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, November 1992, pp. 273\u2013287.","DOI":"10.1007\/978-1-4615-3506-5_11"},{"issue":"2","key":"141161_CR16","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01228880","volume":"3","author":"R. Ramakrishnan","year":"1994","unstructured":"Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, and Praveen Seshadri, \u201cThe coral deductive system. \u201d The VLDB Journal 3(2), pp. 161\u2013210, 1994.","journal-title":"The VLDB Journal"},{"key":"141161_CR17","doi-asserted-by":"crossref","unstructured":"Ken A. Ross, \u201cModular stratification and magic sets for DATALOG programs with negation, \u201d in Proceedings of the Ninth ACM PODS Symposium on Principles of Database Systems, 1990, pp. 161\u2013171. An extended version of this paper, containing new results, was obtained from the author.","DOI":"10.1145\/298514.298558"},{"key":"141161_CR18","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J. D. Ullman","year":"1988","unstructured":"J. D. Ullman, Principles of Database and Knowledge-Base Systems, Vol. I. Computer Science Press: New York, 1988."},{"key":"141161_CR19","volume-title":"Principles of Database and Knowledge-Base Systems, Vol. II: The New Technologies","author":"J. D. Ullman","year":"1989","unstructured":"J. D. Ullman, Principles of Database and Knowledge-Base Systems, Vol. II: The New Technologies. Computer Science Press: New York, 1989."},{"issue":"2","key":"141161_CR20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF01228882","volume":"3","author":"J. Vaghani","year":"1994","unstructured":"Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, and James Harland, \u201cThe Aditi deductive database system. \u201d The VLDB Journal 3(2), pp. 245\u2013288, 1994.","journal-title":"The VLDB Journal"},{"issue":"3","key":"141161_CR21","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. van Gelder","year":"1991","unstructured":"A. van Gelder, K. A. Ross, and J. S. Schlipf, \u201cThe well-founded semantics for general logic programs. \u201d Journal of the ACM 38(3), pp. 620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"141161_CR22","doi-asserted-by":"crossref","unstructured":"Allen van Gelder, \u201cThe alternating fixpoint of logic programs with negation:\u201d in Proceedings of the Eighth. ACM PODS Symposium on Principles of Database Systems, 1989, pp. 1\u201310.","DOI":"10.1145\/73721.73722"},{"key":"141161_CR23","doi-asserted-by":"crossref","unstructured":"Carlo Zaniolo, Natraj Ami, and Kayliang Ong, \u201c Negation and aggregates in recursive rules: The LDL + + approach. \u201d in Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, December 1993, pp. 204\u2013221.","DOI":"10.1007\/3-540-57530-8_13"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008275219746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008275219746\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008275219746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T12:58:26Z","timestamp":1751633906000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008275219746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":23,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["141161"],"URL":"https:\/\/doi.org\/10.1023\/a:1008275219746","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}