Titlebook: Specifications of Database Systems; International Worksh David J. Harper,Moira C. Norrie Conference proceedings 1992 Springer-Verlag London

小说

BRAWL

Noctambulant

Reasoning about a Modular Model-Oriented Formal Specification, modular structuring facilities in model-oriented specifications is discussed. It is argued that structuring mechanisms in specification languages should pay due regard to the theories associated with the units of structure in a modular specification. Taking part of a model-oriented (VDM) specificat

Obverse

Object Models and Methodology for Object-Oriented Database Design,l terms with the description of the semantic and computer requirements of a problem. In this paper, we present a methodology for object-oriented database design that aims at reaching these objectives through stages of different abstraction levels (conceptual, logical, and implementation stages), the

量被毁坏

A Formal Model for Databases with Applications to Schema Merging,x, higher order data structures and incorporates representations for specialisation relations and object identity. It is general enough to encode data structures arising from many other semantic data models in a natural way, though we do not attempt to model some of the more sophisticated constraint

Synapse

Specifying a Database System to Itself,object bases, but object models and storage managers are evolving so rapidly that matching a monolithic query processor to each of them is infeasible. The EREQ project seeks to structure object query processors into well-defined software components that can be independently modified, extended and ex

流浪者

VVSL Specification of a Transaction-oriented Access Handler,terfere through a partially shared state. This paper gives an short overview of these features. Thereafter, the VVSL specification of an access handler interface given in [1] is outlined. The purpose is to clarify the extent to which the description of interfaces to software systems can be improved

合群

Felicitous

Specification of Database Applications in the TROLL Language,ecification are almost not present. Traditionally, the description of a database application consists of two parts, the database schema and a more or less formal description of the application functions. We present an object-oriented approach to integrate both aspects. A formal model is described th

巨头