Transaction definition and instance