{"id":"https://openalex.org/W2983979079","doi":"https://doi.org/10.1145/3371316.3371331","title":"MATLANG","display_name":"MATLANG","publication_year":2019,"publication_date":"2019-11-05","ids":{"openalex":"https://openalex.org/W2983979079","doi":"https://doi.org/10.1145/3371316.3371331","mag":"2983979079"},"language":"en","primary_location":{"id":"doi:10.1145/3371316.3371331","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3371316.3371331","pdf_url":null,"source":{"id":"https://openalex.org/S47508943","display_name":"ACM SIGMOD Record","issn_l":"0163-5808","issn":["0163-5808","1943-5835"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGMOD Record","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057971093","display_name":"Robert Brijder","orcid":"https://orcid.org/0000-0002-8912-1735"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Robert Brijder","raw_affiliation_strings":["Hasselt University, Hasselt, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasselt University, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087587379","display_name":"Floris Geerts","orcid":"https://orcid.org/0000-0002-8967-2473"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Floris Geerts","raw_affiliation_strings":["University of Antwerp, Antwerp, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089823917","display_name":"Jan Van den Bussche","orcid":"https://orcid.org/0000-0003-0072-3252"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Van den Bussche","raw_affiliation_strings":["Hasselt University, Hasselt, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasselt University, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088449345","display_name":"Timmy Weerwag","orcid":"https://orcid.org/0000-0002-3993-7541"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Timmy Weerwag","raw_affiliation_strings":["Hasselt University, Hasselt, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasselt University, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0993,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.44897097,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"48","issue":"1","first_page":"60","last_page":"67"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.7537426948547363},{"id":"https://openalex.org/keywords/eigenvalues-and-eigenvectors","display_name":"Eigenvalues and eigenvectors","score":0.6620419025421143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5938048362731934},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45954200625419617},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.4515704810619354},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"Linear algebra","score":0.4437350630760193},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42617395520210266},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4235772490501404},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41880321502685547},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34971141815185547},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33733806014060974},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3107673227787018},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.13236388564109802},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12091922760009766},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08006209135055542}],"concepts":[{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.7537426948547363},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.6620419025421143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5938048362731934},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45954200625419617},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.4515704810619354},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.4437350630760193},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42617395520210266},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4235772490501404},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41880321502685547},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34971141815185547},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33733806014060974},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3107673227787018},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.13236388564109802},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12091922760009766},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08006209135055542},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3371316.3371331","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3371316.3371331","pdf_url":null,"source":{"id":"https://openalex.org/S47508943","display_name":"ACM SIGMOD Record","issn_l":"0163-5808","issn":["0163-5808","1943-5835"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGMOD Record","raw_type":"journal-article"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/30024","is_oa":false,"landing_page_url":"http://hdl.handle.net/1942/30024","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W75581828","https://openalex.org/W1493132637","https://openalex.org/W1558832481","https://openalex.org/W1574151794","https://openalex.org/W1596887828","https://openalex.org/W1967172740","https://openalex.org/W1986832527","https://openalex.org/W2005797538","https://openalex.org/W2019940097","https://openalex.org/W2044849727","https://openalex.org/W2066636486","https://openalex.org/W2074940496","https://openalex.org/W2099210599","https://openalex.org/W2121755852","https://openalex.org/W2131662609","https://openalex.org/W2138542364","https://openalex.org/W2158208969","https://openalex.org/W2284514301","https://openalex.org/W2290968667","https://openalex.org/W2293299776","https://openalex.org/W2301555989","https://openalex.org/W2411006959","https://openalex.org/W2547190417","https://openalex.org/W2563724055","https://openalex.org/W2604255113","https://openalex.org/W2614179415","https://openalex.org/W2782001694","https://openalex.org/W2904488254","https://openalex.org/W2934520517","https://openalex.org/W2962762811","https://openalex.org/W2963275055","https://openalex.org/W2963560792","https://openalex.org/W2964051142","https://openalex.org/W2998720137","https://openalex.org/W3011813038","https://openalex.org/W4206031975","https://openalex.org/W4214702250","https://openalex.org/W4246140018","https://openalex.org/W4255213956","https://openalex.org/W4302413311","https://openalex.org/W4312258136","https://openalex.org/W6600100908","https://openalex.org/W6629421855","https://openalex.org/W6633513001","https://openalex.org/W6634427772","https://openalex.org/W6655223140","https://openalex.org/W6744582164","https://openalex.org/W6756954922","https://openalex.org/W6910609672"],"related_works":["https://openalex.org/W2359423766","https://openalex.org/W1600485007","https://openalex.org/W2364216866","https://openalex.org/W2362009423","https://openalex.org/W2614633957","https://openalex.org/W2391894074","https://openalex.org/W2070131906","https://openalex.org/W1883829184","https://openalex.org/W1580881779","https://openalex.org/W40097694"],"abstract_inverted_index":{"We":[0,77,109,120],"investigate":[1],"the":[2,27,41,61,68,104,123,146,159],"expressive":[3],"power":[4],"of":[5,44,97,106],"MATLANG,":[6],"a":[7,32,85,95],"formal":[8],"language":[9,22,63],"for":[10,30,83,92,149,158],"matrix":[11,16],"manipulation":[12],"based":[13],"on":[14],"common":[15],"operations":[17],"and":[18,75],"linear":[19],"algebra.":[20],"The":[21],"can":[23,39,64,113],"be":[24,65,114,156],"extended":[25],"with":[26,71],"operation":[28,81],"inv":[29,37,112],"inverting":[31],"matrix.":[33,86],"In":[34],"MATLANG":[35,117,150],"+":[36,118,151],"we":[38,48,58],"compute":[40],"transitive":[42],"closure":[43],"directed":[45],"graphs,":[46,137],"whereas":[47],"show":[49,59,110],"that":[50,60,91,102,107,111],"this":[51],"is":[52,88,100,153],"not":[53,142],"possible":[54],"without":[55],"inversion.":[56],"Indeed":[57],"basic":[62],"simulated":[66],"in":[67,116,139,143],"relational":[69],"algebra":[70],"arithmetic":[72],"operations,":[73],"grouping,":[74],"summation.":[76],"also":[78],"consider":[79],"an":[80],"eigen":[82,152],"diagonalizing":[84],"It":[87],"defined":[89],"such":[90],"each":[93],"eigenvalue":[94],"set":[96],"orthogonal":[98],"eigenvectors":[99],"returned":[101],"span":[103],"eigenspace":[105],"eigenvalue.":[108],"expressed":[115],"eigen.":[119],"put":[121],"forward":[122],"open":[124],"question":[125],"whether":[126],"there":[127],"are":[128],"boolean":[129],"queries":[130,135],"about":[131,136],"matrices,":[132],"or":[133],"generic":[134],"expressible":[138],"MATLANG+eigen":[140],"but":[141],"MATLANG+inv.":[144],"Finally,":[145],"evaluation":[147],"problem":[148],"shown":[154],"to":[155],"complete":[157],"complexity":[160],"class":[161],"9R.":[162]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2019-11-22T00:00:00"}