[
https://issues.apache.org/jira/browse/FLINK-30839?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Juntao Hu updated FLINK-30839:
------------------------------
Description:
If a group pattern loops with relaxed contiguity, the strict contiguity between
group pattern and next pattern turns out to be as the same effect as relaxed
contiguity.
E.g. for pattern:
{code:java}
Pattern.begin(Pattern.begin("A").next("B")).oneOrMore().next("C")
{code}
sequence (a b d c) is also a matched one, which is abviously wrong.
As part of the NFA below shows, the ignore edge on A state causes the
unexpected ignoration of event "d".
!looping-group-pattern-relaxed-1.png!
was:
If a group pattern loops with relaxed contiguity, the strict contiguity between
group pattern and next pattern turns out to be as the same effect as relaxed
contiguity.
E.g. for pattern:
{code:java}
Pattern.begin(Pattern.begin("A").next("B")).oneOrMore().next("C")
{code}
sequence (a b d c) is also a matched one, which is abviously wrong.
As part of the NFA below shows, the ignore edge on A state causes the
unexpected ignoration of event "d".
!looping-group-pattern-relaxed.png!
> Relaxed looping group pattern make the following strict contiguity relaxed too
> ------------------------------------------------------------------------------
>
> Key: FLINK-30839
> URL: https://issues.apache.org/jira/browse/FLINK-30839
> Project: Flink
> Issue Type: Bug
> Components: Library / CEP
> Affects Versions: 1.16.1
> Reporter: Juntao Hu
> Priority: Major
> Attachments: looping-group-pattern-relaxed-1.png
>
>
> If a group pattern loops with relaxed contiguity, the strict contiguity
> between group pattern and next pattern turns out to be as the same effect as
> relaxed contiguity.
> E.g. for pattern:
> {code:java}
> Pattern.begin(Pattern.begin("A").next("B")).oneOrMore().next("C")
> {code}
> sequence (a b d c) is also a matched one, which is abviously wrong.
> As part of the NFA below shows, the ignore edge on A state causes the
> unexpected ignoration of event "d".
> !looping-group-pattern-relaxed-1.png!
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
