Expressive top-k matching for conditional graph patterns

Mahfoud, Houari

doi:10.1007/s00521-021-06590-7

Cited by 4 publications

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…C can be done in quadratic time. We proposed in [15] two techniques to reduce matching time of CGPs.…”

Section: Conditional Graph Pattern Matchingmentioning

confidence: 99%

See 1 more Smart Citation

Revisited Containment for Graph Patterns

Mahfoud¹

2022

Preprint

Self Cite

View full text Add to dashboard Cite

We consider the class of conditional graph patterns (CGPs) that allow user to query data graphs with complex patterns that contain negation and predicates. To overcome the prohibitive cost of subgraph isomorphism, we consider matching of CGPs under simulation semantics which can be conducted in quadratic time. In emerging applications, one would like to reduce more this matching time, and the static analysis of patterns may allow ensuring part of this reduction. We study the containment problem of CGPs that aims to check whether the matches of some pattern P1, over any data graph, are contained in those of another pattern P2 (written P1 ⊑ P2). The optimization process consists to extract matches of P1 only from those of P2 without querying the (possibly large) data graph. We show that the traditional semantics of containment is decidable in quadratic time, but it fails to meet the optimization goal in the presence of negation and predicates. To overcome this limit, we propose a new semantics of containment, called strong containment, that is more suitable for CGPs and allows to reduce their matching time. We show that strong containment can be decided in cubic time by providing such an algorithm. We are planing to use results of this paper to answer CGPs using views. This paper is part of an ongoing project that aims to design a caching system for complex graph patterns.

show abstract

“…C can be done in quadratic time. We proposed in [15] two techniques to reduce matching time of CGPs.…”

Section: Conditional Graph Pattern Matchingmentioning

confidence: 99%

“…Contributions and Road-map. We first recall from [14,15] the definition of CGPs and we show how they can be matched in quadratic time using conditional simulation (Section 3). Next, we make the following contributions.…”

Section: Introductionmentioning

confidence: 99%