|
" Specifications of database systems : "
David J. Harper.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745411
|
| Doc. No
|
:
|
b565360
|
| Main Entry
|
:
|
David J. Harper.
|
| Title & Author
|
:
|
Specifications of database systems : : international workshop on ..., Glasgow, 3-5 July, 1991\ David J. Harper.
|
| Publication Statement
|
:
|
Berlin, New York, Paris : Springer, cop., 1992
|
| Series Statement
|
:
|
Workshops in computing.
|
| Page. NO
|
:
|
1 vol. (VIII-319 p.).
|
| ISBN
|
:
|
354019732X
|
|
|
:
|
: 9783540197324
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Bases de données -- Conception -- Actes de congrès.
|
| Subject
|
:
|
Bases de données orientées objet -- Actes de congrès.
|
| LC Classification
|
:
|
QA76.9.D3D385 1992
|
| Added Entry
|
:
|
British Computer Society (Collab.)
|
|
|
:
|
David J Harper
|
|
|
:
|
Moira C Norrie
|
| |