Designing Database Applications with Objects and Rule: The IDEA Methodology

This text provides the Intelligent Database Environment for Advanced Applications (IDEA) methodology for the development, maintenance and application of modern database systems. It seeks to enable the reader to take advantage of current advances in software engineering techniques. The book is split into three parts covering an introduction to the models and languages used in the methodology; the process of analysis, design, prototyping and implementation; and how to put the methodology to work.

Table of Contents:
INTRODUCTION Modern Database Systems: Transactions, Objects, and Rules * Organization of the IDEA Methodology * Knowledge Independence * Modularization, Maintenance, and Reuse * Structure of this book MODELS AND LANGUAGES OBJECT MODEL Objects and Classes * Generalizations and Inheritance * Relationships * Generic Integrity Constraints * Schema of Reality, Database Schema, and Modularity * Example * Summary * Annotated Bibliography DYNAMIC MODEL Targeted Statecharts * Untargeted Statecharts * Example: A Material Handling System * Summary * Annotated Bibliography SCHEMA DEFINITION LANGUAGES Types * Classes * Generalization Hierarchies * Redefinitions and Overriding * Views * Untargeted Contraints * External Formulas and Procedures * Summary * Annotated Bibliography DECLARATIVE AND PROCEDURAL EXPRESSIONS Declarative Expressions * Query and Update Primitives * Procedural Expressions * Summary * Annotated Bibliography Deductive Rules * Deductive Rules for Data Derivation * Deductive Rules for Integrity Contraints * Operations * Active Rules * Compact Description of Class Implementations * Summary * Annotated Bibliography ANALYSIS ANALYSIS Coarse Analysis * Detailed Analysis * Schema Analysis * Knowledge Analysis * Applicatin Analysis * Integration and Verification * Running Example * Achieving Quality in Analysis * Summary * Annotated Bibliography DESIGN SCHEMA DESIGN Type Design * Class Design * Generalization Design * Relationships Design * Operations Design * Running Example * Achieving Quality Schema Design * Summary * Annotated Bibliography DEDUCTIVE RULE DESIGN Introduction to Deductive Rules * Rules for Data Derivation * Design of Fixed-Forman Integrity Contraints * Design of Generic Integrity Contraints * Running Example * Achieving Quality in Deductive Rule Design * Summary * Annotated Bibliography ACTIVE RULE DESIGN Introduction to Active Rules * Managing Integrity Constraints by Means of Active Rules * Design of Business Rules * Mapping Statecharts into Chimera * Running Example * Achieving Quality in Active Rule Design * Summary * Annotated Bibliography PROTOTYPING DEDUCTIVE RULE PROTOTYPING Static Analysis * Dynamic Analysis * Running Example * Summary * Annotated Bibliography TRANSLATING DEDUCTIVE RULES INTO ACTIVE RULES The Materialization of Derived Data * Incremental Materialization of Simple Views * Incremental Materialization of Complex Views * Running Example * Summary * Annotated Bibliography ACTIVE RULE PROTOTYPING Rule Analysis * Modularization of Active Rules * Behavioral Stratification * Assertional Stratification * Event-Based Stratification* Applications of Modularization Mechanisms * Running Example * Achieving Quality in Active Rule Prototyping * Summary * Annotated Bibliography IMPLEMENTATION MAPPING TO ORACLE Overview of Oracle 7 * Schema Mapping * Mapping in Declarative and Procedural Expressions * Mapping Operations * Mapping Deductive Rules * Mapping Active Rules * Summary of Oracle Mapping * Running Example * Annotated Bibliography MAPPING TO ILLUSTRA Overview of Illustra * Schema Mapping * Mapping Declarative and Procedural Expressions * Mapping Deductive Rules * Mapping Active Rules * Sumnary of Illustra Mapping * Running Example * Annotated Bibliography MAPPING TO DB2 Overview of DB2 * Schema Mapping * Mapping Declarative Expressions and Deductive Rules * Mapping Active Rules * Summary of DB2 Mapping * Running Example * Annotated Bibliography MAPPING TO VALIDITY MAPPING TO ODE Overview of Ode * Schema Mapping * Deductive Rule Mapping * Active Rule Mapping * Summary of Ode Mapping * Running Example PUTTING THE IDEA METHODOLOGY TO WORK MODULARIZATION AND MAINTENANCE The IDEA Methodology in the Large * Schema and Rule Integration * Conceptual Interoperability * Management of New Requirements * Annotated Bibliography ADVANCED ARCHITECTURES FOR DATA MANAGEMENT Client-Server Architecture for Database Management * Organization of a Database Server * Distributed Architectures for Database Management * Interoperability between Heterogeneous Databases * Annotated Bibliography DESIGN TOOLS IN THE IDEA PROJECT Organization of the Tool Environment * IADE: Idea Analysis and Design Environment * ARGONAUT: An Active Rule Generator * ARACHNE: An Active Rules Analyzer for Chimera * ALGRES TESTBED: A Prototyping Environment for Chimera * PANDORA: A Powerful Assistant for Deriving Oracle Applications * Annotated Bibliography COMPARISON WITH OTHER METHODOLOGIES Overview of OMT * The Booch Method * The Fusion Method * Annotated Bibliography EXERCISES