Specifications of Database Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991, Workshops in Computing

ISBN: 354019732X
ISBN 13: 9783540197324
Herausgeber: David J Harper/Moira C Norrie
Verlag: Springer Verlag GmbH
Umfang: viii, 323 S., 6 s/w Illustr., 323 p. 6 illus.
Erscheinungsdatum: 20.01.1992
Auflage: 1/1992
Produktform: Kartoniert
Einband: KT
Artikelnummer: 6592351 Kategorie:

Beschreibung

InhaltsangabeTransforming 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.

Autorenporträt

InhaltsangabeTransforming 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.

Das könnte Ihnen auch gefallen …