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...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 114; p. 100563
Main Authors Barkowsky, Matthias, Giese, Holger
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.08.2020
Subjects
Online AccessGet 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