Formal Techniques for Data Base Design

Formal Techniques for Data Base Design

by Antonio L. Furtado, Erich J. Neuhold

Paperback(Softcover reprint of the original 1st ed. 1986)

$129.00
View All Available Formats & Editions
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, April 25

Product Details

ISBN-13: 9783642705946
Publisher: Springer Berlin Heidelberg
Publication date: 12/10/2011
Edition description: Softcover reprint of the original 1st ed. 1986
Pages: 114
Product dimensions: 6.69(w) x 9.61(h) x 0.01(d)

Table of Contents

1 General Introduction — Two Approaches to Formal Data Base Design.- A — Application-Oriented Approach.- 2 Introduction to Part A.- 3 An Informal Outline.- 3.1 Information Level.- 3.2 Functions Level.- 3.3 Representation Level.- 3.4 Placing the Formalisms.- 4 The Information Level — The Use of Logical Formalisms.- 4.1 Logical Formalisms.- 4.2 An Example.- 5 The Functions Level — The Use of Algebraic Formalisms.- 5.1 Algebraic Formalisms.- 5.2 Obtaining a Functions Level Specification — An Example.- 5.3 First to Second Level Refinements.- 5.4 Proof of Correctness of the Refinement — An Example.- 6 The Representation Level —The Use of a Programming Language Formalism.- 6.1 Programming Language Formalism.- 6.1.1 Syntax — The Use of a Grammatical Formalism.- 6.1.2 Semantics — The Use of a Denotational Formalism.- 6.2 Obtaining a Representation Level Specification — An Example.- 6.3 Second to Third Level Refinements.- 6.4 Proof of Correctness of the Refinement — An Example.- B — Semantic Data Models.- 7 Introduction to Part B.- 8 The Logical Database Model.- 8.1 The Semantic Framework.- 8.1.1 Reality and the Real World States.- 8.1.2 The Natural Language State Description.- 8.1.3 The Abstract Model and the Standard Interpretation.- 8.1.4 The Logical State Description and the Interpretation IDB.- 8.1.5 Conventional Data Bases — The Syntactical View.- 8.2 The Logical Data Definition Language.- 8.2.1 Type Declarations.- 8.2.2 The Clause of a Type Declaration.- 8.2.3 The Clause of a Type Declaration.- 8.2.4 The Clause of a Type Declaration.- 8.2.5 Relation Declarations.- 8.2.6 The Clause of Relation Declarations.- 8.2.7 The Clause of Relation Declarations.- 8.3 The Logical Data Language LDL.- 9 The Entity-Relationship Model.- 9.1 The Entity-Relationship-Value Concept.- 9.1.1 Level 1: Entities, Relationships, Values.- 9.1.2 Level 2: Entity-Relationship Diagram.- 9.1.3 Level 3: Entity Relations, Relationship Relations and Relation Tables.- 9.2 Data Types and the Entity-Relationship Model.- 9.2.1 Generalization/Specialization.- 9.2.2 Aggregation.- 9.2.3 Grouping.- 9.3 Existence and Identification Constraints in the Extended ER-Model.- 9.3.1 Constraints Related to Generalization/Specialization.- 9.3.2 Constraints Related to Aggregation.- 9.3.3 Constraints Related to Grouping.- 9.4 An Example Using the Extended ER-Model.- 10 The Temporal Hierarchic Model.- 10.1 The Basic Concepts of THM.- 10.2 The Notions of Time in THM.- 10.3 The Operational Facilities of the Temporal Hierarchic Model.- 10.3.1 The Basic State Manipulation Actions.- 10.3.2 Complex State Manipulation Actions.- 11 Conclusion.- 12 References.- 13 Subject Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews