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

extrovert

Towards a Structured Specification Language for Database Applications,nd transaction semantics can be captured in terms of integrity constraints as well as pre- and postconditions. Furthermore, the use of current transaction models as units of database state transitions favours the use of Dijkstra’s substitutions..Traditional DBMS solutions guarantee database integrit

headway

典型

dithiolethione

Specifying Deductive Databases and Integrity Constraints in Meta-logic,sidered on the domain of meta-logic terms and a proof procedure based on this unification is presented to answer database queries and to verify integrity constraints. Although, the main focus is to handle deductive databases problems, the results of this paper deal indirectly with a metalevel extension of first-order logic programming.

表被动

健谈的人

勉励

VVSL Specification of a Transaction-oriented Access Handler,by the special features of VVSL. This issue is further discussed. The access handler interface concerned is a hypothetical interface which is meant to provide for a way of looking at transaction management.

悦耳

A Specification of an Object-Oriented Data Model with Relations, formal specification in the Z language. This intermediate level of specification serves both as an important stage in the design process and also as a useful part of the documentation of the model. The data model, BROOM, combines features of the object-oriented, entity-relationship, semantic and relational data models.

hemoglobin

Specification of Database Applications in the TROLL Language,at models objects as processes that can be observed through attributes. Based on this model, the language T. is introduced. It is a logical language for the abstract object-oriented description of information systems. Finally, we propose mechanisms for defining external views and for queries that fit in the framework.

Awning