{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:58:08Z","timestamp":1743051488515,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":26,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819722990"},{"type":"electronic","value":"9789819723003"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-97-2300-3_14","type":"book-chapter","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T07:02:09Z","timestamp":1715842929000},"page":"273-288","source":"Crossref","is-referenced-by-count":0,"title":["Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6054-2432","authenticated-orcid":false,"given":"Supun","family":"Abeysinghe","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2068-3238","authenticated-orcid":false,"given":"Tiark","family":"Rompf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Advent of code 2022. https:\/\/adventofcode.com\/2022\/day\/1. Accessed 27 Sep 2023"},{"key":"14_CR2","unstructured":"The asterix query language (AQL). https:\/\/asterixdb.apache.org\/docs\/0.9.8\/aql\/manual.html. Accessed 27 Sep 2023"},{"key":"14_CR3","unstructured":"jq manual. https:\/\/jqlang.github.io\/jq\/manual\/. Accessed 27 Sep 2023"},{"key":"14_CR4","unstructured":"XQuery 3.1: An xml query language (2017). https:\/\/www.w3.org\/TR\/xquery-31\/. Accessed 27 Sep 2023"},{"key":"14_CR5","unstructured":"Jsoniq (2018). https:\/\/www.jsoniq.org\/. Accessed 27 Sep 2023"},{"key":"14_CR6","unstructured":"Zorba (2018). https:\/\/www.zorba.io\/. Accessed 27 Sep 2023"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Abeysinghe, S., He, Q., Rompf, T.: Efficient incrementialization of correlated nested aggregate queries using relative partial aggregate indexes (RPAI). In: SIGMOD Conference, pp. 136\u2013149. ACM (2022)","DOI":"10.1145\/3514221.3517889"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Abeysinghe, S., Rompf, T.: Rhyme: a data-centric expressive query language for nested data structures. In: Gebser, M., Sergey, I. (eds.) Practical Aspects of Declarative Languages. PADL 2024. LNCS, vol. 14512, pp. 64\u201381. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-52038-9_5","DOI":"10.1007\/978-3-031-52038-9_5"},{"key":"14_CR9","unstructured":"Abeysinghe, S., Wang, F., Essertel, G.M., Rompf, T.: Architecting intermediate layers for efficient composition of data management and machine learning systems. CoRR abs\/2311.02781 (2023)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Abeysinghe, S., Xhebraj, A., Rompf, T.: Flan: an expressive and efficient datalog compiler for program analysis. Proc. ACM Program. Lang. 8(POPL) (2024)","DOI":"10.1145\/3632928"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-030-34175-6_12","volume-title":"Programming Languages and Systems","author":"N Amin","year":"2019","unstructured":"Amin, N., Byrd, W.E., Rompf, T.: Lightweight functional logic meta-programming. In: Lin, A.W. (ed.) APLAS 2019. LNCS, vol. 11893, pp. 225\u2013243. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34175-6_12"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Augustsson, L., et al.: The verse calculus: a core calculus for deterministic functional logic programming. Proc. ACM Program. Lang. 7(ICFP) (2023)","DOI":"10.1145\/3607845"},{"key":"14_CR13","unstructured":"Bracevac, O., et al.: Graph irs for impure higher-order languages (technical report). CoRR abs\/2309.08118 (2023)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Bra\u010devac, O., et al.: Graph irs for impure higher-order languages: making aggressive optimizations affordable with precise effect dependencies. Proc. ACM Program. Lang. 7(OOPSLA2), 236:1\u2013236:31 (2023)","DOI":"10.1145\/3622813"},{"key":"14_CR15","unstructured":"Byrd, W.E.: Relational programming in miniKanren: techniques, applications, and implementations. Ph.D. thesis, Indiana University (2009)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Dunfield, J., Krishnaswami, N.: Bidirectional typing. ACM Comput. Surv. 54(5), 98:1\u201398:38 (2022)","DOI":"10.1145\/3450952"},{"issue":"5","key":"14_CR17","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/MIC.2013.97","volume":"17","author":"D Florescu","year":"2013","unstructured":"Florescu, D., Fourny, G.: JSONiq: the history of a query language. IEEE Internet Comput. 17(5), 86\u201390 (2013)","journal-title":"IEEE Internet Comput."},{"key":"14_CR18","unstructured":"GraphQL: a query language for your API. https:\/\/graphql.org\/. Accessed 27 Sep 2023"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-37651-1_6","volume-title":"Programming Logics","author":"M Hanus","year":"2013","unstructured":"Hanus, M.: Functional logic programming: from theory to curry. In: Voronkov, A., Weidenbach, C. (eds.) Programming Logics. LNCS, vol. 7797, pp. 123\u2013168. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37651-1_6"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s00778-013-0348-4","volume":"23","author":"C Koch","year":"2014","unstructured":"Koch, C., et al.: Dbtoaster: higher-order delta processing for dynamic, frequently fresh views. VLDB J. 23(2), 253\u2013278 (2014)","journal-title":"VLDB J."},{"issue":"4","key":"14_CR21","doi-asserted-by":"publisher","first-page":"498","DOI":"10.14778\/3436905.3436910","volume":"14","author":"I M\u00fcller","year":"2020","unstructured":"M\u00fcller, I., Fourny, G., Irimescu, S., Cikis, C.B., Alonso, G.: Rumble: data independence for large messy data sets. Proc. VLDB Endow. 14(4), 498\u2013506 (2020)","journal-title":"Proc. VLDB Endow."},{"key":"14_CR22","unstructured":"Ong, K.W., Papakonstantinou, Y., Vernoux, R.: The SQL++ semi-structured data model and query language: a capabilities survey of sql-on-hadoop, nosql and newsql databases. CoRR abs\/1405.3631 (2014)"},{"key":"14_CR23","unstructured":"Palkar, S., et al.: A common runtime for high performance data analysis. In: CIDR (2017). www.cidrdb.org"},{"key":"14_CR24","unstructured":"Rogozhnikov, A.: Einops: clear and reliable tensor manipulations with einstein-like notation. In: ICLR. OpenReview.net (2022)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Sujeeth, A.K., et al.: Delite: a compiler architecture for performance-oriented embedded domain-specific languages. ACM Trans. Embed. Comput. Syst. 13(4s), 134:1\u2013134:25 (2014)","DOI":"10.1145\/2584665"},{"issue":"11","key":"14_CR26","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/2934664","volume":"59","author":"M Zaharia","year":"2016","unstructured":"Zaharia, M., et al.: Apache spark: a unified engine for big data processing. Commun. ACM 59(11), 56\u201365 (2016)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-2300-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T07:02:39Z","timestamp":1715842959000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-2300-3_14"}},"subtitle":["System Description"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819722990","9789819723003"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-2300-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]}}}