SPER
发表于 2025-3-23 13:46:02
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
发表于 2025-3-23 15:15:08
http://reply.papertrans.cn/84/8321/832076/832076_12.png
Mortar
发表于 2025-3-23 18:21:47
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
天气
发表于 2025-3-23 23:43:22
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
发表于 2025-3-24 04:54:01
http://reply.papertrans.cn/84/8321/832076/832076_15.png
ellagic-acid
发表于 2025-3-24 07:37:04
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
敲诈
发表于 2025-3-24 12:55:22
http://reply.papertrans.cn/84/8321/832076/832076_17.png
Lymphocyte
发表于 2025-3-24 17:37:07
http://reply.papertrans.cn/84/8321/832076/832076_18.png
Asseverate
发表于 2025-3-24 19:04:00
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
说笑
发表于 2025-3-25 00:15:56
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