Hybrid search plan generation for generalized graph pattern matching
•Constraints in a graph query are represented uniformly.•Static information allows considering the graph query's structure.•Dynamic information allows tailoring to host graph heterogeneities.•Filtering effects of constraint checks are considered. In recent years, the increased interest in appli...
Saved in:
Published in | Journal of logical and algebraic methods in programming Vol. 114; p. 100563 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
Elsevier Inc
01.08.2020
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | •Constraints in a graph query are represented uniformly.•Static information allows considering the graph query's structure.•Dynamic information allows tailoring to host graph heterogeneities.•Filtering effects of constraint checks are considered.
In recent years, the increased interest in application areas such as social networks has resulted in a rising popularity of graph-based approaches for storing and processing large amounts of interconnected data. To extract useful information from the growing network structures, efficient querying techniques are required.
In this paper, we propose an approach for graph pattern matching that allows a uniform handling of arbitrary constraints over the query vertices. Our technique builds on a previously introduced matching algorithm, which takes concrete host graph information into account to dynamically adapt the employed search plan during query execution. The dynamic algorithm is combined with an existing static approach for search plan generation, resulting in a hybrid technique which we further extend by a more sophisticated handling of filtering effects caused by constraint checks. We evaluate the presented concepts empirically based on an implementation for our graph pattern matching tool, the Story Diagram Interpreter, with queries and data provided by the LDBC Social Network Benchmark. Our results suggest that the hybrid technique may improve search efficiency in several cases, and rarely reduces efficiency. |
---|---|
AbstractList | •Constraints in a graph query are represented uniformly.•Static information allows considering the graph query's structure.•Dynamic information allows tailoring to host graph heterogeneities.•Filtering effects of constraint checks are considered.
In recent years, the increased interest in application areas such as social networks has resulted in a rising popularity of graph-based approaches for storing and processing large amounts of interconnected data. To extract useful information from the growing network structures, efficient querying techniques are required.
In this paper, we propose an approach for graph pattern matching that allows a uniform handling of arbitrary constraints over the query vertices. Our technique builds on a previously introduced matching algorithm, which takes concrete host graph information into account to dynamically adapt the employed search plan during query execution. The dynamic algorithm is combined with an existing static approach for search plan generation, resulting in a hybrid technique which we further extend by a more sophisticated handling of filtering effects caused by constraint checks. We evaluate the presented concepts empirically based on an implementation for our graph pattern matching tool, the Story Diagram Interpreter, with queries and data provided by the LDBC Social Network Benchmark. Our results suggest that the hybrid technique may improve search efficiency in several cases, and rarely reduces efficiency. |
ArticleNumber | 100563 |
Author | Barkowsky, Matthias Giese, Holger |
Author_xml | – sequence: 1 givenname: Matthias orcidid: 0000-0002-1138-2425 surname: Barkowsky fullname: Barkowsky, Matthias email: matthias.barkowsky@hpi.de – sequence: 2 givenname: Holger surname: Giese fullname: Giese, Holger email: holger.giese@hpi.de |
BookMark | eNqFj8tOwzAQRb0oEqX0C9jkB1L8SOJkwQKVR5EqsYG1NbXHraPUiWwLqXw96WPFAlajO7rnSueGTHzvkZA7RheMsuq-XbQd7IcFp_z4oWUlJmTKRclzzml9TeYxtpSO1VrWgk3J0-qwCc5kESHoXTZ04LMtegyQXO8z24dL7Nw3mmwbYBhbkBIGn-0h6Z3z21tyZaGLOL_cGfl8ef5YrvL1--vb8nGda0FFyi0XUmstWVUYJrWQDAswAmlTGm7rmkLNRaWbqgELpd001BaMcaPlBgqJQsyIOO_q0McY0KohuD2Eg2JUHf1Vq07-6uivzv4j1fyitEsnvRTAdf-wD2cWR60vh0FF7dBrNC6gTsr07k_-B4zOe_A |
CitedBy_id | crossref_primary_10_1007_s10270_021_00950_6 crossref_primary_10_1007_s10270_024_01238_1 crossref_primary_10_1016_j_jlamp_2020_100576 |
Cites_doi | 10.1145/2489791 10.1145/321921.321925 10.14778/1453856.1453899 10.1016/0004-3702(80)90051-X 10.1007/s10270-016-0530-4 |
ContentType | Journal Article |
Copyright | 2020 Elsevier Inc. |
Copyright_xml | – notice: 2020 Elsevier Inc. |
DBID | AAYXX CITATION |
DOI | 10.1016/j.jlamp.2020.100563 |
DatabaseName | CrossRef |
DatabaseTitle | CrossRef |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
ExternalDocumentID | 10_1016_j_jlamp_2020_100563 S2352220820300481 |
GrantInformation_xml | – fundername: Deutsche Forschungsgemeinschaft grantid: GI 765/8-1 funderid: https://doi.org/10.13039/501100001659 |
GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAXUO AAYFN ABBOA ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFS ACRLP ADBBV ADEZE AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC EBS EFJIC EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 NCXOZ O9- OAUVE RIG ROL SPC SPCBC SSV SSZ T5K ~G- AATTM AAXKI AAYWO AAYXX ABJNI ACVFH ADCNI ADVLN AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU BNPGV CITATION SSH |
ID | FETCH-LOGICAL-c303t-f237ccc7164d17c371e4ad3e095d2f880a8236c969afa5fb90f4112dc7ba47e33 |
IEDL.DBID | AIKHN |
ISSN | 2352-2208 |
IngestDate | Thu Apr 24 22:55:34 EDT 2025 Tue Jul 01 00:37:50 EDT 2025 Fri Feb 23 02:47:00 EST 2024 |
IsPeerReviewed | true |
IsScholarly | true |
Keywords | Search plan generation Graph pattern matching |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c303t-f237ccc7164d17c371e4ad3e095d2f880a8236c969afa5fb90f4112dc7ba47e33 |
ORCID | 0000-0002-1138-2425 |
ParticipantIDs | crossref_primary_10_1016_j_jlamp_2020_100563 crossref_citationtrail_10_1016_j_jlamp_2020_100563 elsevier_sciencedirect_doi_10_1016_j_jlamp_2020_100563 |
ProviderPackageCode | CITATION AAYXX |
PublicationCentury | 2000 |
PublicationDate | August 2020 2020-08-00 |
PublicationDateYYYYMMDD | 2020-08-01 |
PublicationDate_xml | – month: 08 year: 2020 text: August 2020 |
PublicationDecade | 2020 |
PublicationTitle | Journal of logical and algebraic methods in programming |
PublicationYear | 2020 |
Publisher | Elsevier Inc |
Publisher_xml | – name: Elsevier Inc |
References | Shang, Zhang, Lin, Yu (br0120) 2008; 1 Geiß, Batz, Grund, Hack, Szalkowski (br0070) 2006 Gamma (br0160) 1995 Angles (br0010) 2012 Varró, Deckwerth, Wieber, Schürr (br0050) 2012 Zündorf (br0190) 1994 Varró, Bergmann, Hegedüs, Horváth, Ráth, Ujhelyi (br0210) 2016; 15 Búr, Ujhelyi, Horváth, Varró (br0200) 2015 Ullmann (br0170) 1976; 23 Cordella, Foggia, Sansone, Vento (br0180) 2001 Arendt, Biermann, Jurack, Krause, Taentzer (br0100) 2010 Bi, Chang, Lin, Qin, Zhang (br0090) 2016 Haralick, Elliott (br0140) 1980; 14 Giese, Hildebrandt, Seibel (br0040) 2009; 18 Foggia, Sansone, Vento (br0110) 2001 Ehrig, Ehrig, Prange, Taentzer (br0080) 2006 Fan, Wang, Wu (br0250) 2013; 38 Beyhl (br0240) 2018 Barkowsky, Giese (br0020) 2019 EMF (br0150) Beyhl, Blouin, Giese, Lambers (br0030) 2016 Bak, Plump (br0230) 2012; vol. 54 Hildebrandt (br0130) June 2014 Horváth, Varró, Varró (br0220) 2007; 6 Erling, Averbuch, Larriba-Pey, Chafi, Gubichev, Prat, Pham, Boncz (br0060) 2015 Beyhl (10.1016/j.jlamp.2020.100563_br0240) 2018 Erling (10.1016/j.jlamp.2020.100563_br0060) 2015 Ehrig (10.1016/j.jlamp.2020.100563_br0080) 2006 Arendt (10.1016/j.jlamp.2020.100563_br0100) 2010 Varró (10.1016/j.jlamp.2020.100563_br0050) 2012 Angles (10.1016/j.jlamp.2020.100563_br0010) 2012 Giese (10.1016/j.jlamp.2020.100563_br0040) 2009; 18 EMF (10.1016/j.jlamp.2020.100563_br0150) Foggia (10.1016/j.jlamp.2020.100563_br0110) 2001 Hildebrandt (10.1016/j.jlamp.2020.100563_br0130) 2014 Barkowsky (10.1016/j.jlamp.2020.100563_br0020) 2019 Gamma (10.1016/j.jlamp.2020.100563_br0160) 1995 Bi (10.1016/j.jlamp.2020.100563_br0090) 2016 Horváth (10.1016/j.jlamp.2020.100563_br0220) 2007; 6 Fan (10.1016/j.jlamp.2020.100563_br0250) 2013; 38 Búr (10.1016/j.jlamp.2020.100563_br0200) 2015 Shang (10.1016/j.jlamp.2020.100563_br0120) 2008; 1 Bak (10.1016/j.jlamp.2020.100563_br0230) 2012; vol. 54 Ullmann (10.1016/j.jlamp.2020.100563_br0170) 1976; 23 Haralick (10.1016/j.jlamp.2020.100563_br0140) 1980; 14 Geiß (10.1016/j.jlamp.2020.100563_br0070) 2006 Cordella (10.1016/j.jlamp.2020.100563_br0180) 2001 Zündorf (10.1016/j.jlamp.2020.100563_br0190) 1994 Beyhl (10.1016/j.jlamp.2020.100563_br0030) 2016 Varró (10.1016/j.jlamp.2020.100563_br0210) 2016; 15 |
References_xml | – volume: 38 start-page: 18 year: 2013 ident: br0250 article-title: Incremental graph pattern matching publication-title: ACM Trans. Database Syst. – start-page: 1199 year: 2016 end-page: 1214 ident: br0090 article-title: Efficient subgraph matching by postponing Cartesian products publication-title: Proceedings of the 2016 International Conference on Management of Data – ident: br0150 article-title: Eclipse modeling framework – start-page: 170 year: 2016 end-page: 186 ident: br0030 article-title: On the operationalization of graph queries with generalized discrimination networks publication-title: Proceedings of the 9th International Conference on Graph Transformations – volume: 18 year: 2009 ident: br0040 article-title: Improved flexibility and scalability by interpreting story diagrams publication-title: Electron. Commun. EASST – start-page: 454 year: 1994 end-page: 468 ident: br0190 article-title: Graph pattern matching in PROGRES publication-title: International Workshop on Graph Grammars and Their Application to Computer Science – year: June 2014 ident: br0130 article-title: On the Performance and Conformance of Triple Graph Grammar Implementations – year: 1995 ident: br0160 article-title: Design Patterns: Elements of Reusable Object-Oriented Software – start-page: 188 year: 2001 end-page: 199 ident: br0110 article-title: A performance comparison of five algorithms for graph isomorphism publication-title: Proceedings of the 3rd IAPR TC-15 Workshop on Graph-Based Representations in Pattern Recognition – year: 2006 ident: br0080 article-title: Fundamentals of Algebraic Graph Transformation – volume: 1 start-page: 364 year: 2008 end-page: 375 ident: br0120 article-title: Taming verification hardness: an efficient algorithm for testing subgraph isomorphism publication-title: Proc. VLDB Endow. – volume: 15 start-page: 609 year: 2016 end-page: 629 ident: br0210 article-title: Road to a reactive and incremental model transformation platform: three generations of the viatra framework publication-title: Softw. Syst. Model. – volume: vol. 54 year: 2012 ident: br0230 article-title: Rooted graph programs publication-title: Proceedings of International Workshop on Graph-Based Tools – year: 2018 ident: br0240 article-title: A framework for incremental view graph maintenance – volume: 14 start-page: 263 year: 1980 end-page: 313 ident: br0140 article-title: Increasing tree search efficiency for constraint satisfaction problems publication-title: Artif. Intell. – start-page: 171 year: 2012 end-page: 177 ident: br0010 article-title: A comparison of current graph database models publication-title: 2012 IEEE 28th International Conference on Data Engineering Workshops – start-page: 149 year: 2001 end-page: 159 ident: br0180 article-title: An improved algorithm for matching large graphs publication-title: 3rd IAPR-TC15 Workshop on Graph-Based Representations in Pattern Recognition – start-page: 619 year: 2015 end-page: 630 ident: br0060 article-title: The LDBC social network benchmark: interactive workload publication-title: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data – volume: 6 year: 2007 ident: br0220 article-title: Generic search plans for matching advanced graph patterns publication-title: Electron. Commun. EASST – start-page: 121 year: 2010 end-page: 135 ident: br0100 article-title: Henshin: advanced concepts and tools for in-place EMF model transformations publication-title: International Conference on Model Driven Engineering Languages and Systems – start-page: 383 year: 2006 end-page: 397 ident: br0070 article-title: GrGen: a fast SPO-based graph rewriting tool publication-title: International Conference on Graph Transformation – start-page: 212 year: 2019 end-page: 229 ident: br0020 article-title: Hybrid search plan generation for generalized graph pattern matching publication-title: International Conference on Graph Transformation – start-page: 224 year: 2012 end-page: 239 ident: br0050 article-title: An algorithm for generating model-sensitive search plans for EMF models publication-title: International Conference on Theory and Practice of Model Transformations – volume: 23 start-page: 31 year: 1976 end-page: 42 ident: br0170 article-title: An algorithm for subgraph isomorphism publication-title: J. ACM – start-page: 275 year: 2015 end-page: 282 ident: br0200 article-title: Local search-based pattern matching features in EMF-IncQuery publication-title: International Conference on Graph Transformation – start-page: 171 year: 2012 ident: 10.1016/j.jlamp.2020.100563_br0010 article-title: A comparison of current graph database models – start-page: 170 year: 2016 ident: 10.1016/j.jlamp.2020.100563_br0030 article-title: On the operationalization of graph queries with generalized discrimination networks – start-page: 224 year: 2012 ident: 10.1016/j.jlamp.2020.100563_br0050 article-title: An algorithm for generating model-sensitive search plans for EMF models – volume: vol. 54 year: 2012 ident: 10.1016/j.jlamp.2020.100563_br0230 article-title: Rooted graph programs – volume: 38 start-page: 18 issue: 3 year: 2013 ident: 10.1016/j.jlamp.2020.100563_br0250 article-title: Incremental graph pattern matching publication-title: ACM Trans. Database Syst. doi: 10.1145/2489791 – volume: 18 year: 2009 ident: 10.1016/j.jlamp.2020.100563_br0040 article-title: Improved flexibility and scalability by interpreting story diagrams publication-title: Electron. Commun. EASST – year: 2014 ident: 10.1016/j.jlamp.2020.100563_br0130 – start-page: 121 year: 2010 ident: 10.1016/j.jlamp.2020.100563_br0100 article-title: Henshin: advanced concepts and tools for in-place EMF model transformations – start-page: 1199 year: 2016 ident: 10.1016/j.jlamp.2020.100563_br0090 article-title: Efficient subgraph matching by postponing Cartesian products – ident: 10.1016/j.jlamp.2020.100563_br0150 – volume: 23 start-page: 31 issue: 1 year: 1976 ident: 10.1016/j.jlamp.2020.100563_br0170 article-title: An algorithm for subgraph isomorphism publication-title: J. ACM doi: 10.1145/321921.321925 – start-page: 275 year: 2015 ident: 10.1016/j.jlamp.2020.100563_br0200 article-title: Local search-based pattern matching features in EMF-IncQuery – year: 1995 ident: 10.1016/j.jlamp.2020.100563_br0160 – start-page: 149 year: 2001 ident: 10.1016/j.jlamp.2020.100563_br0180 article-title: An improved algorithm for matching large graphs – volume: 6 year: 2007 ident: 10.1016/j.jlamp.2020.100563_br0220 article-title: Generic search plans for matching advanced graph patterns publication-title: Electron. Commun. EASST – start-page: 383 year: 2006 ident: 10.1016/j.jlamp.2020.100563_br0070 article-title: GrGen: a fast SPO-based graph rewriting tool – volume: 1 start-page: 364 issue: 1 year: 2008 ident: 10.1016/j.jlamp.2020.100563_br0120 article-title: Taming verification hardness: an efficient algorithm for testing subgraph isomorphism publication-title: Proc. VLDB Endow. doi: 10.14778/1453856.1453899 – start-page: 454 year: 1994 ident: 10.1016/j.jlamp.2020.100563_br0190 article-title: Graph pattern matching in PROGRES – year: 2018 ident: 10.1016/j.jlamp.2020.100563_br0240 – start-page: 619 year: 2015 ident: 10.1016/j.jlamp.2020.100563_br0060 article-title: The LDBC social network benchmark: interactive workload – start-page: 212 year: 2019 ident: 10.1016/j.jlamp.2020.100563_br0020 article-title: Hybrid search plan generation for generalized graph pattern matching – start-page: 188 year: 2001 ident: 10.1016/j.jlamp.2020.100563_br0110 article-title: A performance comparison of five algorithms for graph isomorphism – volume: 14 start-page: 263 issue: 3 year: 1980 ident: 10.1016/j.jlamp.2020.100563_br0140 article-title: Increasing tree search efficiency for constraint satisfaction problems publication-title: Artif. Intell. doi: 10.1016/0004-3702(80)90051-X – year: 2006 ident: 10.1016/j.jlamp.2020.100563_br0080 – volume: 15 start-page: 609 issue: 3 year: 2016 ident: 10.1016/j.jlamp.2020.100563_br0210 article-title: Road to a reactive and incremental model transformation platform: three generations of the viatra framework publication-title: Softw. Syst. Model. doi: 10.1007/s10270-016-0530-4 |
SSID | ssj0001687831 |
Score | 2.166574 |
Snippet | •Constraints in a graph query are represented uniformly.•Static information allows considering the graph query's structure.•Dynamic information allows... |
SourceID | crossref elsevier |
SourceType | Enrichment Source Index Database Publisher |
StartPage | 100563 |
SubjectTerms | Graph pattern matching Search plan generation |
Title | Hybrid search plan generation for generalized graph pattern matching |
URI | https://dx.doi.org/10.1016/j.jlamp.2020.100563 |
Volume | 114 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NS8NAEB1qe_Hit1i_2INHQ002ySbHUi1RoRct9BZ2NxtpKTGUetBf78xm4wdIDx43ZCA8ZmdekrdvAK60n5gwor-6mD1emMQJ7TnhKcX90shUpI3aYhJn0_BhFs06MGrPwpCs0tX-pqbbau2uDByag3o-HzwFxB0CamHcup5sQS_gaYyp3RveP2aT708tcSISO5mQQjyKaf2HrNJrgdiTdWVgNQNRzP_uUT_6zngPdhxhZMPmmfahY6oD2G2HMTC3Nw_hNnunw1esSV1WL2XFXqynNEHPkJu65XL-YQpmjapZbd01K4a01Woqj2A6vnseZZ4bkeBp7D1rrwy40FrTS0_hC82Fb0JZcIPEqQhK3JuSBpprREWWMipVelOGyLAKLZQMheH8GLrVa2VOgKXIRJCrSDpqG8Z-oXxVpCZSiebIwn3Vh6AFJdfOP5zGWCzzVii2yC2SOSGZN0j24forqG7sMzbfHrdo57-yIMcCvynw9L-BZ7BNq0bSdw7d9erNXCDNWKtLl0af6Q_OXw |
linkProvider | Elsevier |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED6VdoCFN6I8PTASlcRJnIxVAaW0dKGVulm246BWVahQGeDX43McHhLqwJjHSdGn892X5PN3AFfKT3QY4V9dkz1emMQJrjnmSUn9QouUpZXaYhRnk_BhGk0b0Kv3wqCs0tX-qqbbau3OdByaneVs1nkKkDsE2MKodT3ZgBa6U0VNaHX7g2z0_aklTlhiJxNiiIcxtf-QVXrNDfZoXRlYzUAU07971I--c78L244wkm71THvQ0OU-7NTDGIhbmwdwm73j5itSpS5ZLkRJnq2nNEJPDDd1h4vZh86JNaomS-uuWRJDW62m8hAm93fjXua5EQmeMr1n5RUBZUopfOnJfaYo83UocqoNccqDwqxNgQPNVRqnohBRIdObIjQMK1dMipBpSo-gWb6U-hhIapiI4SoCt9qGsZ9LX-apjmSiqGHhvmxDUIPClfMPxzEWC14LxebcIskRSV4h2Ybrr6BlZZ-x_va4Rpv_ygJuCvy6wJP_Bl7CZjZ-HPJhfzQ4hS28Usn7zqC5en3T54ZyrOSFS6lPrKzRRQ |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Hybrid+search+plan+generation+for+generalized+graph+pattern+matching&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Barkowsky%2C+Matthias&rft.au=Giese%2C+Holger&rft.date=2020-08-01&rft.issn=2352-2208&rft.volume=114&rft.spage=100563&rft_id=info:doi/10.1016%2Fj.jlamp.2020.100563&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2020_100563 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |