عنوان

Specifications of database systems :

شابک

354019732X

شابک

9783540197324

شماره

b565360

عنوان اصلي

Specifications of database systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

international workshop on ..., Glasgow, 3-5 July, 1991

نام نخستين پديدآور

David J. Harper.

محل نشرو پخش و غیره

Berlin, New York, Paris

نام ناشر، پخش کننده و غيره

Springer, cop.

تاریخ نشرو بخش و غیره

1992

نام خاص و کميت اثر

1 vol. (VIII-319 p.).

عنوان فروست

Workshops in computing.

متن يادداشت

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.

موضوع مستند نشده

Bases de données -- Conception -- Actes de congrès.

موضوع مستند نشده

Bases de données orientées objet -- Actes de congrès.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

David J. Harper.

مستند نام اشخاص تاييد نشده

British Computer Society (Collab.)

مستند نام اشخاص تاييد نشده

David J Harper

مستند نام اشخاص تاييد نشده

Moira C Norrie

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y