Embedded object-oriented production systems (OOPS)

Pachet, François; Albert, Patrick; Barry, Brian; Donnell, Brian; McGehee, John; Miranker, Dan

doi:10.1145/260028.260125

Cited by 3 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Figure 3 shows typical R++ code to handle the employeemanager example discussed above. 2 In particular, the multiple-object invariant is now expressed using the single R++ rule maintainSalary. This rule is named and declared within the class Manager, as a new kind of class member.…”

Section: The Need For Rulesmentioning

confidence: 99%

R++: adding path-based rules to C++

Litman

Patel‐Schneider²,

Mishra³

et al. 2002

IEEE Trans. Knowl. Data Eng.

View full text Add to dashboard Cite

Object-oriented languages and rule-based languages o er two distinct and useful programming abstractions. However, previous attempts to integrate data-driven rules into object-oriented languages have typically achieved an uneasy union at best. R++ is a new, closer integration of the rule-based and object-oriented paradigms that extends C++ with a single programming construct, the path-based rule, as a new kind of class member. Path-based rules|data-driven rules that are restricted to follow pointers between objects|are like \automatic methods" that are triggered by changes to the objects they monitor. Path-based rules provide a useful level of abstraction that encourage a more declarative style of programming, and are valuable in object-oriented designs as a means of modeling dynamic collections of interdependent objects. Unlike more traditional pattern-matching rules, path-based rules are not at odds with the object-oriented paradigm, and o er performance advantages for many natural applications.

show abstract

Section: The Need For Rulesmentioning

confidence: 99%

R++: adding path-based rules to C++

Litman

Patel‐Schneider²,

Mishra³

et al. 2002

IEEE Trans. Knowl. Data Eng.

View full text Add to dashboard Cite

show abstract

“…These deficiencies included using LISP and LISP-like data structures that made the early rule languages difficult to embed in larger systems as well as slow implementation techniques. Venus is one of a number of object-embedded rule languages that address such issues [22]. The Venus language has been applied in many domains.…”

Section: Introductionmentioning

confidence: 99%

Rule-based query optimization, revisited

Warshaw

Miranker

1999

Proceedings of the Eighth International Conference on Information and Knowledge Management

View full text Add to dashboard Cite

We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a generalpurpose active-database rule language embedded in C++. Following the developments in extensible database query optimizers, first in rule-based form, followed by optimizers written as object-oriented programs, the Venus-based optimizer avails to the advantages of both. Venus' modular structure allows us to go a step further and provide extensibility in search by defining parameterized search components in a declarative form that has the additional effect of integrating heuristic and cost-based optimization. We compare optimizers developed with Volcano, OPI++ and Venus. Venus' optimizing compiler yields code whose performance is comparable with Volcano and OPT++ on smaller queries. The ability to introduce additional pruning heuristics yields better scalability on larger queries. Evaluation of the system using quantitative software metrics supports a claim that the Venusbased optimizer is more easily maintained and extended than are its predecessors.

show abstract

CHR for Imperative Host Languages

Weert

Wuille

Schrijvers

et al. 2008

Constraint Handling Rules

View full text Add to dashboard Cite

In this paper, we address the different conceptual and technical difficulties encountered when embedding CHR into an imperative host language. We argue that a tight, natural integration leads to a powerful programming language extension, intuitive to both CHR and imperative programmers. We show how to compile CHR to highly optimized imperative code. To this end, we first review the well-established CHR compilation scheme, and survey the large body of possible optimizations. We then show that this scheme, when used for compilation to imperative target languages, leads to stack overflows. We therefore introduce new optimizations that considerably improve the performance of recursive CHR programs. Rules written using tail calls are even guaranteed to run in constant space. We implemented systems for both Java and C, following the language design principles and compilation scheme presented in this paper, and show that our implementations outperform other state-of-the-art CHR compilers by several orders of magnitude.

show abstract

Embedded object-oriented production systems (OOPS)

Cited by 3 publications

References 0 publications

R++: adding path-based rules to C++

R++: adding path-based rules to C++

Rule-based query optimization, revisited

CHR for Imperative Host Languages

Contact Info

Product

Resources

About