We present a priority system which is particularly suited for production rules coupled to databases. In this system, there are default priorities between all rules and overriding user-defined priorities between particular rules. Rule processing using this system is repeatable: for a given set of rules and priorities, the rules are considered for execution in the same order if the same set of transactions is executed twice on the same initial database state. The rule order adheres to the default order as closely as possible: rules are considered in the same order as the default order unless user-defined precedence constraints force an inversion.We present data structures an efficient algorithms for implementing such a priority system. We sho...
Lamport timestamps are an elementary tool that can be used to maintain system-wide temporal consiste...
Priority inversion occurs when a process is delayed by the actions of another process with less prio...
This note deals with the problem of minimising the expected sum of quadratic holding and shortage in...
Priority inversion occurs when a process is delayed by the actions of another process with less pri...
Discusses term-rewriting systems with rule priorities, which simply is a partial ordering on the rul...
AbstractIn this paper we discuss term-rewriting systems with rule priorities, which simply is a part...
Due to resource sharing among tasks, priority inversion can occur during priority-driven preemptive ...
This paper deals with the design of priority rules for job shops that process multi-level assembly j...
In this paper we discuss term-rewriting systems with rule priorities, which simply is a partial ord...
Active databases and real-time databases have been important areas of research in the recent past. I...
We simulate the performance of a simple production system in which due-dates are set internally. We ...
This paper introduces CHR-rp: Constraint Handling Rules with user-definable rule priorities. CHR-rp ...
Priority inversion occurs when a process is delayed by the actions of another process with less prio...
Lamport timestamps are an elementary tool that can be used to maintain system-wide temporal consiste...
Priority inversion occurs when a process is delayed by the actions of another process with less prio...
This note deals with the problem of minimising the expected sum of quadratic holding and shortage in...
Priority inversion occurs when a process is delayed by the actions of another process with less pri...
Discusses term-rewriting systems with rule priorities, which simply is a partial ordering on the rul...
AbstractIn this paper we discuss term-rewriting systems with rule priorities, which simply is a part...
Due to resource sharing among tasks, priority inversion can occur during priority-driven preemptive ...
This paper deals with the design of priority rules for job shops that process multi-level assembly j...
In this paper we discuss term-rewriting systems with rule priorities, which simply is a partial ord...
Active databases and real-time databases have been important areas of research in the recent past. I...
We simulate the performance of a simple production system in which due-dates are set internally. We ...
This paper introduces CHR-rp: Constraint Handling Rules with user-definable rule priorities. CHR-rp ...
Priority inversion occurs when a process is delayed by the actions of another process with less prio...
Lamport timestamps are an elementary tool that can be used to maintain system-wide temporal consiste...
Priority inversion occurs when a process is delayed by the actions of another process with less prio...
This note deals with the problem of minimising the expected sum of quadratic holding and shortage in...