經典原版書庫:資料庫系統實現

經典原版書庫:資料庫系統實現

《資料庫系統實現(英文版第2版)》是關於資料庫系統實現方面內容最為全面的著作之一,是美國史丹福大學計算機科學專業資料庫系列課程第二門課程的指定教材。

基本介紹

  • 中文名:資料庫系統實現(英文版第2版)
  • 外文名:Database System Implementation
  • 書名:經典原版書庫:資料庫系統實現
  • 作者:加西亞-莫利納
  • 出版社:機械工業出版社
  • 頁數:1181頁
  • 開本:32
  • 品牌:機械工業出版社
  • 外文名:Database System Implementation
  • 類型:計算機與網際網路
  • 出版日期:2010年1月1日
  • 語種:英語
  • ISBN:9787111288602, 7111288602
內容簡介,作者簡介,圖書目錄,序言,

內容簡介

《資料庫系統實現(英文版第2版)》是關於資料庫系統實現方面內容最為全面的著作之一,是美國史丹福大學計算機科學專業資料庫系列課程第二門課程的指定教材。書中從資料庫實現者的角度對資料庫系統實現原理進行了深入闡述。並具體討論了資料庫管理系統的三個主要成分——存儲管理器、查詢處理器和事務管理器的實現技術。史丹福大學計算機科學專業資料庫系列課程第一門課程的內容包括資料庫設計和資料庫編程。《資料庫系統實現(英文版第2版)》的後兩位作者Jeffrey D.UIIman和Jennifer Widom為該課程編寫的教材《資料庫系統基礎教程》(A First Course in Database Systems)第3版的中文翻譯版和英文影印版已由機械工業出版社出版。《資料庫系統實現(英文版第2版)》內容深入且全面,技術實用且先進,敘述深入淺出,是一本難得的高層次的教材,適合作為高等院校計算機專業研究生的教材或本科生的教學參考書,也適合作為從事相關研究或開發工作的專業技術人員的高級參考資料。

作者簡介

作者:(美國)加西亞-莫利納(Hector Garcia-Molina) (美國)Jeffrey D.Ullman (美國)Jennifer Widom

Hector Garcia-Molina,加西亞-莫利納,史丹福大學計算機科學與電子工程系的Leonad Bosack和Sandra Lerner教授。他在資料庫系統、分散式系統和數宇圖書館領域中發表了大量論文。研究興趣包括分散式計算系統、資料庫系統和數字圖書館。他是ACM會士、美國藝術與科學院會士和美國國家工程院成員。他在1 999年獲得了ACM SIGMOD創新獎。
Jeffrey D,Ullman,史丹福大學計算機科學與電子工程系Stanford W,Ascherman教授,資料庫技術專家。他獨立或與人合作出版了15本著作,發表了170多篇技術論文,研究興趣包括資料庫理論、資料庫集成、數據挖掘和利用信息基礎設施進行教育。他是美國國家工程院成員。曾獲得Knuth獎、SIGMOD貢獻獎、Karlstrom傑出教育家獎和Edgar F,Codd發明獎。
Jennifer Widom,美國康奈爾大學計算機科學博士,現為史丹福大學計算機科學與電子工程系教授,研究興趣包括半結構化數據的資料庫系統和XML,數據倉庫以及主動資料庫系統。她是ACM會士、Guggenheim會士和美國國家工程院成員,並且是多個編輯委員會、程式委員會和顧問委員會的成員。她在2007年獲得了ACM SlGMOD Edgar F,Codd發明獎。

圖書目錄

1 The Worlds of Database Systems
1.1 The Evolution of Database Systems
1.1.1 Early Database Management Systems
1.1.2 Relational Database Systems
1.1.3 Smaller and Smaller Systems
1.1.4 Bigger and Bigger Systems
1.1.5 Information Integration
1.2 Overview of a Database Management System
1.2.1 Data-Definition Language Commands
1.2.2 Overview of Query Processing
1.2.3 Storage and Buffer Management
1.2.4 Transaction Processing
1.2.5 The Query Processor
1.3 Outline of Database-System Studies
1.4 References for Chapter 1

