{"id":"https://openalex.org/W4402258747","doi":"https://doi.org/10.1109/tbdata.2024.3455172","title":"Graph Data Model and Graph Query Language Based on the Monadic Second-Order Logic","display_name":"Graph Data Model and Graph Query Language Based on the Monadic Second-Order Logic","publication_year":2024,"publication_date":"2024-09-05","ids":{"openalex":"https://openalex.org/W4402258747","doi":"https://doi.org/10.1109/tbdata.2024.3455172"},"language":"en","primary_location":{"id":"doi:10.1109/tbdata.2024.3455172","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tbdata.2024.3455172","pdf_url":null,"source":{"id":"https://openalex.org/S2491400915","display_name":"IEEE Transactions on Big Data","issn_l":"2332-7790","issn":["2332-7790","2372-2096"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Big Data","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/A5009873965","display_name":"Yunkai Lou","orcid":"https://orcid.org/0000-0002-9427-3012"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yunkai Lou","raw_affiliation_strings":["School of Software, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047153705","display_name":"Chaokun Wang","orcid":"https://orcid.org/0000-0002-2986-2574"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chaokun Wang","raw_affiliation_strings":["School of Software, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113076145","display_name":"Songyao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Songyao Wang","raw_affiliation_strings":["School of Software, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009873965"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14222366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"3","first_page":"1381","last_page":"1396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9735999703407288,"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.9735999703407288,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.972100019454956,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13734","display_name":"Advanced Computational Techniques and Applications","score":0.9688000082969666,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.8079656362533569},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5257119536399841},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5229971408843994},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5117146968841553},{"id":"https://openalex.org/keywords/graph-database","display_name":"Graph database","score":0.4864189624786377},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.463736891746521},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34420984983444214},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.1881955862045288}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8079656362533569},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5257119536399841},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5229971408843994},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5117146968841553},{"id":"https://openalex.org/C176225458","wikidata":"https://www.wikidata.org/wiki/Q595971","display_name":"Graph database","level":3,"score":0.4864189624786377},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.463736891746521},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34420984983444214},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.1881955862045288}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tbdata.2024.3455172","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tbdata.2024.3455172","pdf_url":null,"source":{"id":"https://openalex.org/S2491400915","display_name":"IEEE Transactions on Big Data","issn_l":"2332-7790","issn":["2332-7790","2372-2096"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Big Data","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W1489285575","https://openalex.org/W1506843617","https://openalex.org/W1566772816","https://openalex.org/W1578881602","https://openalex.org/W1580672106","https://openalex.org/W1893177189","https://openalex.org/W1972552754","https://openalex.org/W1977152005","https://openalex.org/W1991361934","https://openalex.org/W1997520998","https://openalex.org/W2046270811","https://openalex.org/W2059052871","https://openalex.org/W2087060113","https://openalex.org/W2100586946","https://openalex.org/W2103599442","https://openalex.org/W2117847584","https://openalex.org/W2124269710","https://openalex.org/W2130037492","https://openalex.org/W2139094536","https://openalex.org/W2143502438","https://openalex.org/W2143749277","https://openalex.org/W2148544545","https://openalex.org/W2295129968","https://openalex.org/W2423652555","https://openalex.org/W2668736619","https://openalex.org/W2750598393","https://openalex.org/W2755658662","https://openalex.org/W2771362234","https://openalex.org/W2782190837","https://openalex.org/W2799059383","https://openalex.org/W2907426349","https://openalex.org/W2908735009","https://openalex.org/W2941562644","https://openalex.org/W2948359422","https://openalex.org/W2971247772","https://openalex.org/W2982307322","https://openalex.org/W3012207181","https://openalex.org/W3029064949","https://openalex.org/W3029101430","https://openalex.org/W3029446523","https://openalex.org/W3163559142","https://openalex.org/W3163828919","https://openalex.org/W3173799718","https://openalex.org/W4205247958","https://openalex.org/W4211142834","https://openalex.org/W4235239597","https://openalex.org/W4237974048","https://openalex.org/W4251228600","https://openalex.org/W4312361300","https://openalex.org/W6744532304","https://openalex.org/W6751911483"],"related_works":["https://openalex.org/W2140997306","https://openalex.org/W1862343760","https://openalex.org/W990257473","https://openalex.org/W2173996149","https://openalex.org/W2148544545","https://openalex.org/W4293657129","https://openalex.org/W2022015062","https://openalex.org/W4299534868","https://openalex.org/W2000131837","https://openalex.org/W3172917604"],"abstract_inverted_index":{"With":[0],"the":[1,33,53,58,61,73,117,144,154,159,163,168,174,208],"wide":[2],"application":[3],"of":[4,60,76,177],"graphs":[5],"in":[6],"various":[7,47],"fields,":[8],"graph":[9,19,54,62,69,90,105,119,125,130,145,155,160,169],"query":[10,20,63,91,146],"languages":[11],"have":[12,28],"attracted":[13],"more":[14,16,86,98],"and":[15,25,40,82,141,179,207],"attention.":[17],"Existing":[18],"languages,":[21],"such":[22,136],"as":[23,32,137,167],"GraphQL":[24],"SoQL,":[26],"mostly":[27],"similar":[29],"expressive":[30,74,87,165,175],"power":[31,75,166,176],"first-order":[34],"logic":[35,79],"or":[36],"its":[37,212],"extended":[38],"versions,":[39],"are":[41],"limited":[42],"when":[43],"used":[44],"to":[45,96],"express":[46,181],"queries.":[48],"In":[49],"this":[50],"paper,":[51],"since":[52],"data":[55,70,120,156],"model":[56,71,121],"is":[57,107,122,150,198,202],"base":[59],"language,":[64],"we":[65],"propose":[66],"a":[67,85,103,192],"new":[68,104,118],"with":[72,183,189,204],"monadic":[77],"second-order":[78],"(abbr.":[80],"MSOL),":[81],"then":[83],"present":[84],"SQL-like":[88],"declarative":[89],"language":[92,147],"named":[93,195],"<inline-formula><tex-math":[94,148,171,190,196,200,205],"notation=\"LaTeX\">$SOGQL$</tex-math></inline-formula>":[95,149,172],"support":[97],"common":[99],"queries":[100,182],"efficiently.":[101],"Specifically,":[102],"calculus":[106],"first":[108],"proposed":[109,151],"based":[110,152],"on":[111,129,153,185],"MSOL":[112],"for":[113],"attributed":[114],"graphs.":[115],"Then,":[116],"proposed.":[123],"Its":[124],"algebra,":[126],"which":[127],"operates":[128],"sets,":[131],"has":[132,162,173],"seven":[133],"fundamental":[134],"operators":[135],"union,":[138],"filter,":[139],"map,":[140],"reduce.":[142],"Next,":[143],"model.":[157],"Since":[158],"algebra":[161],"same":[164],"calculus,":[170],"MSOL,":[178],"can":[180],"constraints":[184],"subgraphs.":[186],"Moreover,":[187],"applied":[188,203],"notation=\"LaTeX\">$SOGQL$</tex-math></inline-formula>,":[191,206],"prototype":[193],"system":[194],"notation=\"LaTeX\">$SOGDB$</tex-math></inline-formula>":[197,201],"implemented.":[199],"experimental":[209],"results":[210],"show":[211],"efficiency.":[213]},"counts_by_year":[],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}