Question: I have a big table with 120,000,000 records.
Let's assume that I DELETE 4,000,000 records, VACUUM FULL, and REINDEX.
Now I have the same table, but with 240,000,000 records.
I DELETE 8,000,000 records, VACUUM FULL, and REINDEX.
Should the second operation with twice the data take twice the time as the first?
