{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T12:39:26Z","timestamp":1778675966677,"version":"3.51.4"},"reference-count":49,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":7962,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1991,10]]},"DOI":"10.1016\/0743-1066(91)90030-s","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"295-344","source":"Crossref","is-referenced-by-count":36,"title":["Efficient bottom-up computation of queries on stratified databases"],"prefix":"10.1016","volume":"11","author":[{"given":"I.","family":"Balbin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.S.","family":"Port","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Ramamohanarao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Meenakshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(91)90030-S_BIB1","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/0743-1066(91)90030-S_BIB2","series-title":"Ph.D. Thesis","article-title":"Efficient Bottom-Up Computation on Recursively Defined Deductive Databases","author":"Balbin","year":"1989"},{"key":"10.1016\/0743-1066(91)90030-S_BIB3","first-page":"711","article-title":"A Query Independent Method for Magic Set Computation on Stratified Databases","author":"Balbin","year":"1988","journal-title":"Proceedings of the 1988 International Conference on Fifth Generation Computer Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB4","series-title":"Technical Report 3","article-title":"Magic Set Computation for Stratified Databases","author":"Balbin","year":"1987"},{"key":"10.1016\/0743-1066(91)90030-S_BIB5","series-title":"Technical Report 7","article-title":"A Differential Approach to Query Optimization in Recursive Deductive Databases","author":"Balbin","year":"1986"},{"issue":"3","key":"10.1016\/0743-1066(91)90030-S_BIB6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(87)90004-5","article-title":"A Generalization of the Differential Approach to Recursive Query Evaluation","volume":"4","author":"Balbin","year":"1987","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB7","article-title":"Naive Evaluation of Recursively Defined Relations","author":"Bancilhon","year":"1985","journal-title":"Proceedings of the Islamorada Workshop on Large Scale Knowledge Base and Reasoning Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/6012.15399","article-title":"Magic Sets and Other Strange Ways to Implement Logic Programs","author":"Bancilhon","year":"1986","journal-title":"Proceedings of the 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB9","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"439","article-title":"Performance Evaluation of Data Intensive Logic Programs","author":"Bancilhon","year":"1988"},{"key":"10.1016\/0743-1066(91)90030-S_BIB10","series-title":"Technical Report","article-title":"Query Evaluation and Recursion in Deductive Database Systems","author":"Bayer","year":"1985"},{"key":"10.1016\/0743-1066(91)90030-S_BIB11","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/28659.28662","article-title":"Sets and Negation in a Logic Database Language (LDL1)","author":"Beeri","year":"1987","journal-title":"Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/28659.28689","article-title":"On the Power of Magic","author":"Beeri","year":"1987","journal-title":"Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"issue":"No. 3","key":"10.1016\/0743-1066(91)90030-S_BIB13","article-title":"Equivalent Logic Programs and Symmetric Homogeneous Forms of Logic Programs with Equality","volume":"3","author":"Chan","year":"1987","journal-title":"Comput. Intelligence"},{"issue":"1","key":"10.1016\/0743-1066(91)90030-S_BIB14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","article-title":"Horn Clause Queries and Generalization","volume":"2","author":"Chandra","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB15","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"key":"10.1016\/0743-1066(91)90030-S_BIB16","series-title":"Data Base Systems","first-page":"65","article-title":"Relational Completeness of Data Base Sublanguages","author":"Codd","year":"1972"},{"issue":"2","key":"10.1016\/0743-1066(91)90030-S_BIB17","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and Databases: A Deductive Approach","volume":"16","author":"Gallaire","year":"1984","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0743-1066(91)90030-S_BIB18","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/308386.308469","article-title":"Counting Methods for Cyclic Relations","author":"Haddad","year":"1988","journal-title":"Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB19","first-page":"533","article-title":"Some performance results on recursive query processing in relational databases","author":"Han","year":"1986","journal-title":"Proceedings of the 2nd International Conference on Data Engineering"},{"key":"10.1016\/0743-1066(91)90030-S_BIB20","series-title":"Graph Theory","author":"Harary","year":"1969"},{"issue":"1","key":"10.1016\/0743-1066(91)90030-S_BIB21","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2422.2423","article-title":"On Compiling Queries in Recursive First-order Databases","volume":"31","author":"Henschen","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-1066(91)90030-S_BIB22","first-page":"413","article-title":"Preservation of Stronger Equivalence in Unfold\/Fold Logic Program Transformation","author":"Kawamura","year":"1988","journal-title":"Proceedings of the 1988 International Conference on Fifth Generation Computer Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB23","article-title":"Propagating Constraints in Recursive Deductive Databases","author":"Kemp","year":"1989","journal-title":"Proceedings of the North American Conference on Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB24","first-page":"178","article-title":"Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases","author":"Kemp","year":"1988","journal-title":"Proceedings of the Fifth International Conference\/Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB25","first-page":"719","article-title":"Efficient Query Answering on Stratified Databases","author":"Kerisit","year":"1988","journal-title":"Proceedings of the 1988 International Conference on Fifth Generation Computer Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB26","first-page":"109","article-title":"A Framework for an Efficient Implementation of Deductive Databases","author":"Kifer","year":"1986","journal-title":"Proceedings of the Sixth Advanced Database Symposium"},{"key":"10.1016\/0743-1066(91)90030-S_BIB27","series-title":"Technical Report 719","article-title":"Signed Data Dependencies in Logic Programs","author":"Kunen","year":"1987"},{"key":"10.1016\/0743-1066(91)90030-S_BIB28","first-page":"136","article-title":"Stratification and Knowledge Based Management","author":"Lassez","year":"1987","journal-title":"Proceedings of the Fourth International Conference on Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB29","series-title":"Springer Ser. Symbolic Comput.","article-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"issue":"1","key":"10.1016\/0743-1066(91)90030-S_BIB30","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","article-title":"A Basis for Deductive Database Systems II","volume":"3","author":"Lloyd","year":"1986","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB31","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"627","article-title":"Equivalence of Logic Programs","author":"Maher","year":"1988"},{"key":"10.1016\/0743-1066(91)90030-S_BIB32","series-title":"Foundations of Deductive Databases and Logic Programming","year":"1988"},{"issue":"4","key":"10.1016\/0743-1066(91)90030-S_BIB33","first-page":"28","article-title":"yawn! (Yet Another Window on Nail!)","volume":"10","author":"Morris","year":"1987","journal-title":"IEEE Data Engrg."},{"issue":"3","key":"10.1016\/0743-1066(91)90030-S_BIB34","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00263192","article-title":"Logic for Improving Integrity Checking in Relational Data Bases","volume":"18","author":"Nicolas","year":"1982","journal-title":"Acta Inform."},{"key":"10.1016\/0743-1066(91)90030-S_BIB35","series-title":"Technical Report 88\/20","article-title":"Magic Sets Made Simple","author":"Port","year":"1988"},{"key":"10.1016\/0743-1066(91)90030-S_BIB36","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the Semantics of Stratfied Deductive Databases","author":"Przymusinski","year":"1988"},{"key":"10.1016\/0743-1066(91)90030-S_BIB37","series-title":"Ph.D. Thesis","article-title":"On the Implementation of Data Intensive Logic Programs","author":"Ramakrishnan","year":"1987"},{"key":"10.1016\/0743-1066(91)90030-S_BIB38","series-title":"Prolog and Databases","first-page":"212","article-title":"The NU-Prolog Deductive Database System","author":"Ramamohanarao","year":"1988"},{"issue":"3","key":"10.1016\/0743-1066(91)90030-S_BIB39","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF03037407","article-title":"The Alexander Method\u2014a Technique for the Processing of Recursive Axioms in Deductive Databases","volume":"4","author":"Rohmer","year":"1986","journal-title":"New Generation Comput."},{"key":"10.1016\/0743-1066(91)90030-S_BIB40","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/6012.6013","article-title":"On the Implementation of a Simple Class of Logic Queries for Databases","author":"Sacc\u00e0","year":"1986","journal-title":"Proceedings of the Fifth ACM Symposium on Principles of Database, Systems"},{"key":"10.1016\/0743-1066(91)90030-S_BIB41","series-title":"Proceedings of the 4th International Conference on Logic Programming","first-page":"104","article-title":"Implementation of Recursive Queries for a Data Language based on Pure Horn Logic","author":"Sacc\u00e0","year":"1987"},{"key":"10.1016\/0743-1066(91)90030-S_BIB42","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"659","article-title":"Optimizing Datalog Programs","author":"Sagiv","year":"1988"},{"issue":"3","key":"10.1016\/0743-1066(91)90030-S_BIB43","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","article-title":"Negation as Failure\u2014II","volume":"2","author":"Shepherdson","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB44","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/0743-1066(91)90030-S_BIB45","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"217","article-title":"On Domain Independent Databases","author":"Topor","year":"1988"},{"issue":"3","key":"10.1016\/0743-1066(91)90030-S_BIB46","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3979.3980","article-title":"Implementation of Logical Query Languages for Databases","volume":"10","author":"Ullman","year":"1985","journal-title":"ACM Trans. Database Systems"},{"issue":"4","key":"10.1016\/0743-1066(91)90030-S_BIB47","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-1066(91)90030-S_BIB48","first-page":"127","article-title":"Negation as Failure Using Tight Derivations for General Logic Programs","author":"van Gelder","year":"1986","journal-title":"Proceedings of the Third IEEE Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(91)90030-S_BIB49","first-page":"179","article-title":"Recursive Axioms in Deductive Databases: The Query\/Subquery Approach","author":"Vieille","year":"1986","journal-title":"Proceedings of the Second International Conference on Expert Database Systems"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669190030S?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669190030S?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:56:31Z","timestamp":1555127791000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074310669190030S"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":49,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["074310669190030S"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(91)90030-s","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1991,10]]}}}