Abstract

Consistency of derived data can be dealt with by approaches such as materialized views or procedural rules. These solutions cannot be applied in the declarative Xplain approach, which requires a rule to be specified in terms of a derivable variable and a calculation, independent of the triggering event. If an event triggers the evaluation of a rule (assertion) specifying a set calculation, this could lead to a superfluous recalculation of data. Therefore, depending on the kind of triggering event, this paper presents a solution for the transformation of a set operation into a more efficient calculation.

Keywords: Active Databases, Declarative Rules, Intelligent Databases, Rule Transformation.

Publication Data

Proceedings of the Sixth IASTED International Conference on Artificial Intelligence and Soft Computing (ASC 2002), Banff, Canada, pp. 118-122.

Editor: H. Leung

Publisher: ACTA Press, Anaheim, Calgary, Zürich

Year: 2002

ISBN: 0-88986-346-6