Details
-
New Feature
-
Status: Open
-
Major
-
Resolution: Unresolved
-
9.0
-
None
-
None
-
New
Description
Today when a RegexpQuery is created, it will be translated to NFA, determinized to DFA and eventually become an AutomatonQuery, which is very fast. However, not every NFA could be determinized to DFA easily, the example given in LUCENE-9981 showed how easy could a short regexp break the determinize process.
Maybe, instead of marking those kind of queries as adversarial cases, we could make a new kind of NFA query, which execute directly on NFA and thus no need to worry about determinize process or determinized DFA size. It should be slower, but also makes those adversarial cases doable.
This article has provided a simple but efficient way of searching over NFA, essentially it is a partial determinize process that only determinize the necessary part of DFA. Maybe we could give it a try?
