Title:
Designing database applications with objects and rules : the idea methodology
Personal Author:
Series:
Series on database systems and applications
Publication Information:
Harlow, England : Addison-Wesley, 1997
ISBN:
9780201403695
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000003991894 | QA76.9.D3 C57 1997 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
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 |