close
1.

図書
図書
1. Artificial intelligence and human learning : intelligent computer-aided instruction (pbk:)
edited by John Self
出版情報: London ; New York : Chapman and Hall, 1988  xix, 432 p. ; 24 cm
シリーズ名: Chapman and Hall computing
所蔵情報: loading…
2.

図書
図書
2. Cognitive science and its applications for human-computer interaction
edited by Raymonde Guindon
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1988  xiv, 345 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface
Constrained Design Processes: Steps Towards Convivial Computing / 1：
Introduction
Conclusions / 9：
References
Appendix: Code Generated by Trikit
The Consequences of Consistent and Inconsistent User Interfaces / 2：
Acknowledgements
Computer-Aided Reasoned Discourse Or, How to Argue with A Computer / 3：
Appendix: Arl
A Multidisciplinary Perspective on Dialogue Structure in User-Advisor Dialogues / 4：
Excerpt from A Typed Dialogue / Appendix I：
Part of A Task Structure with Inserted Subdialogues / Appendix Ii：
Semnet: Three-Dimensional Graphic Representations of Large Knowledge Bases / 5：
Conclusion / 7：
""""As We May Think""""?: Psychological Considerations in the Design of A Personal Filing System / 6：
The Application of User Knowledge to Interface Design
Index
Subject Index
Contributors
Preface
Constrained Design Processes: Steps Towards Convivial Computing / 1：
3.

図書
図書
3. Database systems engineering (pbk)
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.：
4.

図書
図書
4. An introduction to discrete mathematics and formal system specification
D.C. Ince
出版情報: Oxford [Oxfordshire] : Clarendon Press, 1988  xii, 349 p. ; 22 cm
シリーズ名: Oxford applied mathematics and computing science series
所蔵情報: loading…
5.

図書
図書
5. Information systems methodologies : a framework for understanding
T. William Olle ... [et al.]
出版情報: Wokingham, England ; Tokyo : Addison-Wesley Pub. Co., c1988  ix, 346 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