diff options
| author | 2021-08-08 23:24:34 -0400 | |
|---|---|---|
| committer | 2021-08-08 23:33:16 -0400 | |
| commit | c819b3052b59ba1b9c6ff9203e6e5457bf060b29 (patch) | |
| tree | bc6089b80ecfc2379726e0ebc9ec412c9222cb51 /makedb.ml | |
| parent | use sqlite to store table (diff) | |
makedb: add cache table
Diffstat (limited to '')
| -rw-r--r-- | makedb.ml | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,7 +1,8 @@ (** Init script for the SQLite database. **) let inits = "\ DROP TABLE IF EXISTS elements; \ - CREATE TABLE elements (\ + DROP TABLE IF EXISTS cache; \ + CREATE TABLE elements ( \ num INTEGER PRIMARY KEY NOT NULL, \ symb TEXT UNIQUE NOT NULL, \ name TEXT UNIQUE NOT NULL, mass FLOAT, \ @@ -10,6 +11,9 @@ let inits = "\ oxidation TEXT, state TEXT, \ melting FLOAT, boiling FLOAT, density FLOAT, \ block TEXT, discovered INTEGER) WITHOUT ROWID; \ + CREATE TABLE cache ( \ + name TEXT PRIMARY KEY NOT NULL, \ + dat BLOB NOT NULL) WITHOUT ROWID; \ " (** Converts the column data in the PubChem JSON file to |
