Titlebook: Rules in Database Systems; Third International Andreas Geppert,Mikael Berndtsson Conference proceedings 1997 Springer-Verlag Berlin Heidel

SPER

FOLRE: A deductive database system for the integrated treatment of updates,ems in deductive databases and the architecture of a new . based upon such a framework. Our results extend the query-processing and basic updating functionalities provided by current deductive database systems with integrated view updating and materialization, integrity checking and maintenance, and

conifer

Mortar

Logging and post-mortem analysis of workflow executions based on event histories, addressed in EvE, a prototypical distributed system implementing event-driven workflow execution. Essentially, both tasks benefit from the concept of an . as it is present in active database systems. By using event-based workflow execution, the workflow log actually corresponds to the ., and post-m

天气

Rule modelling and simulation in ALFRED,ast to other systems, rules and user commands are represented . as enhanced Colored Petri Nets which we call .ction .ule .low .etri .ets (ARFPN). To achieve this, certain requirements had to be met such as a uniform model which is appropriate for the modelling of rule components, rule semantics, and

LAPSE

ellagic-acid

On confluence property of active databases with meta-rules,onstraints for the execution of finable rules, and a traditional database. The main goal of an active database is to automatically manage database operations. In general, the occurrence of an event can cause several rules to be firable nondeterministically and the execution of a firable rule may dyn

敲诈

Lymphocyte

Asseverate

On control flow testing of active rules in a declarative object-oriented framework,and autonomous reactive responses in active databases also adds complexity to such systems. To assure the quality of active database systems, a testing methodology has to be developed. In this paper, we describe the architecture of an active rule testing tool set and the implementation of the contro

说笑

Active-design: A generic toolkit for deriving specific rule execution models, proposed as extended functionalities for different database systems. However, these models lack in flexibility and adaptability to specific database systems or specific application requirements. In this paper, we propose a generic framework which provides a set of basic functions which can be used