Modeling Cooperation Among Information Systems Using Control Elements

Next generation information systems will be cooperative in nature, with data dependencies and interoper-ability relationships. In this paper we report on the use of active database technology in the design of control elements which are particularly well suited for handling unreliable network technologies and autonomous decisions of availability of information systems. A control element is combined of a set of rules and an executable data structure that consists of operations for cooperating among information systems. Manipulating control elements by using local transformations increases the exibility of information systems by allowing multiple paths for receiving data and activating consistency maintenance operations. We provide the substitute method as an example of manipulating control elements, aimed at minimizing the interaction of an information system with other information systems , and at increasing parallelism. Control elements are implemented as part of the CoopWARE environment for supporting cooperation among information systems.

[1]  Divesh Srivastava,et al.  Data model and query evaluation in global information systems , 1995, Journal of Intelligent Information Systems.

[2]  Alberto O. Mendelzon,et al.  Querying the World Wide Web , 1996, Fourth International Conference on Parallel and Distributed Information Systems.

[3]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[4]  Elena Baralis,et al.  Improving Rule Analysis by Means of Triggering and Activation Graphs , 1995, Rules in Database Systems.

[5]  Abraham Silberschatz,et al.  Data-valued partitioning and virtual messages (extended abstract) , 1990, PODS.

[6]  Jennifer Widom,et al.  Production Rules in Parallel and Distributed Database Environments , 1992, VLDB.

[7]  Stefano Ceri,et al.  Distributed Databases: Principles and Systems , 1984 .

[8]  Arie Segev,et al.  TALE: A Temporal Active Language and Execution Model , 1996, CAiSE.

[9]  Michael Stonebraker,et al.  Database research: achievements and opportunities into the 1st century , 1996, SGMD.

[10]  Hector Garcia-Molina,et al.  The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems , 1992, EDBT.

[11]  Jennifer Widom,et al.  Local verification of global integrity constraints in distributed databases , 1993, SIGMOD '93.

[12]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[13]  Bharat Bhargava,et al.  A framework for providing consistent and recoverable agent-based access to heterogeneous mobile databases , 1995, SGMD.

[14]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[15]  John Mylopoulos,et al.  A generic integration architecture for cooperative information systems , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[16]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[17]  Amit P. Sheth,et al.  Using Polytransactions to Manage Interdependent Data , 1992, Database Transaction Models for Advanced Applications.

[18]  Opher Etzion,et al.  Self-Stabilization in Database Consistency Maintenance , 1996, ER Workshop Challenges of Application and Challenges of Design.