Abstract
This paper addresses the problem of unanticipated rule interactions. It characterizes problems with active rules in dynamic manufacturing environments, and formally defines a number of interaction properties such as cascades, rule cycles, and race conditions. The inversion of these properties defines criteria for interaction-free rule sets that form the basis for a compiler that automatically generates active rules. A feasibility study was conducted where an active database system was embedded into a manufacturing control system. A compiler translate high-level manufacturing operations into queries and active rules for the embedded active DBMS. Since the generated rule sets conform to the inverse criteria, they cannot lead to rule cycles, non-termination, or non-determinism.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