Ⅰ Relational Database Modeling
2 The Relational Model of Data
2.1 An Overview of Data Models
2.1.1 What is a Data Model?
2.1.2 Important Data Models
2.1.3 The Relational Model in Brief
2.1.4 The Semistructured Model in Brief
2.1.5 Other Data Models
2.1.6 Comparison of Modeling Approaches
2.2 Basics of the Relational Model
2.2.1 Attributes
2.2.2 Schemas
2.2.3 Tuples
2.2.4 Domains
2.2.5 Equivalent Representations of a Relation
2.2.6 Relation Instances
2.2.7 Keys of Relations
2.2.8 An Example Database Schema
2.2.9 Exercises for Section 2.2
2.3 Defining a Relation Schema in SQL
2.3.1 Relations in SQL
2.3.2 Data Types
2.3.3 Simple Table Declarations
2.3.4 Modifying Relation Schemas
2.3.5 Default Values
2.3.6 Declaring Keys
2.3.7 Exercises for Section 2.3
2.4 An Algebraic Query Language
2.4.1 Why Do We Need a Special Query Language?
2.4.2 What is an Algebra?
2.4.3 Overview of Relational Algebra
2.4.4 Set Operations on Relations
2.4.5 Projection
2.4.6 Selection
2.4.7 Cartesian Product
2.4.8 Natural Joins
2.4.9 Theta-Joins
2.4.10 Combining Operations to Form Queries
2.4.11 Naming and Renaming
2.4.12 Relationships Among Operations
2.4.13 A Linear Notation for Algebraic Expressions
2.4.14 Exercises for Section 2.4
2.5 Constraints on Relations
2.5.1 Relational Algebra as a Constraint Language
2.5.2 Referential Integrity Constraints
2.5.3 Key Constraints
2.5.4 Additional Constraint Examples
2.5.5 Exercises for Section 2.5
2.6 Summary of Chapter 2
2.7 References for Chapter 2

3 Design Theory for Relational Databases
3.1 Functional Dependencies
3.1.1 Definition of Functional Dependency
3.1.2 Keys of Relations
3.1.3 Superkeys
3.1.4 Exercises for Section 3.1
3.2 Rules About Functional Dependencies
3.2.1 Reasoning About Functional Dependencies
3.2.2 The Splitting/Combining Rule
3.2.3 Trivial Functional Dependencies
3.2.4 Computing the Closure of Attributes
3.2.5 Why the Closure Algorithm Works
3.2.6 The Transitive Rule
3.2.7 Closing Sets of Functional Dependencies
3.2.8 Projecting Functional Dependencies
3.2.9 Exercises for Section 3.2
3.3 Design of Relational Database Schemas
3.3.1 Anomalies
3.3.2 Decomposing Relations
3.3.3 Boyce-Codd Normal Form
3.3.4 Decomposition into BCNF
3.3.5 Exercises for Section 3.3
3.4 Decomposition: The Good, Bad, and Ugly
3.4.1 Recovering Information from a Decomposition
3.4.2 The Chase Test for Lossless Join
3.4.3 Why the Chase Works
3.4.4 Dependency Preservation
3.4.5 Exercises for Section 3.4
3.5 Third Normal Form
3.5.1 Definition of Third Normal Form
3.5.2 The Synthesis Algorithm for 3NF Schemas
3.5.3 Why the 3NF Synthesis Algorithm Works
3.5.4 Exercises for Section 3.5
3.6 Multivalued Dependencies
3.6.1 Attribute Independence and Its Consequent Redundanc
3.6.2 Definition of Multivalued Dependencies
3.6.3 Reasoning About Multivalued Dependencies
3.6.4 Fourth Normal Form
3.6.5 Decomposition into Fourth Normal Form
3.6.6 Relationships Among Normal Forms
3.6.7 Exercises for Section 3.6
3.7 An Algorithm for Discovering MVD's
3.7.1 The Closure and the Chase
3.7.2 Extending the Chase to MVD's
3.7.3 Why the Chase Works for MVD's
3.7.4 Projecting MVD's
3.7.5 Exercises for Section 3.7
3.8 Summary of Chapter 3
3.9 References for Chapter 3

