Selective indexing speeds production systems

Obermeyer, Lance; Miranker, Daniel P.; Brant, David A.

doi:10.1109/tai.1995.479836

Cited by 5 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…First introduced in [8], [15], LEAPS served as the basis for the Clips++ system [10], and its successor Venus [46]. Aside from the high-level reconstruction of [40], only little has been published on their implementation (apparent exception is [47], where the importance of fact indexing is stressed). No clear description of how to incorporate priorities, or how to optimize the basic algorithm has ever been published.…”

Section: Discussion and Related Workmentioning

confidence: 99%

Efficient Lazy Evaluation of Rule-Based Programs

Weert

2010

IEEE Trans. Knowl. Data Eng.

View full text Add to dashboard Cite

Thirty years after Forgy's seminal dissertation, Rete remains the de facto standard matching algorithm. Despite promising research results, alternative algorithms such as TREAT and LEAPS have had little impact on modern production rule engines. Constraint Handling Rules (CHR) is a high-level, declarative programming language, similar to production rules. In recent years, CHR has increasingly been used in a wide range of general-purpose applications. State-of-the-art CHR systems use LEAPS-like lazy matching, and implement a large body of novel program analyses and optimization techniques to further improve performance. While obviously related, CHR and production rules research have mostly evolved independently from each other. With this article, we aim to foster cross-fertilization of implementation techniques. We provide a lucid, comprehensive overview of CHR's rule evaluation methodology, and survey recent contributions to the field of lazy matching. Our empirical evaluation confirms Rete-based engines would surely benefit from incorporating similar techniques and optimizations.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

Efficient Lazy Evaluation of Rule-Based Programs

Weert

2010

IEEE Trans. Knowl. Data Eng.

View full text Add to dashboard Cite

show abstract

“…One research prototype is our system Venus [3,4,5], an outgrowth of the Datex project [6]. This paper reports on our experience porting the ,ALRXSYS program to the Venus active database environment.…”

Section: Introductionmentioning

confidence: 99%