ADOOD RANCH Home Page

Active Deductive Object-Oriented Databases

Relating

Action

Negation

Constraints

Horn Rules

Funded by the National Science Foundation IRI-9410993

Principal Investigators

Project Summary

A Development Environment for Active Database Systems: Testing and Analysis of Active Database Rules

Active database systems transform passive database processing into active environments by using rules as alerters and triggers. This research is investigating two complementary aspects of active database development environments: the analysis of rules for termination and confluence properties and the run-time testing and debugging of active rules. The research is addressed in the context of an active, deductive, and object-oriented database. The rule analysis process is a static approach, applying termination/confluence analysis techniques from conditional term rewriting to identify rule problems before execution. The run-time environment is a dynamic approach allowing users to step through the rule triggering process, observing rule behavior and testing different rule triggering sequences. The execution model includes a propagation algorithm for monitoring changes to derived data. The integration of rule analysis with rule generation and transaction development to support specification and analysis of rules prior to rule execution is also being investigated. The significance of this work is found in the integration of active, deductive, and object-oriented concepts as well as the supportive environment provided to address the correctness and predictability of active rules in the development of complex database applications.

NSF IDM98 Workshop Report

NSF IDM99 Workshop Report

Publications

Published:
Submitted:

CDOL Language

The CDOL Reference Manual (BNF)

The Horse Racing Database (HRDB) Example

Supporting Work

Generating Rules from Constraints

Analyzing Anomalous Rule Behavior in Active, Object-Oriented DB's

Condition Monitoring

Students Involved

Taoufik Ben Abdellatif

Michael Tschudi

Miscellaneous Links

ASU Home Page

CEAS Home Page

ADOOD internal Home Page

ADOOD Related Projects

Weekly Page Usage

Page Usage Stats

Please send comments/suggestions to : adood@asu.edu

	Susan D. Urban, Anton P. Karadimce, Suzanne W. Dietrich, Taoufik Ben Abdellatif, and Hon Wai Rene Chan, "CDOL: A Comprehensive Declarative Object Language", Data & Knowledge Engineering, 1997, pp. 67-111. (Abstract) (The Horse Racing Database (HRDB) Example)

	Alexander Jahne, Susan D. Urban, and Suzanne W. Dietrich, "PEARD: A Prototype Environment for Active Rule Debugging", Journal of Intelligent Information Systems, Special Issue on Active Database Systems , Volume 7, Issue2, October 1996, pp. 111-128. (Abstract)

	Hon Wai Rene Chan, Suzanne W. Dietrich, and Susan D. Urban, "On Control Flow Testing of Active Rules in a Declarative Object-Oriented Framework". RIDS-97, pp. 165-180. (Abstract)

	Michael K. Tschudi, Susan D. Urban, Suzanne W. Dietrich, and Anton P. Karadimce, "An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis". RIDS-97, pp. 133-148. (Abstract)

	Amy Sundermier, Taoufik Ben Abdellatif, Suzanne W. Dietrich, and Susan D. Urban, " Object Deltas in an Active Database Development Environment". DOOD-97, pp. 211-229. (Abstract)

	Babu Siddabathuni, Suzanne W. Dietrich, Susan D. Urban "An AQUA-based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language". International Workshop on Practical Aspects of Declarative Languages (PADL99), Pringer Verlag Heidelberg, pp. 163-177. (Abstract)

	Susan D. Urban, Michael K. Tschudi, Suzanne W. Dietrich, Anton P. Karadimce, " Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method". Journal of Intelligent Information Systems. (Abstract)

	Amy Sundermier, Suzanne W. Dietrich, Vandana Shah, " Delta Objects for JavaBeans: Applying Database Technology to Software Components". ---.* (Abstract)

	Taoufik Ben Abdellatif, Hon Wai Rene Chan, Suzanne W. Dietrich, Babu Siddabathuni, Amy Sundermier, Susan D. Urban " Meta-Data Components in Support of an Active Deductive Object-Oriented Database System". ---. (Abstract)


	Taoufik Ben Abdellatif, Susan D. Urban, Amy Sundermier, Suzanne W. Dietrich, " Delta Abstractions: A Technique for Managing Database States in Active Rule Processing". In preparation for submission. (Abstract)