From b59e00b637b109973ce298e997c62678ed506641 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Wed, 1 Oct 2008 11:38:47 +0000 Subject: [PATCH] create an index, as this heavily speeds up some queries [r22391] --- scripts/statev_sql.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/statev_sql.py b/scripts/statev_sql.py index ad2de25a0..b8b2bab52 100755 --- a/scripts/statev_sql.py +++ b/scripts/statev_sql.py @@ -134,8 +134,10 @@ class EmitSqlite3(EmitBase): self.conn = sqlite3.connect(options.database) table_ctx = self.create_table(ctxcols, self.ctxtab, 'text', 'unique') self.conn.execute(table_ctx) + self.conn.execute("CREATE INDEX IF NOT EXISTS ctxindex ON ctx(id)") table_ev = self.create_table(evcols, self.evtab, 'double', '') self.conn.execute(table_ev) + self.conn.execute("CREATE INDEX IF NOT EXISTS evindex ON ev(id)") n = max(len(ctxcols), len(evcols)) + 1 q = ['?'] -- 2.20.1