<code type="php">
// using sequences

class User extends Doctrine_Record {
    public function setUp() {
        $this->setSequenceName("user_seq");
    }
}
</code>