4 High-Level Database Models
4.1 The Entity/Relationship Model
4.1.1 Entity Sets
4.1.2 Attributes
4.1.3 Relationships
4.1.4 Entity-Relationship Diagrams
4.1.5 Instances of an E/R Diagram
4.1.6 Multiplicity of Binary E/R Relationships
4.1.7 Multiway Relationships
4.1.8 Roles in Relationships
4.1.9 Attributes on Relationships
4.1.10 Converting Multiway Relationships to Binary
4.1.11 Subclasses in the E/R Model
4.1.12 Exercises for Section 4.1
4.2 Design Principles
4.2.1 Faithfulness
4.2.2 Avoiding Redundancy
4.2.3 Simplicity Counts
4.2.4 Choosing the Right Relationships
4.2.5 Picking the Right Kind of Element
4.2.6 Exercises for Section 4.2
4.3 Constraints in the E/R Model
4.3.1 Keys in the E/R Model
4.3.2 Representing Keys in the E/R Model
4.3.3 Referential Integrity
4.3.4 Degree Constraints
4.3.5 Exercises for Section 4.3
4.4 Weak Entity Sets
4.4.1 Causes of Weak Entity Sets
4.4.2 Requirements for Weak Entity Sets
4.4.3 Weak Entity Set Notation
4.4.4 Exercises for Section 4.4
4.5 From E/R Diagrams to Relational Designs
4.5.1 From Entity Sets to Relations
4.5.2 From E/R Relationships to Relations
4.5.3 Combining Relations
4.5.4 Handling Weak Entity Sets
4.5.5 Exercises for Section 4.5
4.6 Converting Subclass Structures to Relations
4.6.1 E/R-Style Conversion
4.6.2 An Object-Oriented Approach
4.6.3 Using Null Values to Combine Relations
4.6.4 Comparison of Approaches
4.6.5 Exercises for Section 4.6
4.7 Unified Modeling Language
……
ⅡRelational Database Programming
Ⅲ Modeling and Programming for Semistructured Data
Ⅳ Database System Implementation

序言

This book covers the core of the material taught in the database sequence at Stanford. The introductory course, CS145, uses the first twelve chapters, and is designed for all students -those who want to use database systems as well as those who want to get involved in database implementation. The second course, CS245 on database implementation, covers most of the rest of the book. However, some material is covered in more detail in special topics courses. These include CS346 (implementation project), which concentrates on query optimization as in Chapters 15 and 16. Also, CS345A, on data mining and Web mining, covers the material in the last two chapters.
What's New in the Second Edition After a brief introduction in Chapter 1, we cover relational modeling in Chapters 2-4. Chapter 4 is devoted to high-level modeling. There, in addition to the E/R model, we now cover UML (Unified Modeling Language). We also have moved to Chapter 4 a shorter version of the material on ODL, treating it as a design language for relational database schemas.
The material on functional and multivalued dependencies has been mod- ified and remains in Chapter 3. We have changed our viewpoint, so that a functional dependency is assumed to have a set of attributes on the right. We have also given explicitly certain algorithms, including the "chase," that allow us to manipulate dependencies. We have augmented our discussion of third normal form to include the 3NF synthesis algorithm and to make clear what the tradeoff between 3NF and BCNF is.
Chapter 5 contains the coverage of relational algebra from the previous edition, and is joined by (part of) the treatment of Dataiog from the old Chap- ter 10. The discussion of recursion in Datalog is either moved to the book's Web site or combined with the treatment of recursive SQL in Chapter 10 of this edition.
Chapters 6-10 are devoted to aspects of SQL programming, and they repre- sent a reorganization and augmentation of the earlier book's Chapters 6, 7, 8, and parts of 10. The material on views and indexes has been moved to its own chapter.

相關詞條

熱門詞條

聯絡我們