{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:47Z","timestamp":1725663467643},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190745"},{"type":"electronic","value":"9783540390954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19074-0_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:02:06Z","timestamp":1330200126000},"page":"16-33","source":"Crossref","is-referenced-by-count":11,"title":["Optimization in a logic based language for knowledge and data intensive applications"],"prefix":"10.1007","author":[{"given":"Ravi","family":"Krishnamurthy","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Zaniolo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"2_CR1","unstructured":"Ait-Kaci, H. and R. Nasr, \u201cResiduation: a Paradigm for Integrating Logic and Functional Programming,\u201d submitted for publication."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Aho, A. and J. Ullman, Universality of Data Retrieval Languages, Proc. POPL Conf., San Antonio, TX, 1979.","DOI":"10.1145\/567752.567763"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., D, Maier, Y. Sagiv and Ullman, Magic Sets and other Strange Ways to Implements Logic Programs, Proc. 5-th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, pp. 1\u201316, 1986.","DOI":"10.1145\/6012.15399"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., and R. Ramakrishan, An Amateur's Introduction to Recursive Query Processing Strategies, Proc. 1986 ACM-SIGMOD Intl. Conf. on Mgt. of Data, pp. 16\u201352, 1986.","DOI":"10.1145\/16894.16859"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Beeri, C., S. Naqvi, R. Ramakrishnan, O. Shmueli, S. Tsur, Sets and Negation in a Logic Database Language, Proc. 6-th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 1987.","DOI":"10.1145\/28659.28662"},{"key":"2_CR6","unstructured":"Colmemauer, A. et al., Prolog II: Reference Manual and Theoretical Model, Groupe d'Intelligence artificielle, Faculte de Sciences de Lumin, 1982."},{"issue":"3","key":"2_CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00999727","volume":"11","author":"J. Grant","year":"1982","unstructured":"Grant, J. and Minker J., On Optimizing the Evaluation of a Set of Expressions, Int. Journal of Computer and Information Science, 11, 3 (1982), 179\u2013189.","journal-title":"Int. Journal of Computer and Information Science"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Ioannidis, Y. E, Wong, E, Query Optimization by Simulated Annealing, Proc. 1987 ACM-SIGMOD Intl. Conf. on Mgt. oof Data, San Francisco, 1987.","DOI":"10.1145\/38713.38722"},{"issue":"7","key":"2_CR9","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. A. Kowalski","year":"1979","unstructured":"Kowalski, R.A., \u201cAlgorithm = Logic + Control\u201d, CACM, 22, 7, pp. 424\u2013436, (1979).","journal-title":"CACM"},{"key":"2_CR10","unstructured":"Krishnamurthy, R., Boral, H., Zaniolo, C. Optimization of Nonrecursive Queries, Proc. of 12th VLDB, Kyoto, Japan, 1986."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R., R. Ramakrishnan. O. Shmueli, \u201cA Framework for Testing Safety and Effective Computability\u201d, MCC Report 1987 and also submitted for external publication.","DOI":"10.1145\/50202.50219"},{"key":"2_CR12","first-page":"261","volume-title":"Advances in Database Theory: Vol 1","author":"C. Kellog","year":"1981","unstructured":"Kellog, C., and Travis, L. Reasoning with data in a deductively augmented database system, in Advances in Database Theory: Vol 1, H. Gallaire, J. Minker, and J. Nicholas eds., Plenum Press, New York, 1981, pp 261\u2013298."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"2_CR14","unstructured":"Maier, D., The Theory of Relational Databases, (pp. 553\u2013542), Comp. Science Press, 1984."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"K. Morris, J. D. Ullman and A. Van Gelder, Design Overview of the Nail! System, Proc. Third Int. Symposium on Logic Programming, pp. 127\u2013139, 1986.","DOI":"10.1007\/3-540-16492-8_104"},{"key":"2_CR16","volume-title":"Negation and Control in Prolog","author":"L. Naish","year":"1985","unstructured":"Naish, L., Negation and Control in Prolog, Ph. D. Thesis, Dept. of CS, Univ. of Melbourne, Austr., 1985."},{"key":"2_CR17","volume-title":"Semantics of Updates in Logic Programming","author":"N. Shamim","year":"1987","unstructured":"Naqvi Shamim and R. Krishnamurthy, Semantics of Updates in Logic Programming, Workshop on Database and Programming Languages, Roscoff, France 1987."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Pereira Luis Moniz, Logic Control with Logic, UNL Report 2\/82 (1982).","DOI":"10.1111\/j.1949-8594.1982.tb11553.x"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, R, C. Beeri, R. Krishnamurthy, Optimizing Existential Queries, MCC Technical Report, 1987, (also submitted for external publication).","DOI":"10.1145\/308386.308420"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Sellinger, P.G. et. al. Access Path Selection in a Relational Database Management System., Proc. 1979 ACM-SIGMOD Intl. Conf. on Mgt. of Data, pp. 23\u201334, 1979.","DOI":"10.1145\/582095.582099"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0004-3702(85)90028-1","volume":"26","author":"D. E. Smith","year":"1985","unstructured":"Smith, D. E. and M. R. Genesereth, Ordering Conjunctive Queries, Artificial Intelligence 26, pp. 171\u2013185, 1985.","journal-title":"Artificial Intelligence"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Sacca', D. and C. Zaniolo, The Generalized Counting Method for Recursive Logic Queries, Proc. ICDT '86 \u2014Int. Conf. on Database Theory, Rome, Italy 1986.","DOI":"10.1007\/3-540-17187-8_28"},{"key":"2_CR23","unstructured":"Tsur, S. and C. Zaniolo, LDL: A Logic-Based Data Language, Proc. of 12th VLDB, Kyoto, Japan, 1986."},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"J. D. Ullman","year":"1985","unstructured":"Ullman, J. D., Implementation of logical query languages for databases, TODS, 10, 3, (1985), 289\u2013321.","journal-title":"TODS"},{"key":"2_CR25","unstructured":"Ullman, J.D. and A. Van Gelder, Testing Applicability of Top-Down Capture Rules, Stanford Univ. Report STAN-CS-85-146, 1985."},{"key":"2_CR26","unstructured":"Villarreal, E., \u201cEvaluation of an O(N**2) Method for Query Optimization\u201d, MS Thesis, Dept. of Computer Science, Univ. of Texas at Austin, Austin, TX."},{"key":"2_CR27","unstructured":"Zaniolo, C. The representation and deductive retrieval of complex objects, Proc. of 11th VLDB, pp. 458\u2013469, 1985."},{"key":"2_CR28","unstructured":"Zaniolo, C., Safety and Compilation of Non-Recursive Horn Clauses, Proc. First Int. Conf. on Expert Database Systems, Charleston, S.C., 1986."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Zaniolo C. and D. Sacca', \u201cRule Rewriting Methods for Efficient Implementations of Horn Logic,\u201d MCC Technical Report 1987, submitted for publication.","DOI":"10.1007\/3-540-19129-1_5"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology\u2014EDBT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19074-0_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:25:46Z","timestamp":1640917546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19074-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190745","9783540390954"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-19074-0_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}