{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T20:39:20Z","timestamp":1780346360039,"version":"3.54.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"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 Intelligent Information Systems"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1008705026446","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"191-218","source":"Crossref","is-referenced-by-count":25,"title":["How to Comprehend Queries Functionally"],"prefix":"10.1007","volume":"12","author":[{"given":"Torsten","family":"Grust","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc H.","family":"Scholl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"206920_CR1","doi-asserted-by":"crossref","unstructured":"Bird, R.S. (1987). An Introduction to the Theory of Lists. In M. Broy (Ed.), Logic of Programming and Calculi of Design. NATO ASI Series. Springer Verlag, vol. 36, pp. 5\u201342.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"206920_CR2","doi-asserted-by":"crossref","unstructured":"Breazu-Tannen, V., Buneman, P., and Wong, L. (1992). Naturally embedded query languages. Proc. of the Int'l Conference on Database Theory (ICDT) (pp. 140\u2013154). Berlin, Germany.","DOI":"10.1007\/3-540-56039-4_38"},{"key":"206920_CR3","doi-asserted-by":"crossref","unstructured":"Breazu-Tannen, V. and Subrahmanyam, R. (1991). Logical and computational aspects of programming with sets\/bags\/lists. Proc. of the 18th Int'l Colloquium on Automata, Languages and Programming (pp. 60\u201375). Madrid, Spain.","DOI":"10.1007\/3-540-54233-7_125"},{"key":"206920_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23","author":"P. Buneman","year":"1994","unstructured":"Buneman, P., Libkin, L., Suciu, D., Tannen, V., and Wong, L. (1994). Comprehension Syntax. ACM SIGMOD Record, 23, 87\u201396.","journal-title":"ACM SIGMOD Record"},{"issue":"1","key":"206920_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Buneman, P., Naqvi, S., Tannen, V., and Wong, L. (1995). Principles of Programming with Complex Objects and Collection Types. Theoretical Computer Science, 149(1), 3\u201348.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"206920_CR6","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M. and Darlington, J. (1977). A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1), 44\u201367.","journal-title":"Journal of the ACM"},{"key":"206920_CR7","volume-title":"The Object Database Standard: ODMG 2.0","year":"1997","unstructured":"Cattell, R.G. and Barry, D.K. (Eds.) (1997). The Object Database Standard: ODMG 2.0, San Francisco, CA: Morgan Kaufmann. Release 2.0."},{"key":"206920_CR8","unstructured":"Claussen, J., Kemper, A., Moerkotte, G., and Peithner, K. (1997). Optimizing queries with universal quantification in object-oriented databases. Proc. of the 23rd Int'l Conference on Very Large Databases (VLDB). Athens, Greece."},{"key":"206920_CR9","doi-asserted-by":"crossref","unstructured":"Cluet, S. and Moerkotte, G. (1993). Nested queries in object bases. Proc. of the 4th Int'l Workshop on Database Programming Languages (DBPL).","DOI":"10.1007\/978-1-4471-3564-7_13"},{"key":"206920_CR10","doi-asserted-by":"crossref","unstructured":"Fegaras, L. (1993). Efficient optimization of iterative queries. Proc. of the 4th Int'l Workshop on Database Programming Languages (DBPL) (pp. 200\u2013225).","DOI":"10.1007\/978-1-4471-3564-7_12"},{"key":"206920_CR11","unstructured":"Fegaras, L. (1994). A Uniform Calculus for Collection Types. Technical Report 94-030, Oregon Graduate Institute of Science & Technology."},{"key":"206920_CR12","doi-asserted-by":"crossref","unstructured":"Fegaras, L. and Maier, D. (1995). Towards an effective calculus for object query languages. Proc. of the ACM SIGMOD Int'l Conference on Management of Data.","DOI":"10.1145\/223784.223789"},{"key":"206920_CR13","doi-asserted-by":"crossref","unstructured":"Freytag, J.C. and Goodman, N. (1986a). Rule-based translation of relational queries into iterative programs. Proc. of the ACM SIGMOD Int'l Conference on Management of Data (pp. 206\u2013214). Washington, DC, USA.","DOI":"10.1145\/16894.16875"},{"key":"206920_CR14","unstructured":"Freytag, J.C. and Goodman, N. (1986b). Translating aggregate queries into iterative programs. Proc. of the 12th Int'l Conference on Very Large Data Bases (VLDB) (pp. 138\u2013146). Kyoto, Japan."},{"issue":"1","key":"206920_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/62032.62033","volume":"14","author":"J.C. Freytag","year":"1989","unstructured":"Freytag, J.C. and Goodman, N. (1989). On the Translation of Relational Queries into Iterative Programs. ACM Transactions on Database Systems, 14(1), 1\u201327.","journal-title":"ACM Transactions on Database Systems"},{"key":"206920_CR16","unstructured":"Gill, A.J. (1996). Cheap Deforestation for Non-Strict Functional Languages. Ph.D. dissertation, Department of Computing Science, University of Glasgow."},{"key":"206920_CR17","doi-asserted-by":"crossref","unstructured":"Gill, A.J., Launchbury, J., and Peyton-Jones, S.L. (1993). A Short Cut to Deforestation. Functional Programming & Computer Architecture (pp. 223\u2013232).","DOI":"10.1145\/165180.165214"},{"key":"206920_CR18","doi-asserted-by":"crossref","unstructured":"Gluche, D., Grust, T., Mainberger, C., and Scholl, M.H. (1997). Incremental updates for materialized OQL views. Proc. of the 5th Int'l Conference on Deductive and Object-Oriented Databases (DOOD'97) (pp. 52\u201366). Montreux, Switzerland.","DOI":"10.1007\/3-540-63792-3_8"},{"key":"206920_CR19","unstructured":"Goguen, J.A., Thatcher, J.W., and Wagner, E.G. (1978). An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In R.T. Yeh (Ed.), Current Trends in Programming Methodology. Prentice Hall, vol. 4, chap. 5, pp. 81\u2013149."},{"key":"206920_CR20","doi-asserted-by":"crossref","unstructured":"Graefe, G. (1990). Encapsulation of parallelisms in the volcano query processing system. Proc. of the ACM SIGMOD Int'l Conference on Management of Data (pp. 102\u2013111). Atlantic City, NJ, USA.","DOI":"10.1145\/93605.98720"},{"issue":"2","key":"206920_CR21","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/152610.152611","volume":"25","author":"G. Graefe","year":"1993","unstructured":"Graefe, G. (1993). Query Evaluation Techniques for Large Databases. ACM Computing Surveys, 25(2), 73\u2013170.","journal-title":"ACM Computing Surveys"},{"key":"206920_CR22","doi-asserted-by":"crossref","unstructured":"Grant, M. (1989). Homomorphisms and promotability. Proc. of the Int'l Conference on Mathematics of Program Construction (pp. 335\u2013347). Groningen, The Netherlands.","DOI":"10.1007\/3-540-51305-1_20"},{"key":"206920_CR23","first-page":"84","volume-title":"Proc. of the 15th British National Conference on Databases (BNCOD)","author":"T. Grust","year":"1997","unstructured":"Grust, T., Kr\u00f6ger, J., Gluche, D., Heuer, A., and Scholl, M.H. (1997). Query evaluation in CROQUE\u2014Calculus and algebra coincide. Proc. of the 15th British National Conference on Databases (BNCOD) (pp. 84\u2013100). London: Birkbeck College."},{"key":"206920_CR24","unstructured":"Grust, T. and Scholl, M.H. (1996). Translating OQL into Monoid Comprehensions\u2014Stuck with Nested Loops? Technical Report 3\/1996, Faculty of Mathematics and Computer Science, Database Research Group, University of Konstanz."},{"key":"206920_CR25","unstructured":"Grust, T. and Scholl, M.H. (1998). Query Deforestation. Technical Report 68\/1998, Faculty of Mathematics and Computer Science, Database Research Group, University of Konstanz."},{"key":"206920_CR26","doi-asserted-by":"crossref","unstructured":"Hudak, P., Peyton Jones, S.L., Wadler, P. et al. (1992). Report on the Programming Language Haskell. ACM SIGPLAN Notices, 27(5).","DOI":"10.1145\/130697.130699"},{"key":"206920_CR27","doi-asserted-by":"crossref","unstructured":"Kemp, G.J.L., Iriarte, J.J., and Gray, P.M.D. (1994). Efficient access to FDM objects stored in a relational database. Proc. of the 12th British National Conference on Databases (BNCOD) (pp. 170\u2013186). Guildford, UK.","DOI":"10.1007\/3-540-58235-5_42"},{"issue":"3","key":"206920_CR28","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1145\/319732.319745","volume":"7","author":"W. Kim","year":"1982","unstructured":"Kim, W. (1982). On Optimizing an SQL-like Nested Query. ACM Transactions on Database Systems, 7(3), 443\u2013469.","journal-title":"ACM Transactions on Database Systems"},{"key":"206920_CR29","doi-asserted-by":"crossref","unstructured":"Launchbury, J. and Sheard, T. (1995). Warm fusion: Deriving build-catas from recursive definitions. Proc. of the ACM Conference on Functional Programming and Computer Architecture (FPCA). La Jolla, CA.","DOI":"10.1145\/224164.224223"},{"key":"206920_CR30","doi-asserted-by":"crossref","unstructured":"Lieuwen, D.F. and DeWitt, D.J. (1992). A transformation based approach to optimizing loops in database programming languages. Proc. of the ACM SIGMOD Int'l Conference of Management of Data (pp. 91\u2013100). San Diego, CA.","DOI":"10.1145\/130283.130301"},{"key":"206920_CR31","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Proc. of the ACM Conference on Functional Programming and Computer Architecture (FPCA)","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., and Paterson, R. (1991). Functional programming with bananas, lenses, envelopes, and barbed wire. Proc. of the ACM Conference on Functional Programming and Computer Architecture (FPCA). Number 523 in Lecture Notes in Computer Science (LNCS) (pp. 124\u2013144). Cambridge, USA: Springer Verlag."},{"issue":"4","key":"206920_CR32","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1145\/99935.99943","volume":"15","author":"R. Nakano","year":"1990","unstructured":"Nakano, R. (1990). Translation with Optimization from Relational Calculus to Relational Algebra Having Aggregate Functions. ACM Transactions on Database Systems, 15(4), 518\u2013557.","journal-title":"ACM Transactions on Database Systems"},{"key":"206920_CR33","series-title":"Lecture Notes in Computer Science (LNCS)","first-page":"41","volume-title":"Proc. of the 3rd Int'l Conference on Database Theory (ICDT)","author":"A. Ohori","year":"1990","unstructured":"Ohori, A. (1990). Representing Object Identity in a Pure Functional Language. In P.C. Kanellakis and S. Abiteboul (Eds.), Proc. of the 3rd Int'l Conference on Database Theory (ICDT). Number 470 in Lecture Notes in Computer Science (LNCS) (pp. 41\u201355). Paris, France: Springer Verlag."},{"issue":"6","key":"206920_CR34","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1093\/comjnl\/33.6.547","volume":"33","author":"N.W. Paton","year":"1990","unstructured":"Paton, N.W. and Gray, P.M.D. (1990). Optimising and Executing DAPLEX Queries Using Prolog. The Computer Journal, 33(6), 547\u2013555.","journal-title":"The Computer Journal"},{"key":"206920_CR35","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0022165","volume-title":"Proc. of the 2nd Int'l Conference on Extending Database Technology (EDBT)","author":"A. Poulovassilis","year":"1990","unstructured":"Poulovassilis, A. and King, P. (1990). Extending the functional data model to computational completeness. Proc. of the 2nd Int'l Conference on Extending Database Technology (EDBT), number 416 in Lecture Notes in Computer Science (LNCS) (pp. 75\u201391). Venice, Italy: Springer Verlag."},{"issue":"2","key":"206920_CR36","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s007780050019","volume":"5","author":"A. Poulovassilis","year":"1996","unstructured":"Poulovassilis, A. and Small, C. (1996). Algebraic Query Optimisation for Database Programming Languages. The VLDB Journal, 5(2), 119\u2013132.","journal-title":"The VLDB Journal"},{"key":"206920_CR37","doi-asserted-by":"crossref","unstructured":"Poulovassilis, A. and Small, C. (1997). Formal foundations for optimising aggregation functions in database programming languages. Proc. of the 6th Int'l Workshop on Database Programming Languages (DBPL). Estes Park, Colorado, USA.","DOI":"10.1007\/3-540-64823-2_17"},{"key":"206920_CR38","unstructured":"Rich, C., Rosenthal, A., and Scholl, M.H. (1993). Reducing duplicatework in relational join(s): Aunified approach. Proc. of the Int'l Conference on Information Systems and Management of Data (CISMOD) (pp. 87\u2013102). Delhi, India."},{"issue":"2","key":"206920_CR39","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H.-J. Schek","year":"1986","unstructured":"Schek, H.-J. and Scholl, M.H. (1986). The relational model with relation-valued attributes. Information Systems, 11(2), 137\u2013147.","journal-title":"Information Systems"},{"key":"206920_CR40","unstructured":"Steenhagen, H.J. (1995). Optimization of Object Query Languages. Ph.D. dissertation, Department of Computer Science, University of Twente."},{"key":"206920_CR41","unstructured":"Steenhagen, H.J., Apers, P.M., Blanken, H.M., and de By, R.A. (1994). From nested-loop to join queries in OODB. Proc. of the 20th Int'l Conference on Very Large Databases (VLDB) (pp. 618\u2013629). Santiago, Chile."},{"key":"206920_CR42","unstructured":"Steinbrunn, M., Peithner, K., Moerkotte, G., and Kemper, A. (1995). Bypassing joins in disjunctive queries. Proc. of the 21st Int'l Conference on Very Large Databases (VLDB) (pp. 228\u2013238)."},{"key":"206920_CR43","doi-asserted-by":"crossref","unstructured":"Suciu, D. and Wong, L. (1995). On two forms of strutural recursion. Proc. of the 5th Int'l Conference on Database Theory (ICDT) (pp. 111\u2013124). Prague, Czech Republic.","DOI":"10.1007\/3-540-58907-4_10"},{"key":"206920_CR44","unstructured":"Trinder, P. (1991). Comprehensions, a query notation for DBPLs. Proc. of the 3rd Int'l Workshop on Database Programming Languages (DBPL) (pp. 55\u201368). Nafplion, Greece."},{"key":"206920_CR45","unstructured":"Vance, B. (1992). Towards an Object-Oriented Query Algebra. Technical Report 91-008, Oregon Graduate Institute of Science & Technology."},{"key":"206920_CR46","doi-asserted-by":"crossref","unstructured":"Wadler, P. (1990a). Comprehending monads. Conference on Lisp and Functional Programming (pp. 61\u201378).","DOI":"10.1145\/91556.91592"},{"key":"206920_CR47","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P. (1990b). Deforestation: Transforming Programs to Eliminate Trees. Theoretical Computer Science, 73, 231\u2013248.","journal-title":"Theoretical Computer Science"},{"key":"206920_CR48","unstructured":"Wong, L. (1994). Querying Nested Collections. Ph.D. dissertation, University of Pennsylvania, Philadelphia."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008705026446.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008705026446\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008705026446.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:28:44Z","timestamp":1749220124000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008705026446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":48,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["206920"],"URL":"https:\/\/doi.org\/10.1023\/a:1008705026446","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}