title: Does PRIMARY KEY constraint defined on table level guarantees AUTOINCREMENT and no values reuse?
body: <p>Consider the following table definition:</p>
  
  <pre><code>CREATE TABLE names (
      id INTEGER,
      name TEXT NOT NULL,
      PRIMARY KEY (id)
  )
  </code></pre>
  
  <p>Does it guarantee that the <code>id</code> will be auto-incremented for every new insert AND that the values for deleted rows <em>will not</em> be reused?</p>
  
  <p>I looked up in the documentation for Sqlite3, but couldn't find the answer.</p>