Headstrong 发表于 2025-3-28 16:57:07

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 发表于 2025-3-28 21:00:17

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

残废的火焰 发表于 2025-3-28 23:42:04

http://reply.papertrans.cn/88/8738/873782/873782_43.png

upstart 发表于 2025-3-29 05:41:24

http://reply.papertrans.cn/88/8738/873782/873782_44.png

mettlesome 发表于 2025-3-29 09:21:12

http://reply.papertrans.cn/88/8738/873782/873782_45.png

overture 发表于 2025-3-29 12:27:25

http://reply.papertrans.cn/88/8738/873782/873782_46.png

aviator 发表于 2025-3-29 17:23:03

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.

走调 发表于 2025-3-29 21:20:35

http://reply.papertrans.cn/88/8738/873782/873782_48.png

突变 发表于 2025-3-30 01:55:18

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 发表于 2025-3-30 07:19:16

http://reply.papertrans.cn/88/8738/873782/873782_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Specifications of Database Systems; International Worksh David J. Harper,Moira C. Norrie Conference proceedings 1992 Springer-Verlag London