Specifications of database systems : (Record no. 4816)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02086nam a2200217Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250520094852.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250520s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 354019732X |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA 76.9.D3 .S64 1992 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Harper, David J. |
| Relator term | author |
| 245 #0 - TITLE STATEMENT | |
| Title | Specifications of database systems : |
| Remainder of title | International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 / |
| Statement of responsibility, etc. | David J. Harper. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | London, United Kingdom : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | c1992 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 volume (viii - 319 pages) : |
| Other physical details | illustrations ; |
| Dimensions | 25 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Transforming Functional Database Schemes to Relational Representations.- Formal Development of Relational Database Applications.- Formal Definition of Nested Relations by Syntactical Mappings.- Specifying Deductive Databases and Integrity Constraints in Meta-logic.- A Denotational Approach to Object-Oriented Query Language Definition.- Reasoning about a Modular Model-Oriented Formal Specification.- Object Models and Methodology for Object-Oriented Database Design.- A Formal Model for Databases with Applications to Schema Merging.- Specifying a Database System to Itself.- VVSL Specification of a Transaction-oriented Access Handler.- A Specification of an Object-Oriented Data Model with Relations.- Specification of Database Applications in the TROLL Language.- Algebraic Specification of Databases - A Survey from a Database Perspective.- Towards a Structured Specification Language for Database Applications.- The Reification Dimension in Object-oriented Data Base Design.- Database Specification using Transaction Sets.- Working Group Sessions.- Author Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The working groups, which are summarised at the end of the volume, covered a variety of issues including the role of graphical notations in database specification, the use of specification techniques in enabling "open" or extensible database systems and the education of the database community in specification techniques. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | DATABASES DESIGN |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Computer Science | LRC - Main | National University - Manila | General Circulation | 11/21/2011 | Reaccessioned | GC QA 76.9.D3 .S64 1992 | NULIB000002575 | 05/20/2025 | c.1 | 05/20/2025 | Books |