{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:44:51Z","timestamp":1740123891118,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T00:00:00Z","timestamp":1626307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T00:00:00Z","timestamp":1626307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s10472-021-09760-4","type":"journal-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T10:04:25Z","timestamp":1626343465000},"page":"181-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On matrices and K-relations"],"prefix":"10.1007","volume":"90","author":[{"given":"Robert","family":"Brijder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5197-2817","authenticated-orcid":false,"given":"Marc","family":"Gyssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"9760_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"9760_CR2","doi-asserted-by":"crossref","unstructured":"Abo Khamis, M., Ngo, H., Rudra, A.: FAQ: Questions asked frequently. In: Milo, T., Tan, W. (eds.) Proceedings 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Databases, pp. 13\u201328, San Francisco (2016)","DOI":"10.1145\/2902251.2902280"},{"issue":"1","key":"9760_CR3","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/3093754.3093757","volume":"46","author":"Abo Khamis, M., Ngo, H., Rudra, A.","year":"2017","unstructured":"Abo Khamis, M., Ngo, H., Rudra, A.: Juggling functions inside a database. SIGMOD Record 46(1), 6\u201313 (2017)","journal-title":"SIGMOD Record"},{"key":"9760_CR4","unstructured":"Brijder, R., Geerts, F., Van den Bussche, J., Weerwag, T.: On the expressive power of query languages for matrices. In: Kimelfeld, B., Amsterdamer, Y. (eds.) Proceedings 21st International Conference on Database Theory, LIPIcs vol. 98, pp. 10:1\u201310:17, Vienna. Schloss Dagstuhl-Leibniz Center for Informatics (2018)"},{"key":"9760_CR5","doi-asserted-by":"crossref","unstructured":"Brijder, R., Gyssens, M., Van den Bussche, J.: On matrices and K-relations. In: Herzig, A., Kontinen, J. (eds.) Proceedings 11th International Symposium on Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science, vol. 12012, pp. 42\u201357. Dortmund, Springer (2020)","DOI":"10.1007\/978-3-030-39951-1_3"},{"key":"9760_CR6","unstructured":"Geerts, F.: On the expressive power of linear algebra on graphs. In: Barcelo, P., Calautti, M. (eds.) Proceedings 22nd International Conference on Database Theory, LIPIcs vol. 127, pp. 7:1\u20137:19, Lisbon. Schloss Dagstuhl\u2013Leibniz Center for Informatics (2019)"},{"key":"9760_CR7","doi-asserted-by":"crossref","unstructured":"Green, T., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Libkin, L. (ed.) Proceedings 26th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp 31\u201340, Beijing (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"9760_CR8","doi-asserted-by":"crossref","unstructured":"Hutchison, D., Howe, B., Suciu, D.: LaraDB: A minimalist kernel for linear and relational algebra computation. In: Afrati, F., Sroka, J. (eds.) Proceedings 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, pp 2:1\u20132:10 (2017)","DOI":"10.1145\/3070607.3070608"},{"key":"9760_CR9","doi-asserted-by":"crossref","unstructured":"Jananthan, H., Zhou, Z., Gadepally, V., Hutchison, D., Kim, S., Kepner, J.: Polystore mathematics of relational algebra. In: Nie, J.Y., Obradovic, Z., Suzumura, T., Ghosh, R., Nambiar, R., Wang, C., Zang, H., Baeza-Yates, R., Hu, X., Kepner, J., Cuzzocrea, A., Tang, J., Toyoda, M. (eds.) Proceedings 2017 IEEE International Conference on Big Data, pp. 3180\u20133189, Boston (2017)","DOI":"10.1109\/BigData.2017.8258298"},{"key":"9760_CR10","doi-asserted-by":"crossref","unstructured":"Joglekar, M., Puttagunta, R., R\u00e9, C.: AJAR: Aggregations and joins over annotated relations. In: Milo, T., Tan, W. (eds.) Proceedings 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Databases, pp. 91\u2013106, San Francisco (2016)","DOI":"10.1145\/2902251.2902293"},{"issue":"3","key":"9760_CR11","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/S0304-3975(02)00736-3","volume":"296","author":"L Libkin","year":"2003","unstructured":"Libkin, L.: Expressive power of SQL. Theor. Comput. Sci. 296(3), 379\u2013404 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"9760_CR12","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/3277006.3277013","volume":"47","author":"S Luo","year":"2018","unstructured":"Luo, S., Gao, Z., Gubanov, M., Perez, L., Jermaine, C.: Scalable linear algebra on a relational database system. SIGMOD Record 47(1), 24\u201331 (2018)","journal-title":"SIGMOD Record"},{"issue":"3\/4","key":"9760_CR13","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/BF00370681","volume":"50","author":"R Maddux","year":"1991","unstructured":"Maddux, R.: The origin of relation algebras in the development and axiomatization of the calculus of relations. Stud. Log. 50(3\/4), 421\u2013455 (1991)","journal-title":"Stud. Log."},{"key":"9760_CR14","doi-asserted-by":"crossref","unstructured":"Marx, M., Venema, Y.: Multi-Dimensional Modal Logic. Springer (1997)","DOI":"10.1007\/978-94-011-5694-3"},{"key":"9760_CR15","doi-asserted-by":"crossref","unstructured":"Otto, M.: Bounded Variable Logics and Counting: A Study in Finite Models, Lecture Notes in Logic, vol. 9. Springer (1997)","DOI":"10.1007\/978-3-662-21676-7"},{"key":"9760_CR16","unstructured":"Pratt, V.: Origins of the calculus of binary relations. In: Proceedings 7th Annual IEEE Symposium on Logic in Computer Science, pp 248\u2013254, Santa Cruz (1992)"},{"key":"9760_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. Symb. Log. 6, 73\u201389 (1941)","journal-title":"J. Symb. Log."},{"key":"9760_CR18","doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory Without Variables, AMS Colloquium Publications, vol. 41. American Mathematical Society (1987)","DOI":"10.1090\/coll\/041"},{"key":"9760_CR19","unstructured":"Van den Bussche, J.: FO3 and the algebra of binary relations. https:\/\/databasetheory.org\/node\/94, Retrieved 22 July 2019"},{"key":"9760_CR20","unstructured":"Yan, Z., Tannen, V., Ives, Z.: Fine-grained provenance for linear algebra operators. In: Boulakia, S.C. (ed.) 8Th USENIX Workshop on the Theory and Practice of Provenance, Washington (2016)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09760-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-021-09760-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09760-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T02:07:00Z","timestamp":1643594820000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-021-09760-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,15]]},"references-count":20,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["9760"],"URL":"https:\/\/doi.org\/10.1007\/s10472-021-09760-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2021,7,15]]},"assertion":[{"value":"9 June 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 July 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}