Modelling a transaction manager using parallel decision processes

This is the second report concerning transaction management in the database environment. In the first report the role of the transaction manager in protecting the integrity of a database has been studied [van der Made-Potuijt 1989]. In this report a model will be given for the transaction manager as a parallel decision process. To that purpose a modelling method for parallel behaviour, Paradigm, will be introduced. This method uses parallel decision processes for modelling parallel phenomena. Not all the notions of Paradigm will be discussed, a more extensive explanation can be found in Groenewegen [1986-1990]. After this short introduction to Paradigm, the method will be applied to a simple transaction manager. In future research more complex transaction managers will be modelled

A Hierarchical Filtering-Based Monitoring Architecture for Large-scale Distributed Systems

On-line monitoring is essential for observing and improving the reliability and performance of large-scale distributed (LSD) systems. In an LSD environment, large numbers of events are generated by system components during their execution and interaction with external objects (e.g. users or processes). These events must be monitored to accurately determine the run-time behavior of an LSD system and to obtain status information that is required for debugging and steering applications. However, the manner in which events are generated in an LSD system is complex and represents a number of challenges for an on-line monitoring system. Correlated events axe generated concurrently and can occur at multiple locations distributed throughout the environment. This makes monitoring an intricate task and complicates the management decision process. Furthermore, the large number of entities and the geographical distribution inherent with LSD systems increases the difficulty of addressing traditional issues, such as performance bottlenecks, scalability, and application perturbation. This dissertation proposes a scalable, high-performance, dynamic, flexible and non-intrusive monitoring architecture for LSD systems. The resulting architecture detects and classifies interesting primitive and composite events and performs either a corrective or steering action. When appropriate, information is disseminated to management applications, such as reactive control and debugging tools. The monitoring architecture employs a novel hierarchical event filtering approach that distributes the monitoring load and limits event propagation. This significantly improves scalability and performance while minimizing the monitoring intrusiveness. The architecture provides dynamic monitoring capabilities through: subscription policies that enable applications developers to add, delete and modify monitoring demands on-the-fly, an adaptable configuration that accommodates environmental changes, and a programmable environment that facilitates development of self-directed monitoring tasks. Increased flexibility is achieved through a declarative and comprehensive monitoring language, a simple code instrumentation process, and automated monitoring administration. These elements substantially relieve the burden imposed by using on-line distributed monitoring systems. In addition, the monitoring system provides techniques to manage the trade-offs between various monitoring objectives. The proposed solution offers improvements over related works by presenting a comprehensive architecture that considers the requirements and implied objectives for monitoring large-scale distributed systems. This architecture is referred to as the HiFi monitoring system. To demonstrate effectiveness at debugging and steering LSD systems, the HiFi monitoring system has been implemented at the Old Dominion University for monitoring the Interactive Remote Instruction (IRI) system. The results from this case study validate that the HiFi system achieves the objectives outlined in this thesis

Implementing Integrity Control In Active Data Bases

