{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:07:24Z","timestamp":1755839244967,"version":"3.41.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"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":["SIGMOD Rec."],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:p>Due to the importance of linear algebra and matrix operations in data analytics, there has been a renewed interest in developing query languages that combine both standard relational operations and linear algebra operations. We survey aspects of the matrix query language MATLANG and extensions thereof, and connect matrix query languages to classical query languages and arithmetic circuits.<\/jats:p>","DOI":"10.1145\/3503780.3503782","type":"journal-article","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T23:49:59Z","timestamp":1638488999000},"page":"6-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Matrix Query Languages"],"prefix":"10.1145","volume":"50","author":[{"given":"Floris","family":"Geerts","sequence":"first","affiliation":[{"name":"University of Antwerp"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Mu\u00f1oz","sequence":"additional","affiliation":[{"name":"PUC Chile and IMFD Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Riveros","sequence":"additional","affiliation":[{"name":"PUC Chile and IMFD Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[{"name":"Hasselt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domagoj","family":"Vrgo\u010d","sequence":"additional","affiliation":[{"name":"PUC Chile and IMFD Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3294052.3319694"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902251.2902280"},{"key":"e_1_2_1_4_1","volume-title":"Quaderni di Matematica, 13:33--72","author":"Allender Eric","year":"2004","unstructured":"Eric Allender . Arithmetic circuits and counting complexity classes. Complexity of Computations and Proofs , Quaderni di Matematica, 13:33--72 , 2004 . Eric Allender. Arithmetic circuits and counting complexity classes. Complexity of Computations and Proofs, Quaderni di Matematica, 13:33--72, 2004."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00227-2"},{"key":"e_1_2_1_6_1","volume-title":"Descriptive complexity for counting complexity classes. Log. Methods Comput. Sci., 16(1)","author":"Arenas Marcelo","year":"2020","unstructured":"Marcelo Arenas , Martin Mu\u00f1oz , and Cristian Riveros . Descriptive complexity for counting complexity classes. Log. Methods Comput. Sci., 16(1) , 2020 . Marcelo Arenas, Martin Mu\u00f1oz, and Cristian Riveros. Descriptive complexity for counting complexity classes. Log. Methods Comput. Sci., 16(1), 2020."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1540612"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/b97662"},{"key":"e_1_2_1_9_1","first-page":"599","volume-title":"Proceedings of the 38th International Conference on Machine Learning (ICML), volume 139 of Proceedings of Machine Learning Research","author":"Balcilar Muhammet","year":"2021","unstructured":"Muhammet Balcilar , Pierre H\u00e9roux , Benoit Ga\u00fcz\u00e8re , Pascal Vasseur , S\u00e9bastien Adam , and Paul Honeine . Breaking the limits of message passing graph neural networks . In Proceedings of the 38th International Conference on Machine Learning (ICML), volume 139 of Proceedings of Machine Learning Research , pages 599 -- 608 . PMLR, 2021 . Muhammet Balcilar, Pierre H\u00e9roux, Benoit Ga\u00fcz\u00e8re, Pascal Vasseur, S\u00e9bastien Adam, and Paul Honeine. Breaking the limits of message passing graph neural networks. In Proceedings of the 38th International Conference on Machine Learning (ICML), volume 139 of Proceedings of Machine Learning Research, pages 599--608. PMLR, 2021."},{"key":"e_1_2_1_10_1","first-page":"1","volume-title":"Proceedings of the 23rd International Conference on Database Theory (ICDT)","volume":"155","author":"Barcel\u00f3 Pablo","year":"2020","unstructured":"Pablo Barcel\u00f3 , Nelson Higuera , Jorge P\u00e9rez , and Bernardo Subercaseaux . On the expressiveness of LARA: A unified language for linear and relational algebra . In Proceedings of the 23rd International Conference on Database Theory (ICDT) , volume 155 of LIPIcs, pages 6: 1 -- 6 :20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 2020 . Pablo Barcel\u00f3, Nelson Higuera, Jorge P\u00e9rez, and Bernardo Subercaseaux. On the expressiveness of LARA: A unified language for linear and relational algebra. In Proceedings of the 23rd International Conference on Database Theory (ICDT), volume 155 of LIPIcs, pages 6:1--6:20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2020."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442322.3442324"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/276305.276386"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/3348507"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1382436.1382788"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331445"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-39951-1_3"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/897035"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567537"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/500824"},{"key":"e_1_2_1_20_1","series-title":"LIPIcs","first-page":"1","volume-title":"Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP)","author":"Dell Holger","year":"2018","unstructured":"Holger Dell , Martin Grohe , and Gaurav Rattan . Lov\u00e1sz meets weisfeiler and leman . In Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP) , volume 107 of LIPIcs , pages 40: 1 -- 40 :14. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 2018 . Holger Dell, Martin Grohe, and Gaurav Rattan. Lov\u00e1sz meets weisfeiler and leman. In Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP), volume 107 of LIPIcs, pages 40:1--40:14. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2018."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11523468_42"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1841299.1841305"},{"key":"e_1_2_1_23_1","first-page":"1","volume-title":"Proceedings of the 23rd International Conference on Database Theory (ICDT)","volume":"155","author":"Geerts Floris","year":"2020","unstructured":"Floris Geerts . When can matrix query languages 18 SIGMOD Record, September 2021 (Vol. 50, No. 3) discern matrices ? In Proceedings of the 23rd International Conference on Database Theory (ICDT) , volume 155 of LIPIcs, pages 12: 1 -- 12 :18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 2020 . Floris Geerts. When can matrix query languages 18 SIGMOD Record, September 2021 (Vol. 50, No. 3) discern matrices? In Proceedings of the 23rd International Conference on Database Theory (ICDT), volume 155 of LIPIcs, pages 12:1--12:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2020."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-020-09990-9"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452021.3458314"},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.56021\/9781421407944","volume-title":"Van Loan. Matrix Computations","author":"Golub Gene H.","year":"2013","unstructured":"Gene H. Golub and Charles F . Van Loan. Matrix Computations . The Johns Hopkins University Press , fourth edition, 2013 . Gene H. Golub and Charles F. Van Loan. Matrix Computations. The Johns Hopkins University Press, fourth edition, 2013."},{"key":"e_1_2_1_27_1","volume-title":"Semiring provenance for first-order model checking","author":"Gr\u00e4del Erich","year":"2017","unstructured":"Erich Gr\u00e4del and Val Tannen . Semiring provenance for first-order model checking , 2017 . http:\/\/arxiv.org\/abs\/1712.01980. Erich Gr\u00e4del and Val Tannen. Semiring provenance for first-order model checking, 2017. http:\/\/arxiv.org\/abs\/1712.01980."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3375395.3387641"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/502090.502100"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3070607.3070608"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/3317315.3317323"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422648.3422659"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/42267.45069"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380776.2380778"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1024196"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405470"},{"key":"e_1_2_1_38_1","series-title":"Lecture Notes in Logic","doi-asserted-by":"crossref","DOI":"10.1017\/9781316716878","volume-title":"Bounded Variable Logics and Counting: A Study in Finite Models","author":"Otto Martin","year":"2017","unstructured":"Martin Otto . Bounded Variable Logics and Counting: A Study in Finite Models , volume 9 of Lecture Notes in Logic . Cambridge University Press , 2017 . Martin Otto. Bounded Variable Logics and Counting: A Study in Finite Models, volume 9 of Lecture Notes in Logic. Cambridge University Press, 2017."},{"key":"e_1_2_1_39_1","volume-title":"Theory of matrices","author":"Perlis Sam","year":"1952","unstructured":"Sam Perlis . Theory of matrices . Addison-Wesley Press , 1952 . Sam Perlis. Theory of matrices. Addison-Wesley Press, 1952."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(94)90241-0"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539702402147"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1561\/0400000039"},{"key":"e_1_2_1_43_1","first-page":"184","volume":"264","author":"Strassen Volker","year":"1973","unstructured":"Volker Strassen . Vermeidung von divisionen . Journal f\u00fcr die reine und angewandte Mathematik , 264 : 184 -- 202 , 1973 . Volker Strassen. Vermeidung von divisionen. Journal f\u00fcr die reine und angewandte Mathematik, 264:184--202, 1973.","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/645715.665114"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14778\/3457390.3457399"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2463684"}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503780.3503782","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503780.3503782","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:19Z","timestamp":1750186939000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503780.3503782"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["10.1145\/3503780.3503782"],"URL":"https:\/\/doi.org\/10.1145\/3503780.3503782","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"2021-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}