duration of

Duration中译为久期，或持续期，是一个反应利率敏感性固定收益证券关于利率这一风险因子的一阶变动速率。从这个意义上讲，它一定与利率敏感性固定收益证券价格函数的一阶导数相联系。

Handbook中提到了三种Duration，包括：Dollar duration、Adjusted duration以及Macaulay duration，我们可以将这三种久期以一阶导数的形式表示出来（以零息债券为例）： 1. Adjusted duration（D*）

'D*??f(y)/p?T/(1?y)

2. Dollar duration（DD）

DD?D*?P??f(y)?T?P/(1?y)

3. Macaulay duration（D）

'D?D*?(1?y)?T

在学习的过程中务必注意区分三种久期与一阶导数的关系，以及它们之间的关系。

Convexity中译为凸性，实际上就是利率敏感性固定收益证券价格函数关于利率的二阶导数。

C?dPdy22?(T?1)T(1?y)2?P

Handbook要求大家会根据条件计算有效久期（Effective duration）以及有效凸性（Effective Convexity）：

DE?P??P?2P0?y

In this paper, we give a formal model for real-time database systems using Duration Calculus. Our model supports the formal reasoning about the operations in the systems. As a case study for our technique, we give a formal specification and verification of

ModellingReal-timeDatabaseSystemsinDurationCalculus

DangVanHungandHoVanHuong

UnitedNationsUniversity

InternationalInstituteforSoftwareTechnology

P.O.Box3058,Macao

ABSTRACT

Inthispaper,wegiveaformalmodelforreal-timedatabasesystemsusingDurationCalculus.Ourmodelsupportstheformalrea