并不是持久化类的所有属性都直接和表的字段匹配，持久化类的有些属性的值必须在运行时通过计算才能得出来，这种属性称为派生属性。下面介绍利用Hibernate的@Formula注解来映射派生属性。

@Formula注解用来设置一个SQL表达式，Hibernate将根据它来计算出派生属性的值。

下面以Customer类的totalPrice属性为例，介绍@Formula注解的用法。Customer类的totalPrice属性表示客户的所有订单的价格总和，它的取值为与Customer对象关联的所有Order对象的price属性值的和。在CUSTOMERS表中没有对应的TOTAL_PRICE字段。在Customer类中映射totalPrice属性的代码如下：

@Formula("(select  sum(o.PRICE)  from ORDERS  o 
                        where o.CUSTOMER_ID=ID)")
public Double getTotalPrice(){
  return this.totalPrice;
}

当Hibernate从数据库中查询Customer对象时，在select语句中会包含以上用于计算totalPrice派生属性的子查询语句：

select ID,NAME, SEX, `CUSTOMER  DESCRIPTION`, 
(select  sum(o.PRICE)  from ORDERS  o where o.CUSTOMER_ID=1) 
from CUSTOMERS; 

如果子查询语句的查询结果为空，即客户没有任何订单时，Hibernate会把totalPrice属性赋值为null，如果totalPrice属性为double基本类型，会抛出以下异常：

org.hibernate.PropertyAccessException: 
Null value was assigned to a property of primitive type setter
of mypack.Customer.totalPrice

为了避免以上异常，应该把totalPrice属性定义为Double包装类型。
@Formula注解指定一个SQL表达式，该表达式可以引用表的字段，调用SQL函数或者包含子查询语句。例如，表示客户购买单项商品信息的LineItem类中有一个unitPrice属性，取值为：

商品单价（BASE_PRICE） * 购买数量（QUANTITY）

而在LINEITEMS表中没有对应的UNIT_PRICE字段，只有BASE_PRICE和QUANTITY字段，可以通过以下方式映射unitPrice属性：

@Formula("BASE_PRICE*QUANTITY")
public Double getUnitPrice(){
  return this.unitPrice;
}