000			02086nam a2200217Ia 4500
003			NULRC
005			20250520094852.0
008			250520s9999 xx 000 0 und d
020			_a354019732X
040			_cNULRC
050			_aQA 76.9.D3 .S64 1992
100			_aHarper, David J. _eauthor
245		0	_aSpecifications of database systems : _bInternational Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 / _cDavid J. Harper.
260			_aLondon, United Kingdom : _bSpringer, _cc1992
300			_a1 volume (viii - 319 pages) : _billustrations ; _c25 cm.
504			_aIncludes index.
505			_aTransforming 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			_a 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			_aDATABASES DESIGN
942			_2lcc _cBK
999			_c4816 _d4816