1.
図書
edited by Hervé Gallaire, Jack Minker, and Jean Marie Nicolas
出版情報:
New York : Plenum Press, c1981-c1984 2 vol. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
2.
図書
Olin H. Bray, Harvey A. Freeman
3.
図書
Edward Hill, Jr
4.
図書
Marco Antonio Casanova
5.
図書
6.
図書
James Martin
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1976 xvi, 352 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
7.
図書
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman
8.
図書
edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt
9.
図書
edited by Francesca Cesarini and Silvio Salza
10.
図書
J. Biskup ... [et al.] (eds.)
目次情報:
続きを見る
On Hierarchical Normal Forms
Data Manipulation Languages for the Universal Relation View DURST
The Equivalence Problem for Relational Database Schemes
On Global Context Dependencies and Their Properties
Functional Dependency Implications, Inducing Horizontal Decompositions
Extremal Combinatorial Problems of Database Models
A Formal Model for Distributed Information Systems
A Theory of Reference Graphs in Relational Databases
Modal Logic and Incomplete Information
Designing Alpha-Acyclic BCNF-Database Schemes
Design Tools for Large Relational Database Systems
Searching and Retrieval in Databases by Trees
Reports from the Symposium: Database Models, Where They are Going Now?
Summary of the Panel Discussion
Open Problems in Database Theory - Summary of the Panel Discussion
On Hierarchical Normal Forms
Data Manipulation Languages for the Universal Relation View DURST
The Equivalence Problem for Relational Database Schemes
11.
図書
Jeffrey D. Ullman
12.
図書
W.H. Inmon
出版情報:
New York : Wiley, c1993 xi, 298 p. ; 24 cm
シリーズ名:
Wiley-QED publication
子書誌情報:
loading…
所蔵情報:
loading…
13.
図書
Sheldon A. Borkin
14.
図書
C.J. Date
目次情報:
続きを見る
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography)
Preliminaries / I：
An Overview of Database Management / 1：
What is a database system?
What is a database?
Why database?
Data independence
Relational systems and others
Database System Architecture / 2：
The three levels of the architecture
The external level
The conceptual level
The internal level
Mappings
The database administrator
The database management system
Data communications
Client/server architecture
Utilities
Distributed processing
An Introduction to Relational Databases / 3：
An informal look at the relational model
Relations and relvars
What relations mean
Optimization
The catalog
Base relvars and views
Transactions
The suppliers-and-parts database
An Introduction to SQL / 4：
Overview
Views
Embedded SQL
Dynamic SQL and SQL/CLI
SQL is not perfect
The Relational Model / II：
Types / 5：
Values v Variables
Types v Representations
Type Definition
Operators
Type generators
SQL facilities
Relations / 6：
Tuples
Relation types
Relation values
Relation variables
Relational Algebra / 7：
Closure revisited
The original algebra: Syntax
The original algebra: Semantics
Examples
What is the algebra for?
Further points
Additional operators
Grouping and ungrouping
Relational Calculus / 8：
Tuple calculus
Calculus vs. algebra
Computational capabilities
Domain calculus
Query-By-Example
Integrity / 9：
A closer look
Predicates and propositions
Relvar predicates and database predicates
Checking the constraints
Internal v external constraints
Correctness v consistency
Integrity and views
A constraint classification scheme
Keys
Triggers (a digression)
What are views for? / 10：
View retrievals
View updates
Snapshots (a digression)
Database Design / III：
Functional Dependencies / 11：
Basic definitions
Trivial and nontrivial dependencies
Closure of a set of dependencies
Closure of a set of attributes
Irreducible sets of dependencies
Further Normalization I: 1NF, 2NF, 3NF, BCNF / 12：
Nonloss decomposition and functional dependencies
First, second, and third normal forms
Dependency preservation
Boyce/Codd normal form
A note on relation-valued attributes
Further Normalization II: Higher Normal Forms / 13：
Multi-valued dependencies and fourth normal form
Join dependencies and fifth normal form
The normalization procedure summarized
A note on denormalization
Orthogonal design (a digression)
Other normal forms
Semantic Modeling / 14：
The overall approach
The E/R model
E/R diagrams
Database design with the E/R model
A brief analysis
Transaction Management / IV：
Recovery / 15：
Transaction recovery
System recovery
Media recovery
Two-phase commit
Savepoints (a digression)
Concurrency / 16：
Three concurrency problems
Locking
The three concurrency problems revisited
Deadlock
Serializability
Recovery revisited
Isolation levels
Intent locking
ACID dropping
Further Topics / V：
Security / 17：
Discretionary access control
Mandatory access control
Statistical databases
Data encryption
A motivating example / 18：
An overview of query processing
Expression transformation
Database statistics
A divide-and-conquer strategy
Implementing the relational operators
Missing Information / 19：
An overview of the 3VL approach
Some consequences of the foregoing scheme
Nulls and keys
Outer join (a digression)
Special values
Type Inheritance / 20：
Type hierarchies
Polymorphism and substitutability
Variables and assignments
Specialization by constraint
Comparisons
Operators, versions, and signatures
Is a circle an ellipse?
Specialization by constraint revisited
Distributed Databases / 21：
Some preliminaries
The twelve objectives
Problems of distributed systems
Client/server systems
DBMS independence
Decision Support / 22：
Aspects of decision support
Database design for decision support
Data preparation
Data warehouses and data marts
Online analytical processing
Data mining
Temporal Databases / 23：
What is the problem?
Intervals
Packing and unpacking relations
Generalizing the relational operators
Database work design
Integrity constraints
Logic-Based Databases / 24：
Propositional calculus
Predicate calculus
A proof-theoretic view of databases
Deductive database systems
Recursive query processing
Objects, Relations, And Xml / VI：
Object Databases / 25：
Objects, classes, methods, and messages
A cradle-to-grave example
Miscellaneous issues
Object / Relational Databases / 26：
The First Great Blunder
The Second Great Blunder
Implementation issues
Benefits of true rapprochement
The World Wide Web and XML / 27：
The Web and the Internet
An overview of XML
XML data definition
XML data manipulation
XML and databases
Appendixes
The TransRelationalâäó Model / Appendix A：
Three levels of abstraction
The basic idea
Condensed columns
Merged columns
SQL Expressions, Table Expressions, and Boolean Expressions / Appendix B：
Abbreviations, Acronyms, and Symbol / Appendix C：
Online storage structures and access methods, database access: an overview, page sets and files, indexing, hashing, pointer chains, and compression techniques / Appendix D：
Index
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography)
Preliminaries / I：
An Overview of Database Management / 1：
15.
図書
Jeffrey D. Ullman
16.
図書
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1985 v.
子書誌情報:
loading…
所蔵情報:
loading…
17.
図書
W.H. Inmon, Thomas J. Bird, Jr
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1986 xvii, 395 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
18.
図書
Klaus R. Dittrich, Umeshwar Dayal, Alejandro P. Buchmann, (eds.)
19.
図書
Dan Kapp, Joseph F. Leben
出版情報:
New York : Van Nostrand Reinhold, c1978 xiv, 305 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
20.
図書
Nelson Mendonça Mattos
21.
図書
S. Krishna
目次情報:
続きを見る
Preliminaries and Overview / Chapter 1：
Introduction / 1.1：
The Database Environment / 1.2：
Architecture of Database Systems / 1.3：
Data Models / 1.4：
Entity Relationship Model / 1.4.1：
Database Languages / 1.4.2：
Structuring Database Systems / 1.5：
Functional Architecture / 1.5.1：
The Client-Server Architecture / 1.5.2：
Personal Computer Database Systems / 1.5.3：
Online Transaction Processing Systems / 1.5.4：
From Databases to Knowledge-Bases / 1.6：
Summary / 1.7：
Exercises
Bibliographic Notes and References
The Relational Model / Chapter 2：
The Relational Data Model / 2.1：
ER Model and Relational Model / 2.1.1：
Integrity Rules / 2.2：
Functional Dependency / 2.3：
Normal Forms for Relations / 2.4：
First Three Normal Forms / 2.4.1：
Boyce-Codd Normal Form / 2.4.2：
Relational Operations and Further Normalization / 2.5：
Relational Algebra Operators / 3.1：
Basic Operators / 3.1.1：
Derived Operators / 3.1.2：
Relational Calculus / 3.2：
Multivalued Dependencies / 3.3：
The Fourth Normal Form / 3.4：
Lossless Join Decomposition / 3.5：
Join Dependency / 3.6：
The Fifth Normal Form / 3.6.1：
Relational Database Languages and Systems / 3.7：
SQL / 4.1：
Operations on Single Tables / 4.1.1：
Queries Involving more than One Table / 4.1.2：
Nested Queries / 4.1.3：
Aggregate Functions / 4.1.4：
Other Operations / 4.1.5：
Shortcomings of SQL / 4.1.6：
QUEL / 4.2：
Aggregate Operations / 4.2.1：
Query-By-Example / 4.2.2：
Aggregate Operators / 4.3.1：
Recursive Queries / 4.3.2：
Criteria for Evaluating Relational Database Systems / 4.4：
Hierarchical and Network Models / 4.5：
The Hierarchical Data Model / 5.1：
Translating Entity-Relationship Representations / 5.1.1：
Logical Relationships / 5.1.2：
Database Definition / 5.1.3：
Hierarchical Data Manipulation / 5.2：
The Network Model / 5.3：
From Hierarchy to Network / 5.3.1：
Background / 5.3.2：
Network Model Data Structures / 5.3.3：
The DBTG Set / 5.3.4：
Data Definition Language / 5.3.5：
Network Data Manipulation / 5.4：
Conclusion / 5.5：
Physical Data Organization / 5.6：
Basic Concepts / 6.1：
Addressing / 6.1.1：
Performance Measures / 6.1.2：
Heap Storage / 6.2：
Indexed Sequential Organization / 6.3：
Multi-level Indexes / 6.3.1：
Tree Structures / 6.3.2：
The B-Tree Organization / 6.4：
B+trees / 6.4.1：
Hashed Files / 6.5：
Basic Hashing Scheme / 6.5.1：
Problems with the Basic Scheme / 6.5.2：
Extendible Hashing / 6.6：
Linear Hashing / 6.7：
Multi-key Organizations / 6.8：
Grid Files / 6.9：
Partitioned Hash Functions / 6.10：
Elements of Database Design / 6.11：
Requirement Analysis / 7.1：
Conceptual Modeling / 7.2：
The Extended Entity-Relationship Model / 7.2.1：
Conceptual Representation with the EER Model / 7.2.2：
Data Modeling / 7.3：
Transaction Analysis / 7.4：
Database Performance / 7.5：
Tools for Physical Database Design / 7.5.1：
Protection and Preservation of Databases / 7.6：
Transactions / 8.1：
Integrity Control / 8.2：
Integrity Constraints / 8.2.1：
Integrity Constraints in SQL / 8.2.2：
Integrity Features in INGRES / 8.2.3：
Security / 8.3：
Views / 8.3.1：
View Definition and Authorization in SQL / 8.3.2：
Security Features in INGRES / 8.3.3：
Database Recovery / 8.4：
Log-based Recovery Schemes / 8.4.1：
Shadow Paging / 8.4.2：
Concurrency Control / 8.5：
Transactions and Serializability / 9.1：
Concurrency Control through Locking / 9.2：
Deadlocks / 9.2.1：
Avoiding Deadlocks / 9.2.2：
Deadlock Detection and Resolution / 9.2.3：
Locking Modes / 9.2.4：
Timestamping / 9.3：
Distributed Database Systems / 9.4：
Features of Distributed Database Systems / 10.1：
Structuring Distributed Databases / 10.2：
Query Optimization / 10.3：
Semijoin Programs / 10.3.1：
Concurrency Control based on Locking / 10.4：
Handling Deadlocks / 10.4.2：
Recovery / 10.4.3：
Two-phase Commit Protocol / 10.5.1：
Implementations / 10.6：
Deductive Databases / 10.7：
Structure / 11.1：
Architecture / 11.1.2：
Basic Elements / 11.2：
Database Systems and Prolog / 11.3：
Inference and Query Processing in Prolog / 11.3.1：
Prolog for Database Queries / 11.3.2：
Limitations of Prolog for Database Usage / 11.3.3：
Datalog / 11.4：
Query Processing Strategies / 11.5：
Recursive Query Processing / 11.5.1：
Naive Evaluation / 11.5.2：
Semi-Naive Evaluation / 11.5.3：
Magic Sets / 11.5.4：
Object-Oriented Database Systems / 11.6：
Object-Oriented Programming Languages / 12.1：
Features of Object-Oriented Database Systems / 12.3：
Querying Object-Oriented Databases / 12.4：
Preliminaries and Overview / Chapter 1：
Introduction / 1.1：
The Database Environment / 1.2：
22.
図書
Bernhard Thalheim
23.
図書
T. William Olle
出版情報:
Chichester [Eng.] ; New York : Wiley, c1978 xx, 287 p. ; 24 cm
シリーズ名:
Wiley series in computing
子書誌情報:
loading…
所蔵情報:
loading…
24.
図書
Helmut Schmidt
25.
図書
by Marie-Anne Kamal Neimat
26.
図書
edited by Robert A. Meersman, Zhongzhi Shi, Chen-Ho Kung
出版情報:
Amsterdam ; Tokyo : North-Holland , New York : Distributors for the U.S. and Canada, Elsevier, 1990 xiii, 583 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
27.
図書
James Martin
28.
図書
edited by Amar Gupta
29.
図書
S.M. Deen
出版情報:
Houndmills, Basingstoke, Hampshire : Macmillan Publishers , Great Neck, N.Y. : Distributed exclusively by Scholium Internationl, 1985 xiii, 393 p. ; 24 cm
シリーズ名:
Macmillan computer science series
子書誌情報:
loading…
所蔵情報:
loading…
30.
図書
edited by Won Kim and Frederick H. Lochovsky
出版情報:
New York, NY : ACM Press , Reading, Mass. ; Tokyo : Addison-Wesley, c1989 xv, 602 p. ; 25 cm
シリーズ名:
ACM Press frontier series
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
A growing interest in the object-oriented
programming paradigm prompted
the editors to compile a wide-ranging
introduction to the subject
beginning with basic concepts and then covering a variety of applications in databases and other areas
Most of the contributions, by leading figures in the field
were written specifically for this volume
Topics include object-oriented programming languages
application systems
operational object-oriented database systems
architectural issues, and directions in future research and development
ACM Press Frontier Series
A growing interest in the object-oriented
programming paradigm prompted
the editors to compile a wide-ranging
31.
図書
Jeffrey D. Ullman
32.
図書
[edited by] James A. Larson
出版情報:
[Washington, D.C.] : IEEE Computer Society Press , [Los Angeles, CA] : Order from IEEE Computer Society, c1987 vi, 440 p. ; 28 cm
子書誌情報:
loading…
所蔵情報:
loading…
33.
図書
by Naphtali Rishe
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1988 x, 421 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
34.
図書
C. J. Date
目次情報:
続きを見る
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography)
Preliminaries / I：
An Overview of Database Management / 1：
What is a database system?
What is a database?
Why database?
Data independence
Relational systems and others
Database System Architecture / 2：
The three levels of the architecture
The external level
The conceptual level
The internal level
Mappings
The database administrator
The database management system
Data communications
Client/server architecture
Utilities
Distributed processing
An Introduction to Relational Databases / 3：
An informal look at the relational model
Relations and relvars
What relations mean
Optimization
The catalog
Base relvars and views
Transactions
The suppliers-and-parts database
An Introduction to SQL / 4：
Overview
Views
Embedded SQL
Dynamic SQL and SQL/CLI
SQL is not perfect
The Relational Model / II：
Types / 5：
Values v Variables
Types v Representations
Type Definition
Operators
Type generators
SQL facilities
Relations / 6：
Tuples
Relation types
Relation values
Relation variables
Relational Algebra / 7：
Closure revisited
The original algebra: Syntax
The original algebra: Semantics
Examples
What is the algebra for?
Further points
Additional operators
Grouping and ungrouping
Relational Calculus / 8：
Tuple calculus
Calculus vs. algebra
Computational capabilities
Domain calculus
Query-By-Example
Integrity / 9：
A closer look
Predicates and propositions
Relvar predicates and database predicates
Checking the constraints
Internal v external constraints
Correctness v consistency
Integrity and views
A constraint classification scheme
Keys
Triggers (a digression)
What are views for? / 10：
View retrievals
View updates
Snapshots (a digression)
Database Design / III：
Functional Dependencies / 11：
Basic definitions
Trivial and nontrivial dependencies
Closure of a set of dependencies
Closure of a set of attributes
Irreducible sets of dependencies
Further Normalization I: 1NF, 2NF, 3NF, BCNF / 12：
Nonloss decomposition and functional dependencies
First, second, and third normal forms
Dependency preservation
Boyce/Codd normal form
A note on relation-valued attributes
Further Normalization II: Higher Normal Forms / 13：
Multi-valued dependencies and fourth normal form
Join dependencies and fifth normal form
The normalization procedure summarized
A note on denormalization
Orthogonal design (a digression)
Other normal forms
Semantic Modeling / 14：
The overall approach
The E/R model
E/R diagrams
Database design with the E/R model
A brief analysis
Transaction Management / IV：
Recovery / 15：
Transaction recovery
System recovery
Media recovery
Two-phase commit
Savepoints (a digression)
Concurrency / 16：
Three concurrency problems
Locking
The three concurrency problems revisited
Deadlock
Serializability
Recovery revisited
Isolation levels
Intent locking
ACID dropping
Further Topics / V：
Security / 17：
Discretionary access control
Mandatory access control
Statistical databases
Data encryption
A motivating example / 18：
An overview of query processing
Expression transformation
Database statistics
A divide-and-conquer strategy
Implementing the relational operators
Missing Information / 19：
An overview of the 3VL approach
Some consequences of the foregoing scheme
Nulls and keys
Outer join (a digression)
Special values
Type Inheritance / 20：
Type hierarchies
Polymorphism and substitutability
Variables and assignments
Specialization by constraint
Comparisons
Operators, versions, and signatures
Is a circle an ellipse?
Specialization by constraint revisited
Distributed Databases / 21：
Some preliminaries
The twelve objectives
Problems of distributed systems
Client/server systems
DBMS independence
Decision Support / 22：
Aspects of decision support
Database design for decision support
Data preparation
Data warehouses and data marts
Online analytical processing
Data mining
Temporal Databases / 23：
What is the problem?
Intervals
Packing and unpacking relations
Generalizing the relational operators
Database work design
Integrity constraints
Logic-Based Databases / 24：
Propositional calculus
Predicate calculus
A proof-theoretic view of databases
Deductive database systems
Recursive query processing
Objects, Relations, And Xml / VI：
Object Databases / 25：
Objects, classes, methods, and messages
A cradle-to-grave example
Miscellaneous issues
Object / Relational Databases / 26：
The First Great Blunder
The Second Great Blunder
Implementation issues
Benefits of true rapprochement
The World Wide Web and XML / 27：
The Web and the Internet
An overview of XML
XML data definition
XML data manipulation
XML and databases
Appendixes
The TransRelationalâäó Model / Appendix A：
Three levels of abstraction
The basic idea
Condensed columns
Merged columns
SQL Expressions, Table Expressions, and Boolean Expressions / Appendix B：
Abbreviations, Acronyms, and Symbol / Appendix C：
Online storage structures and access methods, database access: an overview, page sets and files, indexing, hashing, pointer chains, and compression techniques / Appendix D：
Index
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography)
Preliminaries / I：
An Overview of Database Management / 1：
35.
図書
Oliver Günther
36.
図書
R.P. Whittington
目次情報:
続きを見る
Database system concepts / Part I：
Information systems and databases / 1：
Introduction / 1.1.：
The database approach to information systems / 1.2.：
The pre-database approach / 1.2.1.：
The database approach / 1.2.2.：
Definitions / 1.3.：
Summary of the database approach / 1.4.：
Exercises / 1.5.：
A history of database technology / 2：
The first two generations / 2.1.：
The third generation / 2.3.：
The fourth generation / 2.4.：
The emergence of relational systems / 2.4.1.：
CODASYL's response / 2.4.2.：
The relational versus navigational debate / 2.4.3.：
Research directions / 2.4.4.：
Summary of historical trends / 2.5.：
Database management systems / 3：
The current database management system concept / 3.1.：
Classes of database management system user / 3.2.1.：
Summary of database management system facilities / 3.2.2.：
Database management system components and interfaces / 3.3.：
Levels of abstraction in database management systems / 3.4.：
Database management system data models / 3.5.：
Programming language interfaces / 3.6.：
Summary of interface types / 3.6.1.：
The need for programming language interfaces / 3.6.2.：
Mechanisms used / 3.6.3.：
Database system configurations / 3.7.：
Summary and exercises / 3.8.：
The relational model of databases / 4：
Structuring concept / 4.1.：
Relations in mathematics and in databases / 4.2.1.：
Attributes and domains / 4.2.2.：
Relational databases / 4.2.3.：
Relation keys / 4.2.4.：
Manipulation concept / 4.3.：
Traditional set operators / 4.3.1.：
New relational database operators / 4.3.2.：
Summary and application of the algebraic operators / 4.3.3.：
Relational calculus languages / 4.3.4.：
Relational update and intension operators / 4.3.5.：
Integrity concept / 4.4.：
Entity integrity / 4.4.1.：
Referential integrity / 4.4.2.：
Discussion / 4.5.：
SQL: a relational database language / 4.6.：
Background / 5.1.：
The basic mapping-block concept / 5.2.：
Built-in functions / 5.3.：
Completeness of the concept / 5.4.：
View definition / 5.5.：
Facilities for database update / 5.6.：
Adding records to a table / 5.6.1.：
Removing records from a table / 5.6.2.：
Modifying field values / 5.6.3.：
Update operators on views / 5.6.4.：
Database intension update: table definition / 5.6.5.：
Embedded SQL / 5.7.：
The navigational model of databases / 5.8.：
The general model in abstract / 6.1.：
Structuring notion / 6.2.1.：
Structural restrictions / 6.2.2.：
Manipulation notion / 6.2.3.：
Manipulative restrictions / 6.2.4.：
Integrity notion / 6.2.5.：
The proposals of the CODASYL DBTG / 6.3.：
DBMS implementation / 6.4.：
Database machines / 7.1.：
The database machine concept / 7.2.1.：
Search engines / 7.2.2.：
Database computers / 7.2.3.：
Database servers / 7.2.4.：
Transaction management / 7.2.5.：
The transaction concept / 7.3.1.：
Implementing transaction independence / 7.3.2.：
Implementing transaction atomicity and permanence / 7.3.3.：
Managing transactions in distributed database systems / 7.3.4.：
Internal database organization / 7.4.：
Background and terminology / 7.4.1.：
File organizations and access methods / 7.4.2.：
Primary organization types / 7.4.3.：
Secondary organizations / 7.4.4.：
Performance parameters / 7.4.5.：
Database system development / 7.4.6.：
Models of development / 8：
Models of database system development / 8.3.：
The multi-stage model / 8.3.1.：
The single-stage model / 8.3.2.：
A development model for database systems / 8.4.：
Supporting database system development / 8.5.：
Exercise / 8.6.：
Conceptual analysis / 9：
Objectives / 9.1.：
ERA analysis / 9.2.：
Entity types and subtypes / 9.2.1.：
Relationship types and roles / 9.2.2.：
Attributes of entity types / 9.2.3.：
Identification and identification dependence / 9.2.4.：
A pragmatic analysis method / 9.3.：
Verification of conceptual specifications / 9.4.：
Validation of conceptual specifications / 9.5.：
Example 1: a simple cinema guide / 9.6.：
Example 2: air-travel enquiry / 9.7.：
Dictionary structures / 9.8.：
Annexe: Dictionary entires for the air-travel example / 9.9.：
Logical design / 10：
Deriving a collection of database relations / 10.1.：
Verification of logical specifications / 10.3.：
Validation of logical specifications / 10.4.：
Normalization of relations / 10.4.1.：
Functional dependencies / 10.4.2：
Multi-valued dependence / 10.4.3：
Normal form definitions and examples / 10.4.4.：
Prototyping / 10.4.5.：
Example: air-travel enquiry / 10.5.：
Design of a collection of relations / 10.5.1.：
Verification / 10.5.2.：
Validation / 10.5.3.：
Structural design / 10.6.：
The choice of record type structures / 11.1.：
Record structures and restructuring operations / 11.2.1.：
Techniques for choosing restructuring operations / 11.2.2.：
The choice of inter-record type links / 11.3.：
Verification of structural specifications / 11.4.：
Validation of structural specifications / 11.5.：
Estimation of storage requirements / 11.5.1.：
Estimation of processing performance / 11.5.2.：
Initial record type structures / 11.6.：
Initial link types / 11.6.2.：
Verification of the design / 11.6.3.：
Validation of the design / 11.6.4.：
Revised record type structures / 11.6.5.：
Revised link types / 11.6.6.：
Verification of the revision / 11.6.7.：
Validation of the revision / 11.6.8.：
Annexe: Dictionary entries for the air-travel example / 11.7.：
Physical design / 12：
Selecting a database system configuration / 12.1.：
Database distribution / 12.2.1.：
Fragmentation methods / 12.2.2.：
Verification of a fragmentation scheme / 12.2.3.：
Validation of a fragmentation scheme / 12.2.4.：
Federations versus systems / 12.2.5.：
Selecting internal organizations / 12.3.：
Selecting internal representations / 12.3.1.：
Selecting access mechanisms / 12.3.2.：
Verification of an internal organization / 12.3.3.：
Validation of an internal organization / 12.3.4.：
System configuration / 12.4.：
Internal organization / 12.4.2.：
Implementation / 12.5.：
DBMS parameters / 13.1.：
Database creation / 13.3.：
Structure creation / 13.3.1.：
Ontake of existing data / 13.3.2.：
Privacy definition / 13.3.3.：
Summary and predictions / 13.4.：
Current database technology / 14.1.：
Current research and development / 14.2.：
Predictions / 14.3.：
Answers to selected exercises
References
Index
Database system concepts / Part I：
Information systems and databases / 1：
Introduction / 1.1.：
37.
図書
Charles J. Wertz
出版情報:
Wellesley, Mass. : QED Information Sciences, c1986 xiii,284p ; 23cm
子書誌情報:
loading…
所蔵情報:
loading…
38.
図書
Belkis W. Leong-Hong, Bernard K. Plagman
出版情報:
New York : Wiley, c1982 xviii, 328 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
39.
図書
Robert Lucas
40.
図書
editors, Peter M.D. Gray and Robert J. Lucas
41.
図書
S. Abiteboul, P.C. Fischer, H.-J. Schek (eds.)
42.
図書
Eduardo B. Fernandez, Rita C. Summers, Christopher Wood
43.
図書
Ivan Flores
出版情報:
New York, N.Y. : Van Nostrand Reinhold, c1981 xiv, 396 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
44.
図書
A.R. Hurson, L.L. Miller, and S.H. Pakzad
出版情報:
Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1989 viii, 473 p. ; 29 cm
子書誌情報:
loading…
所蔵情報:
loading…
45.
図書
C.J. Date
目次情報:
続きを見る
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography)
Preliminaries / I：
An Overview of Database Management / 1：
What is a database system?
What is a database?
Why database?
Data independence
Relational systems and others
Database System Architecture / 2：
The three levels of the architecture
The external level
The conceptual level
The internal level
Mappings
The database administrator
The database management system
Data communications
Client/server architecture
Utilities
Distributed processing
An Introduction to Relational Databases / 3：
An informal look at the relational model
Relations and relvars
What relations mean
Optimization
The catalog
Base relvars and views
Transactions
The suppliers-and-parts database
An Introduction to SQL / 4：
Overview
Views
Embedded SQL
Dynamic SQL and SQL/CLI
SQL is not perfect
The Relational Model / II：
Types / 5：
Values v Variables
Types v Representations
Type Definition
Operators
Type generators
SQL facilities
Relations / 6：
Tuples
Relation types
Relation values
Relation variables
Relational Algebra / 7：
Closure revisited
The original algebra: Syntax
The original algebra: Semantics
Examples
What is the algebra for?
Further points
Additional operators
Grouping and ungrouping
Relational Calculus / 8：
Tuple calculus
Calculus vs. algebra
Computational capabilities
Domain calculus
Query-By-Example
Integrity / 9：
A closer look
Predicates and propositions
Relvar predicates and database predicates
Checking the constraints
Internal v external constraints
Correctness v consistency
Integrity and views
A constraint classification scheme
Keys
Triggers (a digression)
What are views for? / 10：
View retrievals
View updates
Snapshots (a digression)
Database Design / III：
Functional Dependencies / 11：
Basic definitions
Trivial and nontrivial dependencies
Closure of a set of dependencies
Closure of a set of attributes
Irreducible sets of dependencies
Further Normalization I: 1NF, 2NF, 3NF, BCNF / 12：
Nonloss decomposition and functional dependencies
First, second, and third normal forms
Dependency preservation
Boyce/Codd normal form
A note on relation-valued attributes
Further Normalization II: Higher Normal Forms / 13：
Multi-valued dependencies and fourth normal form
Join dependencies and fifth normal form
The normalization procedure summarized
A note on denormalization
Orthogonal design (a digression)
Other normal forms
Semantic Modeling / 14：
The overall approach
The E/R model
E/R diagrams
Database design with the E/R model
A brief analysis
Transaction Management / IV：
Recovery / 15：
Transaction recovery
System recovery
Media recovery
Two-phase commit
Savepoints (a digression)
Concurrency / 16：
Three concurrency problems
Locking
The three concurrency problems revisited
Deadlock
Serializability
Recovery revisited
Isolation levels
Intent locking
ACID dropping
Further Topics / V：
Security / 17：
Discretionary access control
Mandatory access control
Statistical databases
Data encryption
A motivating example / 18：
An overview of query processing
Expression transformation
Database statistics
A divide-and-conquer strategy
Implementing the relational operators
Missing Information / 19：
An overview of the 3VL approach
Some consequences of the foregoing scheme
Nulls and keys
Outer join (a digression)
Special values
Type Inheritance / 20：
Type hierarchies
Polymorphism and substitutability
Variables and assignments
Specialization by constraint
Comparisons
Operators, versions, and signatures
Is a circle an ellipse?
Specialization by constraint revisited
Distributed Databases / 21：
Some preliminaries
The twelve objectives
Problems of distributed systems
Client/server systems
DBMS independence
Decision Support / 22：
Aspects of decision support
Database design for decision support
Data preparation
Data warehouses and data marts
Online analytical processing
Data mining
Temporal Databases / 23：
What is the problem?
Intervals
Packing and unpacking relations
Generalizing the relational operators
Database work design
Integrity constraints
Logic-Based Databases / 24：
Propositional calculus
Predicate calculus
A proof-theoretic view of databases
Deductive database systems
Recursive query processing
Objects, Relations, And Xml / VI：
Object Databases / 25：
Objects, classes, methods, and messages
A cradle-to-grave example
Miscellaneous issues
Object / Relational Databases / 26：
The First Great Blunder
The Second Great Blunder
Implementation issues
Benefits of true rapprochement
The World Wide Web and XML / 27：
The Web and the Internet
An overview of XML
XML data definition
XML data manipulation
XML and databases
Appendixes
The TransRelationalâäó Model / Appendix A：
Three levels of abstraction
The basic idea
Condensed columns
Merged columns
SQL Expressions, Table Expressions, and Boolean Expressions / Appendix B：
Abbreviations, Acronyms, and Symbol / Appendix C：
Online storage structures and access methods, database access: an overview, page sets and files, indexing, hashing, pointer chains, and compression techniques / Appendix D：
Index
(All chapters begin with an Introduction end with a Summary, Exercises, and Reference and Bibliography)
Preliminaries / I：
An Overview of Database Management / 1：
46.
図書
James Martin
47.
図書
Dionysios C. Tsichritzis, Frederick H. Lochovsky
48.
図書
edited by Michael L. Brodie, John Mylopoulos
49.
図書
Stefano Ceri, Giuseppe Pelagatti
50.
図書
William Kent
出版情報:
Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada Elsevier/North-Holland, c1978 xv, 211 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
51.
図書
by Patrick M.K. Wong
52.
図書
by Ning-San Chang
53.
図書
Paul E. Renaud
54.
図書
Ulka Rodgers
55.
図書
Joseph Frizado
56.
図書
Joe Salemi
出版情報:
Emeryville, Calif. : Ziff-Davis Press, c1993 xviii, 264 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
57.
図書
Stefan K. Stanczyk
出版情報:
London : Taylor & Francis, 2001 x, 253 p ; 25cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Data Modeling / 2：
The Relational Model / 3：
Relational Algebra / 4：
Leap- The Algebraic Database / 5：
Basic Normalization / 6：
Further Normalization / 7：
Structured Query Language / 8：
Object Orientation in Databases / 9：
Extensions to SQL / 10：
Case Study / 11：
Introduction / 1：
Data Modeling / 2：
The Relational Model / 3：
58.
図書
edited by R. A. Frost
出版情報:
London : Granada, c1984 xvii, 265 p. ; 24cm
子書誌情報:
loading…
所蔵情報:
loading…
59.
図書
Antonio L. Furtado, Erich J. Neuhold
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1986 114 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
60.
図書
Peter M.D. Gray
61.
図書
Christos Papadimitriou
62.
図書
Sakti P. Ghosh
63.
図書
William H. Inmon
64.
図書
David K. Hsiao
図書
