{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:00Z","timestamp":1750220940879,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T00:00:00Z","timestamp":1561248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,23]]},"DOI":"10.1145\/3315507.3330196","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"59-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On the semantics of Cypher's implicit group-by"],"prefix":"10.1145","author":[{"given":"Filip","family":"Murlak","sequence":"first","affiliation":[{"name":"University of Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Posiada\u0142a","sequence":"additional","affiliation":[{"name":"Nodes and Edges, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Susicki","sequence":"additional","affiliation":[{"name":"Nodes and Edges, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3190654"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62257"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/321574.321591"},{"key":"e_1_3_2_1_4_1","unstructured":"Nadime Francis Alastair Green Paolo Guagliardo Leonid Libkin Tobias Lindaaker Victor Marsault Stefan Plantikow Mats Rydberg Martin Schuster Petra Selmer and Andr\u00e9s Taylor. 2018. Formal Semantics of the Language Cypher. CoRR abs\/1802.09984 (2018). arXiv:1802.09984 http:\/\/arxiv.org\/abs\/1802.09984  Nadime Francis Alastair Green Paolo Guagliardo Leonid Libkin Tobias Lindaaker Victor Marsault Stefan Plantikow Mats Rydberg Martin Schuster Petra Selmer and Andr\u00e9s Taylor. 2018. Formal Semantics of the Language Cypher. CoRR abs\/1802.09984 (2018). arXiv:1802.09984 http:\/\/arxiv.org\/abs\/1802.09984"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3190657"},{"key":"e_1_3_2_1_6_1","unstructured":"Markus P Fromherz. 1993. A Methodology for Executable Specifications: Combining Logic Programming Object-orientation and Visualization. Ph.D. Dissertation. Department of Computer Science University of Zurich.  Markus P Fromherz. 1993. A Methodology for Executable Specifications: Combining Logic Programming Object-orientation and Visualization . Ph.D. Dissertation. Department of Computer Science University of Zurich."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1992.0033"},{"key":"e_1_3_2_1_8_1","first-page":"211","article-title":"Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski","author":"Gupta Gopal","year":"2002","journal-title":"Part"},{"key":"e_1_3_2_1_9_1","unstructured":"Neo4j Inc. 2018. The GQL Manifesto. https:\/\/gql.today\/  Neo4j Inc. 2018. The GQL Manifesto. https:\/\/gql.today\/"},{"key":"e_1_3_2_1_10_1","unstructured":"ISO\/IEC 9075:2016 2016. Information technology - Database languages - SQL (ISO\/IEC 9075:2016). Standard. International Organization for Standardization Geneva Switzerland.  ISO\/IEC 9075:2016 2016. Information technology - Database languages - SQL (ISO\/IEC 9075:2016) . Standard. International Organization for Standardization Geneva Switzerland."},{"volume-title":"Proc. of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 11-27","year":"1985","author":"Kowalski R.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-02-06753-9"},{"key":"e_1_3_2_1_13_1","first-page":"441","article-title":"On the decidability of the real exponential field. In Kreiseliana: About and around Georg Kreisel, Piergeorgio Odifreddi (Ed.)","author":"Macintyre Angus","year":"1996","journal-title":"A.K. Peters"},{"key":"e_1_3_2_1_14_1","unstructured":"Yu. Matiyasevich. 1970. The Diophantineness of enumerable sets (Russian). Dokl. Akad. Nauk SSSR 191 (10 1970) 279-282.  Yu. Matiyasevich. 1970. The Diophantineness of enumerable sets (Russian). Dokl. Akad. Nauk SSSR 191 (10 1970) 279-282."},{"key":"e_1_3_2_1_15_1","unstructured":"openCypher. 2017. The Summer of Syntax: Aggregation and grouping. http:\/\/www.opencypher.org\/blog\/2017\/07\/27\/ocig1-aggregations-blog Accessed: 2018-09-24.  openCypher. 2017. The Summer of Syntax: Aggregation and grouping. http:\/\/www.opencypher.org\/blog\/2017\/07\/27\/ocig1-aggregations-blog Accessed: 2018-09-24."},{"key":"e_1_3_2_1_17_1","unstructured":"openCypher. 2018. openCypher. http:\/\/www.opencypher.org\/  openCypher. 2018. openCypher. http:\/\/www.opencypher.org\/"},{"key":"e_1_3_2_1_18_1","unstructured":"openCypher. 2018. The Cypher Technology Compatibility Kit. https:\/\/github.com\/opencypher\/openCypher\/tree\/master\/tck  openCypher. 2018. The Cypher Technology Compatibility Kit. https:\/\/github.com\/opencypher\/openCypher\/tree\/master\/tck"},{"key":"e_1_3_2_1_19_1","article-title":"Some Undecidable Problems Involving Elementary Functions of a Real Variable","volume":"33","author":"Richardson Daniel","year":"1968","journal-title":"J. Symbolic Logic"},{"key":"e_1_3_2_1_20_1","unstructured":"Ian Robinson Jim Webber and Emil Eifrem. 2013. Graph Databases. O'Reilly Media Inc.   Ian Robinson Jim Webber and Emil Eifrem. 2013. Graph Databases . O'Reilly Media Inc."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.2307\/2266510"},{"key":"e_1_3_2_1_22_1","unstructured":"Alfred Tarski. 1948. A Decision Method for Elementary Algebra and Geometry. RAND Corporation Santa Monica CA USA. iii+60 pages.  Alfred Tarski. 1948. A Decision Method for Elementary Algebra and Geometry . RAND Corporation Santa Monica CA USA. iii+60 pages."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3315507.3330196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3315507.3330196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:33Z","timestamp":1750204413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3315507.3330196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,23]]},"references-count":21,"alternative-id":["10.1145\/3315507.3330196","10.1145\/3315507"],"URL":"https:\/\/doi.org\/10.1145\/3315507.3330196","relation":{},"subject":[],"published":{"date-parts":[[2019,6,23]]},"assertion":[{"value":"2019-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}