close
1.

図書

図書
Douglas Comer
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1987  xxi, 567 p. ; 24 cm
シリーズ名: Operating system design / Douglas Comer ; v. 2
所蔵情報: loading…
2.

図書

図書
edited by Alison L. Kidd
出版情報: New York : Plenum Press, c1987  xiii, 194 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
by Rajnikant V. Patel and Neil Munro
出版情報: Oxford ; New York : Pergamon Press, 1982  xii, 374 p. ; 23 cm
シリーズ名: International series on systems and control ; v. 4
所蔵情報: loading…
4.

図書

図書
edited by Tosiyasu L. Kunii
出版情報: Tokyo ; New York : Springer-Verlag, c1986  viii, 382 p. ; 25 cm
所蔵情報: loading…
5.

図書

図書
Ben Shneiderman
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1987  xv, 448 p., [4] p. of plates ; 25 cm
所蔵情報: loading…
6.

図書

図書
Comer, Douglas E.
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xxii, 486 p. ; 25 cm
シリーズ名: Prentice-Hall software series ; . Operating system design / Douglas Comer ; [v. 1]
所蔵情報: loading…
7.

図書

図書
Terry Winograd, Fernando Flores
出版情報: Norwood, N.J. : Ablex Pub. Corp., c1986  xiv, 207 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Theoretical Background / Part I:
Introduction / 1:
The question of design / 1.1:
The role of tradition / 1.2:
Our path / 1.3:
The rationalistic tradition / 2:
The rationalistic orientation / 2.1:
Language, truth, and the world / 2.2:
Decision making and problem solving / 2.3:
Cognitive science / 2.4:
Understanding and Being / 3:
Hermeneutics / 3.1:
Understanding and ontology / 3.2:
An illustration of thrownness / 3.3:
Breaking down and readiness-to-hand / 3.4:
Cognition as a biological phenomenon / 4:
The closure of the nervous system / 4.1:
Autopoiesis, evolution, and learning / 4.2:
The cognitive domain / 4.3:
Consensual domains / 4.4:
The observer and description / 4.5:
Domains of explanation / 4.6:
Language, listening, and commitment / 5:
Listening in a background / 5.1:
Meaning, commitment, and speech acts / 5.2:
Objectivity and tradition / 5.3:
Recurrence and formalization / 5.4:
Breakdown, language, and existence / 5.5:
Towards a new orientation / 6:
Cognition and being in the world / 6.1:
Knowledge and representation / 6.2:
Pre-understanding and background / 6.3:
Language and action / 6.4:
Breakdown and the ontology of design / 6.5:
Computation, Thought, and Language / Part II:
Computers and representation / 7:
Programming as representation / 7.1:
Levels of representation / 7.2:
Can computers do more than you tell them to do? / 7.3:
Computation and intelligence / 8:
Why do we ask? / 8.1:
Intelligence as rational problem solving / 8.2:
The phenomenon of blindness / 8.3:
What about learning and evolution? / 8.4:
Can pigs have wings? / 8.5:
Understanding language / 9:
Artificial intelligence and language understanding / 9.1:
The problem of background / 9.2:
Understanding as pattern recognition / 9.3:
What does it mean to understand? / 9.4:
Current directions in artificial intelligence / 10:
The forking of the paths / 10.1:
Expert systems / 10.2:
The fifth generation computer system / 10.3:
Design / Part III:
Management and conversation / 11:
Management and decision making / 11.1:
Decision making and resolution / 11.2:
Organizations as networks of commitments / 11.3:
Decision support systems / 11.4:
Tools for conversation / 11.5:
Using computers: A direction for design / 12:
A background for computer design / 12.1:
A design example / 12.2:
Systematic domains / 12.3:
Technology and transformation / 12.4:
Bibliography
Name Index
Subject Index
Preface
Acknowledgments
Theoretical Background / Part I:
8.

図書

図書
Malcolm Bull
出版情報: London ; New York : Chapman and Hall, 1989  xi, 305 p. ; 24 cm.
所蔵情報: loading…
9.

図書

図書
R.P. Whittington
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1988  xiv, 430 p. ; 22 cm
シリーズ名: Oxford applied mathematics and computing science series
所蔵情報: loading…
目次情報: 続きを見る
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.:
10.

図書

図書
Robert W. Bailey
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1989  xi, 563 p. ; 25 cm.
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