Oracle-functies die Hibernate gebruiken

Na wat onderzoek kan dit worden gedaan met behulp van formule-annotatie:

@Entity
public class A {
   @Column(name ="a1")
   private int a1;

   @Column(name ="a2")
   private int a2;

   @Formula("myFunction(a1)")
   private int a3;
   .....
}

En in de criteria:

Criteria cr = getInstanciaCriteria(A.class); 
cr.add(Restrictions.eq("a3", 1));