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

Headstrong

Database Specification using Transaction Sets,how both static and dynamic constraints within this class. The paper concludes by showing that tuple-based transactions are a strict extension of transactions defined in previous work and points to future areas for study.

EVADE

Transforming Functional Database Schemes to Relational Representations,ions (tables). The generated schemes are always in Fifth Normal Form (and hence also in Boyce-Codd Normal Form). Furthermore there is no need for artificially introduced primary keys to simulate the concept of “object-identity”.

残废的火焰

upstart

mettlesome

overture

aviator

The Reification Dimension in Object-oriented Data Base Design,asses of the abstract and the ground. bases as well as a reification object class for each object class to be reified. The attributes of the abstract object classes under reification are defined as derived attributes and events are introduced as transactions. A brief outline of the semantics is also discussed.

走调

突变

A. T. M. Aerts,P. M. E. De Bra,K. M. van HeeVariablen) eines Deskriptormodells mit Hilfe eines sogenannten „Deskriptor-Beobachters“ rekonstruiert bzw. geschätzt werden können. Ausgangspunkt für den Entwurf ist eine Beobachterstruktur auf der Basis eines Luenberger-Beobachters für ein exakt linearisiertes Prozessmodell, das über den Entwurf ei

craving