basic primary key question

I want to have the primary key auto-increment starting from 10000 (instead of 1).

Is there a way to achieve this?

In dataproviders, click properties on your PK field. If you are using Servoy sequences, you can hit the specify button there and enter a “next value”. If you type 10000 there, the next record created will have 10000 as primary key. If you use DB sequences, you have to specify this in the database or the SQL statement that generates your key.