Maintaining derived information using dynamic rule ordering
J.A. Bakker and J.H. ter Bekke

Abstract
Concepts of the Xplain DBMS allow the specification of assertions on derived data and their calculation. In case a term must satisfy a restricted value, the assertion specifies a static constraint. Such assertions can support management decisions based on information, derived from operational data. In order to deal with dependencies between assertions, we propose a framework for a correctly ordered calculation of interdependent data, using a dynamical calculation of rule priority. We also show how rule termination can be guaranteed.
Keywords: semantic databases, constraint specification.

Publication Data
Proceedings of the International Conference on Intelligent Systems and Control (ICSC 2001), Clearwater, Florida, pp. 253 - 260.
Editor: M.H. Hamza
Publisher: ACTA Press, Anaheim - Calgary - Zurich
Year: 2001
ISBN: 0-88986-315-6