ALTER TABLE file
    RENAME COLUMN lastocrtime TO ocr_start_time;
ALTER TABLE file
    ADD COLUMN ocr_end_time TIMESTAMP WITHOUT TIME ZONE;
update file
set ocr_end_time = ocr_start_time;
ALTER TABLE FILE
    ADD COLUMN number_of_pages_to_ocr BIGINT;
ALTER TABLE FILE
    ADD COLUMN number_of_ocred_pages BIGINT;
