Specifications of database systems : International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 / David J. Harper.
Material type:
TextPublication details: London, United Kingdom : Springer, c1992Description: 1 volume (viii - 319 pages) : illustrations ; 25 cmISBN: - 354019732X
- QA 76.9.D3 .S64 1992
Books
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
National University - Manila | LRC - Main General Circulation | Computer Science | GC QA 76.9.D3 .S64 1992 (Browse shelf(Opens below)) | c.1 | Available | NULIB000002575 |
Browsing LRC - Main shelves, Shelving location: General Circulation, Collection: Computer Science Close shelf browser (Hides shelf browser)
| No cover image available |
|
No cover image available |
|
No cover image available |
|
|
||
| GC QA 76.9.D3 .S54 1990 c.2 Database management : theory and application / | GC QA 76.9.D3 .S54 1994 Practical approach: version 3.0 / | GC QA 76.9.D3 .S56 1992 Understanding dBASE IV 1.5 for DOS / | GC QA 76.9.D3 .S64 1992 Specifications of database systems : International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 / | GC QA 76.9.D3 .T39 1991 dBase III Plus made simple with dBase IV and Foxbase+ / | GC QA 76.9.D3 .W38 1996 c.1 Data management: an organizational perspective / | GC QA 76.9.D5 .V37 2013 Programming distributed computing systems : a foundational approach / |
Includes index.
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.
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.
There are no comments on this title.