This article presents a system for maintaining static integrity constraints in data bases that uses the active data base paradigm. This system has been added to an active version of the O2 object-oriented data base system, and it is fully functional. Constraints, specified by the user in a fist-order logic language, are transformed into production rules, which are stored in the data base. These rules are used to maintain the corresponding set of constraints for all applications that use the data base. We extend previous work on constraint maintenance in two ways: our system can be used as a constraint maintenance layer on top of object-oriented, relational, and nested relational data bases, and for object-oriented systems, we provide constraint support not only in the case of object composition, but also consider inheritance and methods. © 1994.273171181Adiba, Collet, Coupaye, Habraken, Machado, Martin, Roncancio, Trigger Systems: Different Approaches (1993) Technical Report Aristote-SUR007, , Laboratoire de Génie Informatique, IMAG, Grenoble, FranceAndrade, Manutenção de Restrições de Integridade em Bancos de Dados Orientados a Objetos (1992) Master's Thesis, , Department of Computer Science, UNICAMP, CampinasAiken, Widom, Hellerstein, Behavior of Database Production Rules: Termination, Confluence and Observable Determinism (1992) Technical Report FJ8562, , IBM, AlmadenBuchmann, Branding, Kudrass, Zimmermann, REACH—A REal-Time, ACtive and Heterogeneous Mediator System (1992) IEEE Bull. TC Data Eng., 15, pp. 44-47Beeri, Formal models for object-oriented databases (1989) Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases, pp. 370-395Borgida, Language Features For Flexible Handling of Exceptions in Information Systems (1985) ACM TODS, 10, pp. 565-603Chakravarthy, Blaustein, Buchmann, Carey, Dayal, Goldhirsch, Hsu, Rosenthal, HiPAC: A Research Project in Active, Time-Constrained Database Management (1989) Technical Report XAIT-89-02, , Xerox Advanced Information TechnologyChakravarthy, Special Issue—Active Databases (1992) IEEE Bull. Data Eng.Ceri, Widom, Deriving production rules for constraint maintenance (1990) Proceedings of the 16th VLDB, pp. 566-577Ceri, Widom, Deriving production rules for incremental view maintenance (1991) Proceedings of the 17th VLDB, pp. 577-589Ceri, Widom, Managing Semantic Heterogeneity with Production Rules and Persistent Queues (1992) Technical Report RJ9064, , IBM AlmadenDeux, The Story of O2 (1990) IEEE Trans. Knowl. Data Eng., 2, pp. 91-108Dayal, Buchmann, McCarthy, Rules are objects too: A knowledge model for an active, object oriented database system (1988) Lecture Notes in Computer Science, 334, pp. 129-143. , Springer VerlagDayal, Hsu, Ladin, A transactional model for long-running activities (1991) Proceedings of the 17th VLDB, pp. 113-122Diaz, Paton, Gray, Rule management in object-oriented databases: A uniform approach (1991) Proceedings of the 17th VLDB, pp. 317-326Gehani, Jagadish, Shmueli, Composite event specification in active databases: Model and implementation (1992) Proceedings of 18th VLDB, pp. 327-338Gehani, Jagadish, Shumueli, Event specification in an active object-oriented database (1992) ACM SIGMOD Record, pp. 81-90Hanson, Rule condition testing and action execution in Ariel (1992) ACM SIGMOD Record, pp. 49-58Hanson, Widom, An Overview of Production Rules in Database Systems (1992) Technical Report RJ9023, , IBM AlmadenKotz, Dittrich, Mulle, Supporting semantic rules by a generalized event/trigger mechanism (1988) Proceedings of the 1st EDBT, pp. 76-91McCarthy, Dayal, The architecture of an active database management system (1989) ACM SIGMOD Record, pp. 215-224Morgenstern, Constraint equations: Declarative expression of constraints with automatic enforcement (1984) Proceedings of the 10th VLDB, pp. 291-300Medeiros, Pfeffer, A Mechanism for Managing Rules in an Object-Oriented Database (1991) Technical Report, , GIP-ALTAIR, ParisMedeiros, Pfeffer, Object integrity using rules (1991) Proceedings of the European Conference on Object-Oriented Programming, pp. 219-230Nassif, Qiu, Zhu, Extending the object-oriented paradigm to support relationships and constraints (1990) NeurologyRosenthal, Chakravarthy, Blaustein, Blakeley, Situation monitoring for active databases (1989) Proceedings of the 15th VLDBRisch, Monitoring database objects (1989) Proceedings of the 15th VLDB, pp. 445-453Schiel, Carvalho, TOM-Rules: A uniform and flexible approach to events, constraints and derived information (1993) Proceedings of the 8th Brazilian Database Conference, pp. 373-383Stonebraker, Jhingran, Goh, Potamianos, On rules procedures caching and views in database systems (1990) ACM SIGMOD Record, pp. 281-290Schreier, Pirahesh, Agrawal, Mohan, Alert: An architecture for transforming a passive DBMS into an active DBMS (1991) Proceedings of the 17th VLDB, pp. 469-478Segev, Zhao, Data management for large rule systems (1991) Proceedings of the 17th VLDB, pp. 297-307Urban, Delcambre, Constraint analysis for specifying perspectives of class objects (1989) Proceedings of the 5th IEEE Conference on Data Engineering, pp. 10-17Urban, Desiderio, Translating constraints to rules in CONTEXT: A CONstrainT Explanation Tool (1990) Proceedings of the IFIP Conference on Object Oriented Database Systems—Analysis, Design and ConstructionUrban, Karadimce, Nannapaneni, The implementation and evaluation of integrity maintenance rules in an object-oriented database (1992) Proceedings of the IEEE Data Engineering Conference, pp. 565-572Wuu, Dayal, A uniform model for temporal object-oriented databases (1992) Proceedings of the IEEE Data Engineering Conference, pp. 584-593Widom, Finkelstein, Set oriented production rules in relational database systems (1990) ACM SIGMOD Record, pp. 259-27