aboutsummaryrefslogtreecommitdiffstats
path: root/makedb.ml
diff options
context:
space:
mode:
authorGravatar Peter McGoron 2021-08-08 23:24:34 -0400
committerGravatar Peter McGoron 2021-08-08 23:33:16 -0400
commitc819b3052b59ba1b9c6ff9203e6e5457bf060b29 (patch)
treebc6089b80ecfc2379726e0ebc9ec412c9222cb51 /makedb.ml
parentuse sqlite to store table (diff)
makedb: add cache table
Diffstat (limited to '')
-rw-r--r--makedb.ml6
1 files changed, 5 insertions, 1 deletions
diff --git a/makedb.ml b/makedb.ml
index 11d6a9d..f090686 100644
--- a/makedb.ml
+++ b/makedb.ml
@@ -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