{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:37Z","timestamp":1725663637806},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535072"},{"type":"electronic","value":"9783540466826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53507-1_99","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:10:06Z","timestamp":1330207806000},"page":"514-528","source":"Crossref","is-referenced-by-count":4,"title":["Static estimation of query sizes in horn programs"],"prefix":"10.1007","author":[{"given":"Saumya K.","family":"Debray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nai-Wei","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"C. Beeri and R. Ramakrishnan, \u201cOn the Power of Magic\u201d, Proc. Sixth ACM Symposium on Principles of Database Systems, San Diego, March 1987, pp. 269\u2013283.","DOI":"10.1145\/28659.28689"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"S. Christodoulakis, \u201cEstimating block transfers and join sizes\u201d, Proc. ACM SIGMOD International Conference on Management of Data, pp. 40\u201354, May 1983.","DOI":"10.1145\/582192.582204"},{"issue":"3","key":"33_CR3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/355744.355751","volume":"3","author":"J. Cohen","year":"1977","unstructured":"J. Cohen and J. Katcoff, \u201cSymbolic Solution of Finite-Difference Equations,\u201d ACM Transactions on Mathematical Software 3, 3 (Sep. 1977), pp. 261\u2013271.","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"3","key":"33_CR4","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","volume":"11","author":"S. Debray","year":"1989","unstructured":"S. Debray and D. Warren, \u201cFunctional Computations in Logic Programs,\u201d ACM Transactions on Programming Languages and Systems 11, 3 (July 1989), pp. 451\u2013481.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"33_CR5","unstructured":"R. Demolombe, \u201cEstimation of the number of tuples satisfying a query expressed in predicate calculus language\u201d, Proc. Sixth International Conference on Very Large Databases, pp. 55\u201363, Montreal, Canada, 1980."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"W.-C. Hou, G. Ozsoyoglu, and B. K. Taneja, \u201cStatistical estimators for relational algebra expressions\u201d, Proc. Seventh ACM Symposium on Principles of Database Systems, pp. 276\u2013287, Austin, Texas, March 1988.","DOI":"10.1145\/308386.308455"},{"issue":"1","key":"33_CR7","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/355769.355772","volume":"4","author":"J. Ivie","year":"1978","unstructured":"J. Ivie, \u201cSome MACSYMA Programs for Solving Recurrence Relations,\u201d ACM Transactions on Mathematical Software 4, 1 (March 1978), pp. 24\u201333.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"33_CR8","unstructured":"S. Kaplan, \u201cAlgorithmic Complexity of Logic Programs,\u201d Logic Programming, Proc. Fifth International Conference and Symposium, 1988, pp. 780\u2013793."},{"key":"33_CR9","unstructured":"R. Lipton and J. Naughton, \u201cEstimating the size of Generalized Transitive Closures\u201d, Proc. Fifteenth International Conference on Very Large Data Bases, Amsterdam, Aug. 1989, pp. 165\u2013172."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"R. Lipton and J. Naughton, \u201cQuery Size Estimation by Adaptive Sampling\u201d, Proc. Ninth ACM Symposium on Principles of Database Systems, April 1990.","DOI":"10.1145\/298514.298540"},{"key":"33_CR11","unstructured":"R. Ramakrishnan, \u201cMagic Templates: A Spellbinding Approach to Logic Programs\u201d, Proc. Fifth International Conference on Logic Programming, Aug. 1988, pp. 140\u2013160."},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"P. Selinger, M. Astrahan, D. Chamberlin, R. Lorie, and T. Price, \u201cAccess path selection in a relational database management system\u201d, Proc. ACM SIGMOD International Symposium on Management of Data, pp. 23\u201334, 1979.","DOI":"10.1145\/582095.582099"},{"key":"33_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0004-3702(85)90028-1","volume":"26","author":"D. E. Smith","year":"1985","unstructured":"D. E. Smith and M. R. Genesereth, \u201cOrdering Conjunctive Queries,\u201d Artificial Intelligence 26 (1985), pp. 171\u2013215.","journal-title":"Artificial Intelligence"},{"key":"33_CR14","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BF01932293","volume":"17","author":"S.-\u00c5. Tarnlund","year":"1977","unstructured":"S.-\u00c5. Tarnlund, \u201cHorn Clause Computability\u201d, BIT vol. 17, pp. 215\u2013226, 1977.","journal-title":"BIT"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, \u201cDeriving Constraints Among Argument Sizes in Logic Programs,\u201d Proc. Ninth ACM Symposium on Principles of Database Systems, April 1990.","DOI":"10.1145\/298514.298541"},{"key":"33_CR16","unstructured":"D. H. D. Warren, \u201cEfficient Processing of Interactive Relational Database Queries Expressed in Logic\u201d, Proc. Seventh International Conference on Very Large Data Bases, 1981, pp. 272\u2013281."}],"container-title":["Lecture Notes in Computer Science","ICDT '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53507-1_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:45Z","timestamp":1605646245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53507-1_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540535072","9783540466826"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-53507-1_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}