makedb: add cache table
This commit is contained in:
parent
b3fa112da3
commit
c819b3052b
|
@ -1,7 +1,8 @@
|
||||||
(** Init script for the SQLite database. **)
|
(** Init script for the SQLite database. **)
|
||||||
let inits = "\
|
let inits = "\
|
||||||
DROP TABLE IF EXISTS elements; \
|
DROP TABLE IF EXISTS elements; \
|
||||||
CREATE TABLE elements (\
|
DROP TABLE IF EXISTS cache; \
|
||||||
|
CREATE TABLE elements ( \
|
||||||
num INTEGER PRIMARY KEY NOT NULL, \
|
num INTEGER PRIMARY KEY NOT NULL, \
|
||||||
symb TEXT UNIQUE NOT NULL, \
|
symb TEXT UNIQUE NOT NULL, \
|
||||||
name TEXT UNIQUE NOT NULL, mass FLOAT, \
|
name TEXT UNIQUE NOT NULL, mass FLOAT, \
|
||||||
|
@ -10,6 +11,9 @@ let inits = "\
|
||||||
oxidation TEXT, state TEXT, \
|
oxidation TEXT, state TEXT, \
|
||||||
melting FLOAT, boiling FLOAT, density FLOAT, \
|
melting FLOAT, boiling FLOAT, density FLOAT, \
|
||||||
block TEXT, discovered INTEGER) WITHOUT ROWID; \
|
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
|
(** Converts the column data in the PubChem JSON file to
|
||||||
|
|
Loading…
Reference in New Issue