Static Analysis Techniques for Predicting the Behavior of Database Production Rules
نویسندگان
چکیده
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) guaranteed to produce a unique stream of observable actions. If the analysis determines that one of these properties is not guaranteed, it isolates the rules responsible for the problem and determines criteria that, if satis ed, guarantee the property. The analysis methods are presented in the context of the Starburst Rule System.
منابع مشابه
Behavior of Database Production Rules : Termination , Con uence , and Observable
Static analysis methods are given for determining whether arbitrary sets of database production rules are (1) guaranteed to terminate; (2) guaranteed to produce a unique nal database state; (3) guaranteed to produce a unique stream of observable actions. When the analysis determines that one of these properties is not guaranteed, it isolates the rules responsible for the problem and determines ...
متن کاملAn Innovative Method for The Analysis of Structures with Tension-only Members
Due to their dual behavior under tension and compression, structures with tension-only members show non-linear behavior. To analize such structures, it is necessary to use a nonlinear analysis scheme. Nonlinear analysis methods generally use gradual loading techniques with/without modification of stiffness matrix of the structure. These methods, in addition to being time consuming algorithms, a...
متن کاملAn Innovative Method for The Analysis of Structures with Tension-only Members
Due to their dual behavior under tension and compression, structures with tension-only members show non-linear behavior. To analize such structures, it is necessary to use a nonlinear analysis scheme. Nonlinear analysis methods generally use gradual loading techniques with/without modification of stiffness matrix of the structure. These methods, in addition to being time consuming algorithms, a...
متن کاملOPTIMUM WEIGHTED MODE COMBINATION FOR NONLINEAR STATIC ANALYSIS OF STRUCTURES
In recent years some multi-mode pushover procedures taking into account higher mode effects, have been proposed. The responses of considered modes are combined by the quadratic combination rules, while using the elastic modal combination rules in the inelastic phases is not valid. Here, an optimum weighted mode combination method for nonlinear static analysis is presented. Genetic algorithm is ...
متن کاملManaging Con icts between Rules
Rules are used as a programmingparadigm in several application domains, including active databases, planning, expert systems, and billing. For example, active databases have rules that execute upon the occurrence of particular events if speciied condition predicates are satissed. It is often the case that multiple rules are reable when a particular event occurs. We propose a declarative mechani...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995