Project

General

Profile

1 11 aaronmk
# Database access
2
3 1869 aaronmk
import copy
4 11 aaronmk
import re
5 3238 aaronmk
import time
6 865 aaronmk
import warnings
7 11 aaronmk
8 300 aaronmk
import exc
9 1909 aaronmk
import dicts
10 1893 aaronmk
import iters
11 1960 aaronmk
import lists
12 3241 aaronmk
import profiling
13 1889 aaronmk
from Proxy import Proxy
14 1872 aaronmk
import rand
15 2217 aaronmk
import sql_gen
16 862 aaronmk
import strings
17 131 aaronmk
import util
18 11 aaronmk
19 832 aaronmk
##### Exceptions
20
21 2804 aaronmk
def get_cur_query(cur, input_query=None):
22 2168 aaronmk
    raw_query = None
23
    if hasattr(cur, 'query'): raw_query = cur.query
24
    elif hasattr(cur, '_last_executed'): raw_query = cur._last_executed
25 2170 aaronmk
26
    if raw_query != None: return raw_query
27 2804 aaronmk
    else: return '[input] '+strings.ustr(input_query)
28 14 aaronmk
29 2170 aaronmk
def _add_cursor_info(e, *args, **kw_args):
30
    '''For params, see get_cur_query()'''
31 2771 aaronmk
    exc.add_msg(e, 'query: '+strings.ustr(get_cur_query(*args, **kw_args)))
32 135 aaronmk
33 300 aaronmk
class DbException(exc.ExceptionWithCause):
34 14 aaronmk
    def __init__(self, msg, cause=None, cur=None):
35 2145 aaronmk
        exc.ExceptionWithCause.__init__(self, msg, cause, cause_newline=True)
36 14 aaronmk
        if cur != None: _add_cursor_info(self, cur)
37
38 2143 aaronmk
class ExceptionWithName(DbException):
39
    def __init__(self, name, cause=None):
40 2484 aaronmk
        DbException.__init__(self, 'for name: '+strings.as_tt(str(name)), cause)
41 2143 aaronmk
        self.name = name
42 360 aaronmk
43 3109 aaronmk
class ExceptionWithValue(DbException):
44
    def __init__(self, value, cause=None):
45
        DbException.__init__(self, 'for value: '+strings.as_tt(repr(value)),
46
            cause)
47 2240 aaronmk
        self.value = value
48
49 2945 aaronmk
class ExceptionWithNameType(DbException):
50
    def __init__(self, type_, name, cause=None):
51
        DbException.__init__(self, 'for type: '+strings.as_tt(str(type_))
52
            +'; name: '+strings.as_tt(name), cause)
53
        self.type = type_
54
        self.name = name
55
56 2306 aaronmk
class ConstraintException(DbException):
57
    def __init__(self, name, cols, cause=None):
58 2484 aaronmk
        DbException.__init__(self, 'Violated '+strings.as_tt(name)
59
            +' constraint on columns: '+strings.as_tt(', '.join(cols)), cause)
60 2306 aaronmk
        self.name = name
61 468 aaronmk
        self.cols = cols
62 11 aaronmk
63 2523 aaronmk
class MissingCastException(DbException):
64
    def __init__(self, type_, col, cause=None):
65
        DbException.__init__(self, 'Missing cast to type '+strings.as_tt(type_)
66
            +' on column: '+strings.as_tt(col), cause)
67
        self.type = type_
68
        self.col = col
69
70 2143 aaronmk
class NameException(DbException): pass
71
72 2306 aaronmk
class DuplicateKeyException(ConstraintException): pass
73 13 aaronmk
74 2306 aaronmk
class NullValueException(ConstraintException): pass
75 13 aaronmk
76 3109 aaronmk
class InvalidValueException(ExceptionWithValue): pass
77 2239 aaronmk
78 2945 aaronmk
class DuplicateException(ExceptionWithNameType): pass
79 2143 aaronmk
80 89 aaronmk
class EmptyRowException(DbException): pass
81
82 865 aaronmk
##### Warnings
83
84
class DbWarning(UserWarning): pass
85
86 1930 aaronmk
##### Result retrieval
87
88
def col_names(cur): return (col[0] for col in cur.description)
89
90
def rows(cur): return iter(lambda: cur.fetchone(), None)
91
92
def consume_rows(cur):
93
    '''Used to fetch all rows so result will be cached'''
94
    iters.consume_iter(rows(cur))
95
96
def next_row(cur): return rows(cur).next()
97
98
def row(cur):
99
    row_ = next_row(cur)
100
    consume_rows(cur)
101
    return row_
102
103
def next_value(cur): return next_row(cur)[0]
104
105
def value(cur): return row(cur)[0]
106
107
def values(cur): return iters.func_iter(lambda: next_value(cur))
108
109
def value_or_none(cur):
110
    try: return value(cur)
111
    except StopIteration: return None
112
113 2762 aaronmk
##### Escaping
114 2101 aaronmk
115 2573 aaronmk
def esc_name_by_module(module, name):
116
    if module == 'psycopg2' or module == None: quote = '"'
117 2101 aaronmk
    elif module == 'MySQLdb': quote = '`'
118
    else: raise NotImplementedError("Can't escape name for "+module+' database')
119 2500 aaronmk
    return sql_gen.esc_name(name, quote)
120 2101 aaronmk
121
def esc_name_by_engine(engine, name, **kw_args):
122
    return esc_name_by_module(db_engines[engine][0], name, **kw_args)
123
124
def esc_name(db, name, **kw_args):
125
    return esc_name_by_module(util.root_module(db.db), name, **kw_args)
126
127
def qual_name(db, schema, table):
128
    def esc_name_(name): return esc_name(db, name)
129
    table = esc_name_(table)
130
    if schema != None: return esc_name_(schema)+'.'+table
131
    else: return table
132
133 1869 aaronmk
##### Database connections
134 1849 aaronmk
135 2097 aaronmk
db_config_names = ['engine', 'host', 'user', 'password', 'database', 'schemas']
136 1926 aaronmk
137 1869 aaronmk
db_engines = {
138
    'MySQL': ('MySQLdb', {'password': 'passwd', 'database': 'db'}),
139
    'PostgreSQL': ('psycopg2', {}),
140
}
141
142
DatabaseErrors_set = set([DbException])
143
DatabaseErrors = tuple(DatabaseErrors_set)
144
145
def _add_module(module):
146
    DatabaseErrors_set.add(module.DatabaseError)
147
    global DatabaseErrors
148
    DatabaseErrors = tuple(DatabaseErrors_set)
149
150
def db_config_str(db_config):
151
    return db_config['engine']+' database '+db_config['database']
152
153 2448 aaronmk
log_debug_none = lambda msg, level=2: None
154 1901 aaronmk
155 1849 aaronmk
class DbConn:
156 2923 aaronmk
    def __init__(self, db_config, autocommit=True, caching=True,
157 3183 aaronmk
        log_debug=log_debug_none, debug_temp=False, src=None):
158 2915 aaronmk
        '''
159
        @param debug_temp Whether temporary objects should instead be permanent.
160
            This assists in debugging the internal objects used by the program.
161 3183 aaronmk
        @param src In autocommit mode, will be included in a comment in every
162
            query, to help identify the data source in pg_stat_activity.
163 2915 aaronmk
        '''
164 1869 aaronmk
        self.db_config = db_config
165 2190 aaronmk
        self.autocommit = autocommit
166
        self.caching = caching
167 1901 aaronmk
        self.log_debug = log_debug
168 2193 aaronmk
        self.debug = log_debug != log_debug_none
169 2915 aaronmk
        self.debug_temp = debug_temp
170 3244 aaronmk
        self.profile_row_ct = None
171 3183 aaronmk
        self.src = src
172 3074 aaronmk
        self.autoanalyze = False
173 1869 aaronmk
174 3124 aaronmk
        self._savepoint = 0
175 3120 aaronmk
        self._reset()
176 1869 aaronmk
177
    def __getattr__(self, name):
178
        if name == '__dict__': raise Exception('getting __dict__')
179
        if name == 'db': return self._db()
180
        else: raise AttributeError()
181
182
    def __getstate__(self):
183
        state = copy.copy(self.__dict__) # shallow copy
184 1915 aaronmk
        state['log_debug'] = None # don't pickle the debug callback
185 1869 aaronmk
        state['_DbConn__db'] = None # don't pickle the connection
186
        return state
187
188 3118 aaronmk
    def clear_cache(self): self.query_results = {}
189
190 3120 aaronmk
    def _reset(self):
191 3118 aaronmk
        self.clear_cache()
192 3124 aaronmk
        assert self._savepoint == 0
193 3118 aaronmk
        self._notices_seen = set()
194
        self.__db = None
195
196 2165 aaronmk
    def connected(self): return self.__db != None
197
198 3116 aaronmk
    def close(self):
199 3119 aaronmk
        if not self.connected(): return
200
201 3135 aaronmk
        # Record that the automatic transaction is now closed
202 3136 aaronmk
        self._savepoint -= 1
203 3135 aaronmk
204 3119 aaronmk
        self.db.close()
205 3120 aaronmk
        self._reset()
206 3116 aaronmk
207 3125 aaronmk
    def reconnect(self):
208
        # Do not do this in test mode as it would roll back everything
209
        if self.autocommit: self.close()
210
        # Connection will be reopened automatically on first query
211
212 1869 aaronmk
    def _db(self):
213
        if self.__db == None:
214
            # Process db_config
215
            db_config = self.db_config.copy() # don't modify input!
216 2097 aaronmk
            schemas = db_config.pop('schemas', None)
217 1869 aaronmk
            module_name, mappings = db_engines[db_config.pop('engine')]
218
            module = __import__(module_name)
219
            _add_module(module)
220
            for orig, new in mappings.iteritems():
221
                try: util.rename_key(db_config, orig, new)
222
                except KeyError: pass
223
224
            # Connect
225
            self.__db = module.connect(**db_config)
226
227 3161 aaronmk
            # Record that a transaction is already open
228
            self._savepoint += 1
229
230 1869 aaronmk
            # Configure connection
231 2906 aaronmk
            if hasattr(self.db, 'set_isolation_level'):
232
                import psycopg2.extensions
233
                self.db.set_isolation_level(
234
                    psycopg2.extensions.ISOLATION_LEVEL_READ_COMMITTED)
235 2101 aaronmk
            if schemas != None:
236 2893 aaronmk
                search_path = [self.esc_name(s) for s in schemas.split(',')]
237
                search_path.append(value(run_query(self, 'SHOW search_path',
238
                    log_level=4)))
239
                run_query(self, 'SET search_path TO '+(','.join(search_path)),
240
                    log_level=3)
241 1869 aaronmk
242
        return self.__db
243 1889 aaronmk
244 1891 aaronmk
    class DbCursor(Proxy):
245 1927 aaronmk
        def __init__(self, outer):
246 1891 aaronmk
            Proxy.__init__(self, outer.db.cursor())
247 2191 aaronmk
            self.outer = outer
248 1927 aaronmk
            self.query_results = outer.query_results
249 1894 aaronmk
            self.query_lookup = None
250 1891 aaronmk
            self.result = []
251 1889 aaronmk
252 2802 aaronmk
        def execute(self, query):
253 2764 aaronmk
            self._is_insert = query.startswith('INSERT')
254 2797 aaronmk
            self.query_lookup = query
255 2148 aaronmk
            try:
256 3162 aaronmk
                try: cur = self.inner.execute(query)
257 2802 aaronmk
                finally: self.query = get_cur_query(self.inner, query)
258 1904 aaronmk
            except Exception, e:
259
                self.result = e # cache the exception as the result
260
                self._cache_result()
261
                raise
262 3004 aaronmk
263
            # Always cache certain queries
264 3183 aaronmk
            query = sql_gen.lstrip(query)
265 3004 aaronmk
            if query.startswith('CREATE') or query.startswith('ALTER'):
266 3007 aaronmk
                # structural changes
267 3040 aaronmk
                # Rest of query must be unique in the face of name collisions,
268
                # so don't cache ADD COLUMN unless it has distinguishing comment
269
                if query.find('ADD COLUMN') < 0 or query.endswith('*/'):
270 3007 aaronmk
                    self._cache_result()
271 3004 aaronmk
            elif self.rowcount == 0 and query.startswith('SELECT'): # empty
272 2800 aaronmk
                consume_rows(self) # fetch all rows so result will be cached
273 3004 aaronmk
274 2762 aaronmk
            return cur
275 1894 aaronmk
276 1891 aaronmk
        def fetchone(self):
277
            row = self.inner.fetchone()
278 1899 aaronmk
            if row != None: self.result.append(row)
279
            # otherwise, fetched all rows
280 1904 aaronmk
            else: self._cache_result()
281
            return row
282
283
        def _cache_result(self):
284 2948 aaronmk
            # For inserts that return a result set, don't cache result set since
285
            # inserts are not idempotent. Other non-SELECT queries don't have
286
            # their result set read, so only exceptions will be cached (an
287
            # invalid query will always be invalid).
288 1930 aaronmk
            if self.query_results != None and (not self._is_insert
289 1906 aaronmk
                or isinstance(self.result, Exception)):
290
291 1894 aaronmk
                assert self.query_lookup != None
292 1916 aaronmk
                self.query_results[self.query_lookup] = self.CacheCursor(
293
                    util.dict_subset(dicts.AttrsDictView(self),
294
                    ['query', 'result', 'rowcount', 'description']))
295 1906 aaronmk
296 1916 aaronmk
        class CacheCursor:
297
            def __init__(self, cached_result): self.__dict__ = cached_result
298
299 1927 aaronmk
            def execute(self, *args, **kw_args):
300 1916 aaronmk
                if isinstance(self.result, Exception): raise self.result
301
                # otherwise, result is a rows list
302
                self.iter = iter(self.result)
303
304
            def fetchone(self):
305
                try: return self.iter.next()
306
                except StopIteration: return None
307 1891 aaronmk
308 2212 aaronmk
    def esc_value(self, value):
309 2663 aaronmk
        try: str_ = self.mogrify('%s', [value])
310
        except NotImplementedError, e:
311
            module = util.root_module(self.db)
312
            if module == 'MySQLdb':
313
                import _mysql
314
                str_ = _mysql.escape_string(value)
315
            else: raise e
316 2374 aaronmk
        return strings.to_unicode(str_)
317 2212 aaronmk
318 2347 aaronmk
    def esc_name(self, name): return esc_name(self, name) # calls global func
319
320 2814 aaronmk
    def std_code(self, str_):
321
        '''Standardizes SQL code.
322
        * Ensures that string literals are prefixed by `E`
323
        '''
324
        if str_.startswith("'"): str_ = 'E'+str_
325
        return str_
326
327 2665 aaronmk
    def can_mogrify(self):
328 2663 aaronmk
        module = util.root_module(self.db)
329 2665 aaronmk
        return module == 'psycopg2'
330 2663 aaronmk
331 2665 aaronmk
    def mogrify(self, query, params=None):
332
        if self.can_mogrify(): return self.db.cursor().mogrify(query, params)
333
        else: raise NotImplementedError("Can't mogrify query")
334
335 2671 aaronmk
    def print_notices(self):
336 2725 aaronmk
        if hasattr(self.db, 'notices'):
337
            for msg in self.db.notices:
338
                if msg not in self._notices_seen:
339
                    self._notices_seen.add(msg)
340
                    self.log_debug(msg, level=2)
341 2671 aaronmk
342 2793 aaronmk
    def run_query(self, query, cacheable=False, log_level=2,
343 2464 aaronmk
        debug_msg_ref=None):
344 2445 aaronmk
        '''
345 2464 aaronmk
        @param log_ignore_excs The log_level will be increased by 2 if the query
346
            throws one of these exceptions.
347 2664 aaronmk
        @param debug_msg_ref If specified, the log message will be returned in
348
            this instead of being output. This allows you to filter log messages
349
            depending on the result of the query.
350 2445 aaronmk
        '''
351 2167 aaronmk
        assert query != None
352
353 3183 aaronmk
        if self.autocommit and self.src != None:
354 3206 aaronmk
            query = sql_gen.esc_comment(self.src)+'\t'+query
355 3183 aaronmk
356 2047 aaronmk
        if not self.caching: cacheable = False
357 1903 aaronmk
        used_cache = False
358 2664 aaronmk
359 3242 aaronmk
        if self.debug:
360
            profiler = profiling.ItersProfiler(start_now=True, iter_text='row')
361 1903 aaronmk
        try:
362 1927 aaronmk
            # Get cursor
363
            if cacheable:
364 3238 aaronmk
                try: cur = self.query_results[query]
365 1927 aaronmk
                except KeyError: cur = self.DbCursor(self)
366 3238 aaronmk
                else: used_cache = True
367 1927 aaronmk
            else: cur = self.db.cursor()
368
369
            # Run query
370 3238 aaronmk
            try: cur.execute(query)
371 3162 aaronmk
            except Exception, e:
372
                _add_cursor_info(e, self, query)
373
                raise
374 3238 aaronmk
            else: self.do_autocommit()
375 1903 aaronmk
        finally:
376 3242 aaronmk
            if self.debug:
377 3244 aaronmk
                profiler.stop(self.profile_row_ct)
378 3242 aaronmk
379
                ## Log or return query
380
381 3239 aaronmk
                query = str(get_cur_query(cur, query))
382
                # So that the src comment is hidden when cating the file, and
383
                # put on a separate line when viewed in a text editor.
384
                query = query.replace('\t', '\r', 1)
385
386 3240 aaronmk
                msg = 'DB query: '
387 3239 aaronmk
388 3240 aaronmk
                if used_cache: msg += 'cache hit'
389
                elif cacheable: msg += 'cache miss'
390
                else: msg += 'non-cacheable'
391 3239 aaronmk
392 3241 aaronmk
                msg += ':\n'+profiler.msg()+'\n'+strings.as_code(query, 'SQL')
393 3240 aaronmk
394 3237 aaronmk
                if debug_msg_ref != None: debug_msg_ref[0] = msg
395
                else: self.log_debug(msg, log_level)
396 3245 aaronmk
397
                self.print_notices()
398 1903 aaronmk
399
        return cur
400 1914 aaronmk
401 2797 aaronmk
    def is_cached(self, query): return query in self.query_results
402 2139 aaronmk
403 2907 aaronmk
    def with_autocommit(self, func):
404 2801 aaronmk
        import psycopg2.extensions
405
406
        prev_isolation_level = self.db.isolation_level
407 2907 aaronmk
        self.db.set_isolation_level(
408
            psycopg2.extensions.ISOLATION_LEVEL_AUTOCOMMIT)
409 2683 aaronmk
        try: return func()
410 2801 aaronmk
        finally: self.db.set_isolation_level(prev_isolation_level)
411 2683 aaronmk
412 2139 aaronmk
    def with_savepoint(self, func):
413 3137 aaronmk
        top = self._savepoint == 0
414 2171 aaronmk
        savepoint = 'level_'+str(self._savepoint)
415 3137 aaronmk
416 3160 aaronmk
        # Must happen before running queries so they don't get autocommitted
417
        self._savepoint += 1
418
419 3137 aaronmk
        if top: query = 'START TRANSACTION ISOLATION LEVEL READ COMMITTED'
420
        else: query = 'SAVEPOINT '+savepoint
421
        self.run_query(query, log_level=4)
422
        try:
423
            return func()
424
            if top: self.run_query('COMMIT', log_level=4)
425 2139 aaronmk
        except:
426 3137 aaronmk
            if top: query = 'ROLLBACK'
427
            else: query = 'ROLLBACK TO SAVEPOINT '+savepoint
428
            self.run_query(query, log_level=4)
429
430 2139 aaronmk
            raise
431 2930 aaronmk
        finally:
432
            # Always release savepoint, because after ROLLBACK TO SAVEPOINT,
433
            # "The savepoint remains valid and can be rolled back to again"
434
            # (http://www.postgresql.org/docs/8.3/static/sql-rollback-to.html).
435 3137 aaronmk
            if not top:
436
                self.run_query('RELEASE SAVEPOINT '+savepoint, log_level=4)
437 2930 aaronmk
438
            self._savepoint -= 1
439
            assert self._savepoint >= 0
440
441
            self.do_autocommit() # OK to do this after ROLLBACK TO SAVEPOINT
442 2191 aaronmk
443
    def do_autocommit(self):
444
        '''Autocommits if outside savepoint'''
445 3135 aaronmk
        assert self._savepoint >= 1
446
        if self.autocommit and self._savepoint == 1:
447 2924 aaronmk
            self.log_debug('Autocommitting', level=4)
448 2191 aaronmk
            self.db.commit()
449 2643 aaronmk
450 3155 aaronmk
    def col_info(self, col, cacheable=True):
451 2643 aaronmk
        table = sql_gen.Table('columns', 'information_schema')
452 3063 aaronmk
        type_ = sql_gen.Coalesce(sql_gen.Nullif(sql_gen.Col('data_type'),
453
            'USER-DEFINED'), sql_gen.Col('udt_name'))
454 3078 aaronmk
        cols = [type_, 'column_default',
455
            sql_gen.Cast('boolean', sql_gen.Col('is_nullable'))]
456 2643 aaronmk
457
        conds = [('table_name', col.table.name), ('column_name', col.name)]
458
        schema = col.table.schema
459
        if schema != None: conds.append(('table_schema', schema))
460
461 2819 aaronmk
        type_, default, nullable = row(select(self, table, cols, conds,
462 3150 aaronmk
            order_by='table_schema', limit=1, cacheable=cacheable, log_level=4))
463 2643 aaronmk
            # TODO: order_by search_path schema order
464 2819 aaronmk
        default = sql_gen.as_Code(default, self)
465
466
        return sql_gen.TypedCol(col.name, type_, default, nullable)
467 2917 aaronmk
468
    def TempFunction(self, name):
469
        if self.debug_temp: schema = None
470
        else: schema = 'pg_temp'
471
        return sql_gen.Function(name, schema)
472 1849 aaronmk
473 1869 aaronmk
connect = DbConn
474
475 832 aaronmk
##### Recoverable querying
476 15 aaronmk
477 2139 aaronmk
def with_savepoint(db, func): return db.with_savepoint(func)
478 11 aaronmk
479 2791 aaronmk
def run_query(db, query, recover=None, cacheable=False, log_level=2,
480
    log_ignore_excs=None, **kw_args):
481 2794 aaronmk
    '''For params, see DbConn.run_query()'''
482 830 aaronmk
    if recover == None: recover = False
483 2464 aaronmk
    if log_ignore_excs == None: log_ignore_excs = ()
484
    log_ignore_excs = tuple(log_ignore_excs)
485 3236 aaronmk
    debug_msg_ref = [None]
486 830 aaronmk
487 2148 aaronmk
    try:
488 2464 aaronmk
        try:
489 2794 aaronmk
            def run(): return db.run_query(query, cacheable, log_level,
490 2793 aaronmk
                debug_msg_ref, **kw_args)
491 2796 aaronmk
            if recover and not db.is_cached(query):
492 2464 aaronmk
                return with_savepoint(db, run)
493
            else: return run() # don't need savepoint if cached
494
        except Exception, e:
495 3095 aaronmk
            msg = strings.ustr(e.args[0])
496 2464 aaronmk
497 3095 aaronmk
            match = re.match(r'^duplicate key value violates unique constraint '
498 3096 aaronmk
                r'"((_?[^\W_]+(?=[._]))?.+?)"', msg)
499 2464 aaronmk
            if match:
500
                constraint, table = match.groups()
501 3025 aaronmk
                cols = []
502
                if recover: # need auto-rollback to run index_cols()
503
                    try: cols = index_cols(db, table, constraint)
504
                    except NotImplementedError: pass
505
                raise DuplicateKeyException(constraint, cols, e)
506 2464 aaronmk
507 3095 aaronmk
            match = re.match(r'^null value in column "(.+?)" violates not-null'
508 2464 aaronmk
                r' constraint', msg)
509
            if match: raise NullValueException('NOT NULL', [match.group(1)], e)
510
511 3095 aaronmk
            match = re.match(r'^(?:invalid input (?:syntax|value)\b.*?'
512 3109 aaronmk
                r'|.+? field value out of range): "(.+?)"', msg)
513 2464 aaronmk
            if match:
514 3109 aaronmk
                value, = match.groups()
515
                raise InvalidValueException(strings.to_unicode(value), e)
516 2464 aaronmk
517 3095 aaronmk
            match = re.match(r'^column "(.+?)" is of type (.+?) but expression '
518 2523 aaronmk
                r'is of type', msg)
519
            if match:
520
                col, type_ = match.groups()
521
                raise MissingCastException(type_, col, e)
522
523 3095 aaronmk
            match = re.match(r'^(\S+) "(.+?)".*? already exists', msg)
524 2945 aaronmk
            if match:
525
                type_, name = match.groups()
526
                raise DuplicateException(type_, name, e)
527 2464 aaronmk
528
            raise # no specific exception raised
529
    except log_ignore_excs:
530
        log_level += 2
531
        raise
532
    finally:
533 3236 aaronmk
        if debug_msg_ref[0] != None: db.log_debug(debug_msg_ref[0], log_level)
534 830 aaronmk
535 832 aaronmk
##### Basic queries
536
537 3256 aaronmk
def is_explainable(query):
538
    # See <http://www.postgresql.org/docs/8.3/static/sql-explain.html#AEN57749>
539 3257 aaronmk
    return re.match(r'^(?:SELECT|INSERT|UPDATE|DELETE|VALUES|EXECUTE|DECLARE)\b'
540
        , query)
541 3256 aaronmk
542
def explain(db, query):
543
    return strings.join_lines(values(run_query(db, 'EXPLAIN '+query,
544
        recover=True, cacheable=True, log_level=3)))
545
        # not a higher log_level because it's useful to see what query is being
546
        # run before it's executed, which EXPLAIN effectively provides
547
548 2153 aaronmk
def next_version(name):
549 2163 aaronmk
    version = 1 # first existing name was version 0
550 2586 aaronmk
    match = re.match(r'^(.*)#(\d+)$', name)
551 2153 aaronmk
    if match:
552 2586 aaronmk
        name, version = match.groups()
553
        version = int(version)+1
554 2932 aaronmk
    return sql_gen.concat(name, '#'+str(version))
555 2153 aaronmk
556 2899 aaronmk
def lock_table(db, table, mode):
557
    table = sql_gen.as_Table(table)
558
    run_query(db, 'LOCK TABLE '+table.to_str(db)+' IN '+mode+' MODE')
559
560 2789 aaronmk
def run_query_into(db, query, into=None, add_indexes_=False, **kw_args):
561 2085 aaronmk
    '''Outputs a query to a temp table.
562
    For params, see run_query().
563
    '''
564 2789 aaronmk
    if into == None: return run_query(db, query, **kw_args)
565 2790 aaronmk
566
    assert isinstance(into, sql_gen.Table)
567
568 2992 aaronmk
    into.is_temp = True
569 3008 aaronmk
    # "temporary tables cannot specify a schema name", so remove schema
570
    into.schema = None
571 2992 aaronmk
572 2790 aaronmk
    kw_args['recover'] = True
573 2945 aaronmk
    kw_args.setdefault('log_ignore_excs', (DuplicateException,))
574 2790 aaronmk
575 2916 aaronmk
    temp = not db.debug_temp # tables are permanent in debug_temp mode
576 2790 aaronmk
577
    # Create table
578
    while True:
579
        create_query = 'CREATE'
580
        if temp: create_query += ' TEMP'
581
        create_query += ' TABLE '+into.to_str(db)+' AS\n'+query
582 2385 aaronmk
583 2790 aaronmk
        try:
584
            cur = run_query(db, create_query, **kw_args)
585
                # CREATE TABLE AS sets rowcount to # rows in query
586
            break
587 2945 aaronmk
        except DuplicateException, e:
588 2790 aaronmk
            into.name = next_version(into.name)
589
            # try again with next version of name
590
591
    if add_indexes_: add_indexes(db, into)
592 3075 aaronmk
593
    # According to the PostgreSQL doc, "The autovacuum daemon cannot access and
594
    # therefore cannot vacuum or analyze temporary tables. [...] if a temporary
595
    # table is going to be used in complex queries, it is wise to run ANALYZE on
596
    # the temporary table after it is populated."
597
    # (http://www.postgresql.org/docs/9.1/static/sql-createtable.html)
598
    # If into is not a temp table, ANALYZE is useful but not required.
599 3073 aaronmk
    analyze(db, into)
600 2790 aaronmk
601
    return cur
602 2085 aaronmk
603 2120 aaronmk
order_by_pkey = object() # tells mk_select() to order by the pkey
604
605 2199 aaronmk
distinct_on_all = object() # tells mk_select() to SELECT DISTINCT ON all columns
606
607 2233 aaronmk
def mk_select(db, tables, fields=None, conds=None, distinct_on=[], limit=None,
608 2293 aaronmk
    start=None, order_by=order_by_pkey, default_table=None):
609 1981 aaronmk
    '''
610 2121 aaronmk
    @param tables The single table to select from, or a list of tables to join
611 2280 aaronmk
        together, with tables after the first being sql_gen.Join objects
612 1981 aaronmk
    @param fields Use None to select all fields in the table
613 2377 aaronmk
    @param conds WHERE conditions: [(compare_left_side, compare_right_side),...]
614 2379 aaronmk
        * container can be any iterable type
615 2399 aaronmk
        * compare_left_side: sql_gen.Code|str (for col name)
616
        * compare_right_side: sql_gen.ValueCond|literal value
617 2199 aaronmk
    @param distinct_on The columns to SELECT DISTINCT ON, or distinct_on_all to
618
        use all columns
619 2786 aaronmk
    @return query
620 1981 aaronmk
    '''
621 2315 aaronmk
    # Parse tables param
622 2964 aaronmk
    tables = lists.mk_seq(tables)
623 2141 aaronmk
    tables = list(tables) # don't modify input! (list() copies input)
624 2315 aaronmk
    table0 = sql_gen.as_Table(tables.pop(0)) # first table is separate
625 2121 aaronmk
626 2315 aaronmk
    # Parse other params
627 2376 aaronmk
    if conds == None: conds = []
628 2650 aaronmk
    elif dicts.is_dict(conds): conds = conds.items()
629 2379 aaronmk
    conds = list(conds) # don't modify input! (list() copies input)
630 3129 aaronmk
    assert limit == None or isinstance(limit, (int, long))
631
    assert start == None or isinstance(start, (int, long))
632 2315 aaronmk
    if order_by is order_by_pkey:
633
        if distinct_on != []: order_by = None
634
        else: order_by = pkey(db, table0, recover=True)
635 865 aaronmk
636 2315 aaronmk
    query = 'SELECT'
637 2056 aaronmk
638 2315 aaronmk
    def parse_col(col): return sql_gen.as_Col(col, default_table).to_str(db)
639 2056 aaronmk
640 2200 aaronmk
    # DISTINCT ON columns
641 2233 aaronmk
    if distinct_on != []:
642 2467 aaronmk
        query += '\nDISTINCT'
643 2254 aaronmk
        if distinct_on is not distinct_on_all:
644 2200 aaronmk
            query += ' ON ('+(', '.join(map(parse_col, distinct_on)))+')'
645
646
    # Columns
647 3185 aaronmk
    if query.find('\n') >= 0: whitespace = '\n'
648
    else: whitespace = ' '
649
    if fields == None: query += whitespace+'*'
650 2765 aaronmk
    else:
651
        assert fields != []
652 3185 aaronmk
        if len(fields) > 1: whitespace = '\n'
653
        query += whitespace+('\n, '.join(map(parse_col, fields)))
654 2200 aaronmk
655
    # Main table
656 3185 aaronmk
    if query.find('\n') >= 0 or len(tables) > 0: whitespace = '\n'
657
    else: whitespace = ' '
658
    query += whitespace+'FROM '+table0.to_str(db)
659 865 aaronmk
660 2122 aaronmk
    # Add joins
661 2271 aaronmk
    left_table = table0
662 2263 aaronmk
    for join_ in tables:
663
        table = join_.table
664 2238 aaronmk
665 2343 aaronmk
        # Parse special values
666
        if join_.type_ is sql_gen.filter_out: # filter no match
667 2376 aaronmk
            conds.append((sql_gen.Col(table_not_null_col(db, table), table),
668 2853 aaronmk
                sql_gen.CompareCond(None, '~=')))
669 2343 aaronmk
670 2467 aaronmk
        query += '\n'+join_.to_str(db, left_table)
671 2122 aaronmk
672
        left_table = table
673
674 865 aaronmk
    missing = True
675 2376 aaronmk
    if conds != []:
676 2576 aaronmk
        if len(conds) == 1: whitespace = ' '
677
        else: whitespace = '\n'
678 2578 aaronmk
        query += '\n'+sql_gen.combine_conds([sql_gen.ColValueCond(l, r)
679
            .to_str(db) for l, r in conds], 'WHERE')
680 865 aaronmk
        missing = False
681 2227 aaronmk
    if order_by != None:
682 2467 aaronmk
        query += '\nORDER BY '+sql_gen.as_Col(order_by, table0).to_str(db)
683
    if limit != None: query += '\nLIMIT '+str(limit); missing = False
684 865 aaronmk
    if start != None:
685 2467 aaronmk
        if start != 0: query += '\nOFFSET '+str(start)
686 865 aaronmk
        missing = False
687
    if missing: warnings.warn(DbWarning(
688
        'SELECT statement missing a WHERE, LIMIT, or OFFSET clause: '+query))
689
690 2786 aaronmk
    return query
691 11 aaronmk
692 2054 aaronmk
def select(db, *args, **kw_args):
693
    '''For params, see mk_select() and run_query()'''
694
    recover = kw_args.pop('recover', None)
695
    cacheable = kw_args.pop('cacheable', True)
696 2442 aaronmk
    log_level = kw_args.pop('log_level', 2)
697 2054 aaronmk
698 2791 aaronmk
    return run_query(db, mk_select(db, *args, **kw_args), recover, cacheable,
699
        log_level=log_level)
700 2054 aaronmk
701 2788 aaronmk
def mk_insert_select(db, table, cols=None, select_query=None, returning=None,
702 3181 aaronmk
    embeddable=False, ignore=False, src=None):
703 1960 aaronmk
    '''
704
    @param returning str|None An inserted column (such as pkey) to return
705 2070 aaronmk
    @param embeddable Whether the query should be embeddable as a nested SELECT.
706 2073 aaronmk
        Warning: If you set this and cacheable=True when the query is run, the
707
        query will be fully cached, not just if it raises an exception.
708 3009 aaronmk
    @param ignore Whether to ignore duplicate keys.
709 3181 aaronmk
    @param src Will be included in the name of any created function, to help
710
        identify the data source in pg_stat_activity.
711 1960 aaronmk
    '''
712 2754 aaronmk
    table = sql_gen.remove_table_rename(sql_gen.as_Table(table))
713 2318 aaronmk
    if cols == []: cols = None # no cols (all defaults) = unknown col names
714 3010 aaronmk
    if cols != None: cols = [sql_gen.to_name_only_col(c, table) for c in cols]
715 2063 aaronmk
    if select_query == None: select_query = 'DEFAULT VALUES'
716 2327 aaronmk
    if returning != None: returning = sql_gen.as_Col(returning, table)
717 2063 aaronmk
718 2497 aaronmk
    first_line = 'INSERT INTO '+table.to_str(db)
719 2063 aaronmk
720 3009 aaronmk
    def mk_insert(select_query):
721
        query = first_line
722 3014 aaronmk
        if cols != None:
723
            query += '\n('+(', '.join((c.to_str(db) for c in cols)))+')'
724 3009 aaronmk
        query += '\n'+select_query
725
726
        if returning != None:
727
            returning_name_col = sql_gen.to_name_only_col(returning)
728
            query += '\nRETURNING '+returning_name_col.to_str(db)
729
730
        return query
731 2063 aaronmk
732 3017 aaronmk
    return_type = 'unknown'
733
    if returning != None: return_type = returning.to_str(db)+'%TYPE'
734
735 3009 aaronmk
    lang = 'sql'
736
    if ignore:
737 3017 aaronmk
        # Always return something to set the correct rowcount
738
        if returning == None: returning = sql_gen.NamedCol('NULL', None)
739
740 3009 aaronmk
        embeddable = True # must use function
741
        lang = 'plpgsql'
742 3010 aaronmk
743 3092 aaronmk
        if cols == None:
744
            row = [sql_gen.Col(sql_gen.all_cols, 'row')]
745
            row_vars = [sql_gen.Table('row')]
746
        else:
747
            row_vars = row = [sql_gen.Col(c.name, 'row') for c in cols]
748
749 3009 aaronmk
        query = '''\
750 3010 aaronmk
DECLARE
751 3014 aaronmk
    row '''+table.to_str(db)+'''%ROWTYPE;
752 3009 aaronmk
BEGIN
753 3019 aaronmk
    /* Need an EXCEPTION block for each individual row because "When an error is
754
    caught by an EXCEPTION clause, [...] all changes to persistent database
755
    state within the block are rolled back."
756
    This is unfortunate because "A block containing an EXCEPTION clause is
757
    significantly more expensive to enter and exit than a block without one."
758 3015 aaronmk
    (http://www.postgresql.org/docs/8.3/static/plpgsql-control-structures.html\
759
#PLPGSQL-ERROR-TRAPPING)
760
    */
761 3092 aaronmk
    FOR '''+(', '.join((v.to_str(db) for v in row_vars)))+''' IN
762 3034 aaronmk
'''+select_query+'''
763
    LOOP
764 3015 aaronmk
        BEGIN
765 3019 aaronmk
            RETURN QUERY
766 3014 aaronmk
'''+mk_insert(sql_gen.Values(row).to_str(db))+'''
767 3010 aaronmk
;
768 3015 aaronmk
        EXCEPTION
769 3019 aaronmk
            WHEN unique_violation THEN NULL; -- continue to next row
770 3015 aaronmk
        END;
771 3010 aaronmk
    END LOOP;
772
END;\
773 3009 aaronmk
'''
774
    else: query = mk_insert(select_query)
775
776 2070 aaronmk
    if embeddable:
777
        # Create function
778 2513 aaronmk
        function_name = sql_gen.clean_name(first_line)
779 3181 aaronmk
        if src != None: function_name = src+': '+function_name
780 2189 aaronmk
        while True:
781
            try:
782 2918 aaronmk
                function = db.TempFunction(function_name)
783 2194 aaronmk
784 2189 aaronmk
                function_query = '''\
785 2698 aaronmk
CREATE FUNCTION '''+function.to_str(db)+'''()
786 3017 aaronmk
RETURNS SETOF '''+return_type+'''
787 3009 aaronmk
LANGUAGE '''+lang+'''
788 2467 aaronmk
AS $$
789 3009 aaronmk
'''+query+'''
790 2467 aaronmk
$$;
791 2070 aaronmk
'''
792 2446 aaronmk
                run_query(db, function_query, recover=True, cacheable=True,
793 2945 aaronmk
                    log_ignore_excs=(DuplicateException,))
794 2189 aaronmk
                break # this version was successful
795 2945 aaronmk
            except DuplicateException, e:
796 2189 aaronmk
                function_name = next_version(function_name)
797
                # try again with next version of name
798 2070 aaronmk
799 2337 aaronmk
        # Return query that uses function
800 3009 aaronmk
        cols = None
801
        if returning != None: cols = [returning]
802 2698 aaronmk
        func_table = sql_gen.NamedTable('f', sql_gen.FunctionCall(function),
803 3009 aaronmk
            cols) # AS clause requires function alias
804 2787 aaronmk
        return mk_select(db, func_table, start=0, order_by=None)
805 2070 aaronmk
806 2787 aaronmk
    return query
807 2066 aaronmk
808 3074 aaronmk
def insert_select(db, table, *args, **kw_args):
809 2085 aaronmk
    '''For params, see mk_insert_select() and run_query_into()
810 2386 aaronmk
    @param into sql_gen.Table with suggested name of temp table to put RETURNING
811
        values in
812 2072 aaronmk
    '''
813 3141 aaronmk
    returning = kw_args.get('returning', None)
814
    ignore = kw_args.get('ignore', False)
815
816 2386 aaronmk
    into = kw_args.pop('into', None)
817
    if into != None: kw_args['embeddable'] = True
818 2066 aaronmk
    recover = kw_args.pop('recover', None)
819 3141 aaronmk
    if ignore: recover = True
820 2066 aaronmk
    cacheable = kw_args.pop('cacheable', True)
821 2673 aaronmk
    log_level = kw_args.pop('log_level', 2)
822 2066 aaronmk
823 3141 aaronmk
    rowcount_only = ignore and returning == None # keep NULL rows on server
824
    if rowcount_only: into = sql_gen.Table('rowcount')
825
826 3074 aaronmk
    cur = run_query_into(db, mk_insert_select(db, table, *args, **kw_args),
827
        into, recover=recover, cacheable=cacheable, log_level=log_level)
828 3141 aaronmk
    if rowcount_only: empty_temp(db, into)
829 3074 aaronmk
    autoanalyze(db, table)
830
    return cur
831 2063 aaronmk
832 2738 aaronmk
default = sql_gen.default # tells insert() to use the default value for a column
833 2066 aaronmk
834 2063 aaronmk
def insert(db, table, row, *args, **kw_args):
835 2085 aaronmk
    '''For params, see insert_select()'''
836 1960 aaronmk
    if lists.is_seq(row): cols = None
837
    else:
838
        cols = row.keys()
839
        row = row.values()
840 2738 aaronmk
    row = list(row) # ensure that "== []" works
841 1960 aaronmk
842 2738 aaronmk
    if row == []: query = None
843
    else: query = sql_gen.Values(row).to_str(db)
844 1961 aaronmk
845 2788 aaronmk
    return insert_select(db, table, cols, query, *args, **kw_args)
846 11 aaronmk
847 3152 aaronmk
def mk_update(db, table, changes=None, cond=None, in_place=False,
848 3153 aaronmk
    cacheable_=True):
849 2402 aaronmk
    '''
850
    @param changes [(col, new_value),...]
851
        * container can be any iterable type
852
        * col: sql_gen.Code|str (for col name)
853
        * new_value: sql_gen.Code|literal value
854
    @param cond sql_gen.Code WHERE condition. e.g. use sql_gen.*Cond objects.
855 3056 aaronmk
    @param in_place If set, locks the table and updates rows in place.
856
        This avoids creating dead rows in PostgreSQL.
857
        * cond must be None
858 3153 aaronmk
    @param cacheable_ Whether column structure information used to generate the
859 3152 aaronmk
        query can be cached
860 2402 aaronmk
    @return str query
861
    '''
862 3057 aaronmk
    table = sql_gen.as_Table(table)
863
    changes = [(sql_gen.to_name_only_col(c, table), sql_gen.as_Value(v))
864
        for c, v in changes]
865
866 3056 aaronmk
    if in_place:
867
        assert cond == None
868 3058 aaronmk
869 3065 aaronmk
        query = 'ALTER TABLE '+table.to_str(db)+'\n'
870
        query += ',\n'.join(('ALTER COLUMN '+c.to_str(db)+' TYPE '
871 3153 aaronmk
            +db.col_info(sql_gen.with_default_table(c, table), cacheable_).type
872 3065 aaronmk
            +'\nUSING '+v.to_str(db) for c, v in changes))
873 3058 aaronmk
    else:
874
        query = 'UPDATE '+table.to_str(db)+'\nSET\n'
875
        query += ',\n'.join((c.to_str(db)+' = '+v.to_str(db)
876
            for c, v in changes))
877
        if cond != None: query += '\nWHERE\n'+cond.to_str(db)
878 3056 aaronmk
879 2402 aaronmk
    return query
880
881 3074 aaronmk
def update(db, table, *args, **kw_args):
882 2402 aaronmk
    '''For params, see mk_update() and run_query()'''
883
    recover = kw_args.pop('recover', None)
884 3043 aaronmk
    cacheable = kw_args.pop('cacheable', False)
885 3030 aaronmk
    log_level = kw_args.pop('log_level', 2)
886 2402 aaronmk
887 3074 aaronmk
    cur = run_query(db, mk_update(db, table, *args, **kw_args), recover,
888
        cacheable, log_level=log_level)
889
    autoanalyze(db, table)
890
    return cur
891 2402 aaronmk
892 135 aaronmk
def last_insert_id(db):
893 1849 aaronmk
    module = util.root_module(db.db)
894 135 aaronmk
    if module == 'psycopg2': return value(run_query(db, 'SELECT lastval()'))
895
    elif module == 'MySQLdb': return db.insert_id()
896
    else: return None
897 13 aaronmk
898 2394 aaronmk
def mk_flatten_mapping(db, into, cols, preserve=[], as_items=False):
899 2383 aaronmk
    '''Creates a mapping from original column names (which may have collisions)
900 2415 aaronmk
    to names that will be distinct among the columns' tables.
901 2383 aaronmk
    This is meant to be used for several tables that are being joined together.
902 2415 aaronmk
    @param cols The columns to combine. Duplicates will be removed.
903
    @param into The table for the new columns.
904 2394 aaronmk
    @param preserve [sql_gen.Col...] Columns not to rename. Note that these
905
        columns will be included in the mapping even if they are not in cols.
906
        The tables of the provided Col objects will be changed to into, so make
907
        copies of them if you want to keep the original tables.
908
    @param as_items Whether to return a list of dict items instead of a dict
909 2383 aaronmk
    @return dict(orig_col=new_col, ...)
910
        * orig_col: sql_gen.Col(orig_col_name, orig_table)
911 2392 aaronmk
        * new_col: sql_gen.Col(orig_col_name, into)
912
        * All mappings use the into table so its name can easily be
913 2383 aaronmk
          changed for all columns at once
914
    '''
915 2415 aaronmk
    cols = lists.uniqify(cols)
916
917 2394 aaronmk
    items = []
918 2389 aaronmk
    for col in preserve:
919 2390 aaronmk
        orig_col = copy.copy(col)
920 2392 aaronmk
        col.table = into
921 2394 aaronmk
        items.append((orig_col, col))
922
    preserve = set(preserve)
923
    for col in cols:
924 2716 aaronmk
        if col not in preserve:
925
            items.append((col, sql_gen.Col(str(col), into, col.srcs)))
926 2394 aaronmk
927
    if not as_items: items = dict(items)
928
    return items
929 2383 aaronmk
930 2393 aaronmk
def flatten(db, into, joins, cols, limit=None, start=None, **kw_args):
931 2391 aaronmk
    '''For params, see mk_flatten_mapping()
932
    @return See return value of mk_flatten_mapping()
933
    '''
934 2394 aaronmk
    items = mk_flatten_mapping(db, into, cols, as_items=True, **kw_args)
935
    cols = [sql_gen.NamedCol(new.name, old) for old, new in items]
936 2786 aaronmk
    run_query_into(db, mk_select(db, joins, cols, limit=limit, start=start),
937 3166 aaronmk
        into=into)
938 2394 aaronmk
    return dict(items)
939 2391 aaronmk
940 3079 aaronmk
##### Database structure introspection
941 2414 aaronmk
942 3079 aaronmk
#### Tables
943
944
def tables(db, schema_like='public', table_like='%', exact=False):
945
    if exact: compare = '='
946
    else: compare = 'LIKE'
947
948
    module = util.root_module(db.db)
949
    if module == 'psycopg2':
950
        conds = [('schemaname', sql_gen.CompareCond(schema_like, compare)),
951
            ('tablename', sql_gen.CompareCond(table_like, compare))]
952
        return values(select(db, 'pg_tables', ['tablename'], conds,
953
            order_by='tablename', log_level=4))
954
    elif module == 'MySQLdb':
955
        return values(run_query(db, 'SHOW TABLES LIKE '+db.esc_value(table_like)
956
            , cacheable=True, log_level=4))
957
    else: raise NotImplementedError("Can't list tables for "+module+' database')
958
959
def table_exists(db, table):
960
    table = sql_gen.as_Table(table)
961
    return list(tables(db, table.schema, table.name, exact=True)) != []
962
963 2426 aaronmk
def table_row_count(db, table, recover=None):
964 2786 aaronmk
    return value(run_query(db, mk_select(db, table, [sql_gen.row_count],
965 2443 aaronmk
        order_by=None, start=0), recover=recover, log_level=3))
966 2426 aaronmk
967 2414 aaronmk
def table_cols(db, table, recover=None):
968
    return list(col_names(select(db, table, limit=0, order_by=None,
969 2443 aaronmk
        recover=recover, log_level=4)))
970 2414 aaronmk
971 2291 aaronmk
def pkey(db, table, recover=None):
972 832 aaronmk
    '''Assumed to be first column in table'''
973 2339 aaronmk
    return table_cols(db, table, recover)[0]
974 832 aaronmk
975 2559 aaronmk
not_null_col = 'not_null_col'
976 2340 aaronmk
977
def table_not_null_col(db, table, recover=None):
978
    '''Name assumed to be the value of not_null_col. If not found, uses pkey.'''
979
    if not_null_col in table_cols(db, table, recover): return not_null_col
980
    else: return pkey(db, table, recover)
981
982 853 aaronmk
def index_cols(db, table, index):
983
    '''Can also use this for UNIQUE constraints, because a UNIQUE index is
984
    automatically created. When you don't know whether something is a UNIQUE
985
    constraint or a UNIQUE index, use this function.'''
986 1909 aaronmk
    module = util.root_module(db.db)
987
    if module == 'psycopg2':
988
        return list(values(run_query(db, '''\
989 853 aaronmk
SELECT attname
990 866 aaronmk
FROM
991
(
992
        SELECT attnum, attname
993
        FROM pg_index
994
        JOIN pg_class index ON index.oid = indexrelid
995
        JOIN pg_class table_ ON table_.oid = indrelid
996
        JOIN pg_attribute ON attrelid = indrelid AND attnum = ANY (indkey)
997
        WHERE
998 2782 aaronmk
            table_.relname = '''+db.esc_value(table)+'''
999
            AND index.relname = '''+db.esc_value(index)+'''
1000 866 aaronmk
    UNION
1001
        SELECT attnum, attname
1002
        FROM
1003
        (
1004
            SELECT
1005
                indrelid
1006
                , (regexp_matches(indexprs, E':varattno (\\\\d+)', 'g'))[1]::int
1007
                    AS indkey
1008
            FROM pg_index
1009
            JOIN pg_class index ON index.oid = indexrelid
1010
            JOIN pg_class table_ ON table_.oid = indrelid
1011
            WHERE
1012 2782 aaronmk
                table_.relname = '''+db.esc_value(table)+'''
1013
                AND index.relname = '''+db.esc_value(index)+'''
1014 866 aaronmk
        ) s
1015
        JOIN pg_attribute ON attrelid = indrelid AND attnum = indkey
1016
) s
1017 853 aaronmk
ORDER BY attnum
1018 2782 aaronmk
'''
1019
            , cacheable=True, log_level=4)))
1020 1909 aaronmk
    else: raise NotImplementedError("Can't list index columns for "+module+
1021
        ' database')
1022 853 aaronmk
1023 464 aaronmk
def constraint_cols(db, table, constraint):
1024 1849 aaronmk
    module = util.root_module(db.db)
1025 464 aaronmk
    if module == 'psycopg2':
1026
        return list(values(run_query(db, '''\
1027
SELECT attname
1028
FROM pg_constraint
1029
JOIN pg_class ON pg_class.oid = conrelid
1030
JOIN pg_attribute ON attrelid = conrelid AND attnum = ANY (conkey)
1031
WHERE
1032 2783 aaronmk
    relname = '''+db.esc_value(table)+'''
1033
    AND conname = '''+db.esc_value(constraint)+'''
1034 464 aaronmk
ORDER BY attnum
1035 2783 aaronmk
'''
1036
            )))
1037 464 aaronmk
    else: raise NotImplementedError("Can't list constraint columns for "+module+
1038
        ' database')
1039
1040 3079 aaronmk
#### Functions
1041
1042
def function_exists(db, function):
1043
    function = sql_gen.as_Function(function)
1044
1045
    info_table = sql_gen.Table('routines', 'information_schema')
1046
    conds = [('routine_name', function.name)]
1047
    schema = function.schema
1048
    if schema != None: conds.append(('routine_schema', schema))
1049
    # Exclude trigger functions, since they cannot be called directly
1050
    conds.append(('data_type', sql_gen.CompareCond('trigger', '!=')))
1051
1052
    return list(values(select(db, info_table, ['routine_name'], conds,
1053
        order_by='routine_schema', limit=1, log_level=4))) != []
1054
        # TODO: order_by search_path schema order
1055
1056
##### Structural changes
1057
1058
#### Columns
1059
1060
def add_col(db, table, col, comment=None, **kw_args):
1061
    '''
1062
    @param col TypedCol Name may be versioned, so be sure to propagate any
1063
        renaming back to any source column for the TypedCol.
1064
    @param comment None|str SQL comment used to distinguish columns of the same
1065
        name from each other when they contain different data, to allow the
1066
        ADD COLUMN query to be cached. If not set, query will not be cached.
1067
    '''
1068
    assert isinstance(col, sql_gen.TypedCol)
1069
1070
    while True:
1071
        str_ = 'ALTER TABLE '+table.to_str(db)+' ADD COLUMN '+col.to_str(db)
1072
        if comment != None: str_ += ' '+sql_gen.esc_comment(comment)
1073
1074
        try:
1075
            run_query(db, str_, recover=True, cacheable=True, **kw_args)
1076
            break
1077
        except DuplicateException:
1078
            col.name = next_version(col.name)
1079
            # try again with next version of name
1080
1081
def add_not_null(db, col):
1082
    table = col.table
1083
    col = sql_gen.to_name_only_col(col)
1084
    run_query(db, 'ALTER TABLE '+table.to_str(db)+' ALTER COLUMN '
1085
        +col.to_str(db)+' SET NOT NULL', cacheable=True, log_level=3)
1086
1087 2096 aaronmk
row_num_col = '_row_num'
1088
1089 3079 aaronmk
row_num_typed_col = sql_gen.TypedCol(row_num_col, 'serial', nullable=False,
1090
    constraints='PRIMARY KEY')
1091
1092
def add_row_num(db, table):
1093
    '''Adds a row number column to a table. Its name is in row_num_col. It will
1094
    be the primary key.'''
1095
    add_col(db, table, row_num_typed_col, log_level=3)
1096
1097
#### Indexes
1098
1099
def add_pkey(db, table, cols=None, recover=None):
1100
    '''Adds a primary key.
1101
    @param cols [sql_gen.Col,...] The columns in the primary key.
1102
        Defaults to the first column in the table.
1103
    @pre The table must not already have a primary key.
1104
    '''
1105
    table = sql_gen.as_Table(table)
1106
    if cols == None: cols = [pkey(db, table, recover)]
1107
    col_strs = [sql_gen.to_name_only_col(v).to_str(db) for v in cols]
1108
1109
    run_query(db, 'ALTER TABLE '+table.to_str(db)+' ADD PRIMARY KEY ('
1110
        +(', '.join(col_strs))+')', recover=True, cacheable=True, log_level=3,
1111
        log_ignore_excs=(DuplicateException,))
1112
1113 2998 aaronmk
def add_index(db, exprs, table=None, unique=False, ensure_not_null_=True):
1114 2688 aaronmk
    '''Adds an index on column(s) or expression(s) if it doesn't already exist.
1115 2538 aaronmk
    Currently, only function calls are supported as expressions.
1116 2998 aaronmk
    @param ensure_not_null_ If set, translates NULL values to sentinel values.
1117 2847 aaronmk
        This allows indexes to be used for comparisons where NULLs are equal.
1118 2538 aaronmk
    '''
1119 2964 aaronmk
    exprs = lists.mk_seq(exprs)
1120 2538 aaronmk
1121 2688 aaronmk
    # Parse exprs
1122
    old_exprs = exprs[:]
1123
    exprs = []
1124
    cols = []
1125
    for i, expr in enumerate(old_exprs):
1126 2823 aaronmk
        expr = sql_gen.as_Col(expr, table)
1127 2688 aaronmk
1128 2823 aaronmk
        # Handle nullable columns
1129 2998 aaronmk
        if ensure_not_null_:
1130 3164 aaronmk
            try: expr = sql_gen.ensure_not_null(db, expr)
1131 2860 aaronmk
            except KeyError: pass # unknown type, so just create plain index
1132 2823 aaronmk
1133 2688 aaronmk
        # Extract col
1134 3002 aaronmk
        expr = copy.deepcopy(expr) # don't modify input!
1135 2688 aaronmk
        if isinstance(expr, sql_gen.FunctionCall):
1136
            col = expr.args[0]
1137
            expr = sql_gen.Expr(expr)
1138
        else: col = expr
1139 2823 aaronmk
        assert isinstance(col, sql_gen.Col)
1140 2688 aaronmk
1141
        # Extract table
1142
        if table == None:
1143
            assert sql_gen.is_table_col(col)
1144
            table = col.table
1145
1146
        col.table = None
1147
1148
        exprs.append(expr)
1149
        cols.append(col)
1150 2408 aaronmk
1151 2688 aaronmk
    table = sql_gen.as_Table(table)
1152
1153 3005 aaronmk
    # Add index
1154 3148 aaronmk
    str_ = 'CREATE'
1155
    if unique: str_ += ' UNIQUE'
1156
    str_ += ' INDEX ON '+table.to_str(db)+' ('+(
1157
        ', '.join((v.to_str(db) for v in exprs)))+')'
1158
    run_query(db, str_, recover=True, cacheable=True, log_level=3)
1159 2408 aaronmk
1160 3083 aaronmk
already_indexed = object() # tells add_indexes() the pkey has already been added
1161
1162
def add_indexes(db, table, has_pkey=True):
1163
    '''Adds an index on all columns in a table.
1164
    @param has_pkey bool|already_indexed Whether a pkey instead of a regular
1165
        index should be added on the first column.
1166
        * If already_indexed, the pkey is assumed to have already been added
1167
    '''
1168
    cols = table_cols(db, table)
1169
    if has_pkey:
1170
        if has_pkey is not already_indexed: add_pkey(db, table)
1171
        cols = cols[1:]
1172
    for col in cols: add_index(db, col, table)
1173
1174 3079 aaronmk
#### Tables
1175 2772 aaronmk
1176 3079 aaronmk
### Maintenance
1177 2772 aaronmk
1178 3079 aaronmk
def analyze(db, table):
1179
    table = sql_gen.as_Table(table)
1180
    run_query(db, 'ANALYZE '+table.to_str(db), log_level=3)
1181 2934 aaronmk
1182 3079 aaronmk
def autoanalyze(db, table):
1183
    if db.autoanalyze: analyze(db, table)
1184 2935 aaronmk
1185 3079 aaronmk
def vacuum(db, table):
1186
    table = sql_gen.as_Table(table)
1187
    db.with_autocommit(lambda: run_query(db, 'VACUUM ANALYZE '+table.to_str(db),
1188
        log_level=3))
1189 2086 aaronmk
1190 3079 aaronmk
### Lifecycle
1191
1192 3247 aaronmk
def drop(db, type_, name):
1193
    name = sql_gen.as_Name(name)
1194
    run_query(db, 'DROP '+type_+' IF EXISTS '+name.to_str(db)+' CASCADE')
1195 2889 aaronmk
1196 3247 aaronmk
def drop_table(db, table): drop(db, 'TABLE', table)
1197
1198 3082 aaronmk
def create_table(db, table, cols=[], has_pkey=True, col_indexes=True,
1199
    like=None):
1200 2675 aaronmk
    '''Creates a table.
1201 2681 aaronmk
    @param cols [sql_gen.TypedCol,...] The column names and types
1202
    @param has_pkey If set, the first column becomes the primary key.
1203 2760 aaronmk
    @param col_indexes bool|[ref]
1204
        * If True, indexes will be added on all non-pkey columns.
1205
        * If a list reference, [0] will be set to a function to do this.
1206
          This can be used to delay index creation until the table is populated.
1207 2675 aaronmk
    '''
1208
    table = sql_gen.as_Table(table)
1209
1210 3082 aaronmk
    if like != None:
1211
        cols = [sql_gen.CustomCode('LIKE '+like.to_str(db)+' INCLUDING ALL')
1212
            ]+cols
1213 2681 aaronmk
    if has_pkey:
1214
        cols[0] = pkey = copy.copy(cols[0]) # don't modify input!
1215 2872 aaronmk
        pkey.constraints = 'PRIMARY KEY'
1216 2681 aaronmk
1217 3085 aaronmk
    temp = table.is_temp and not db.debug_temp
1218
        # temp tables permanent in debug_temp mode
1219 2760 aaronmk
1220 3085 aaronmk
    # Create table
1221
    while True:
1222
        str_ = 'CREATE'
1223
        if temp: str_ += ' TEMP'
1224
        str_ += ' TABLE '+table.to_str(db)+' (\n'
1225
        str_ += '\n, '.join(c.to_str(db) for c in cols)
1226 3126 aaronmk
        str_ += '\n);'
1227 3085 aaronmk
1228
        try:
1229 3127 aaronmk
            run_query(db, str_, recover=True, cacheable=True, log_level=2,
1230 3085 aaronmk
                log_ignore_excs=(DuplicateException,))
1231
            break
1232
        except DuplicateException:
1233
            table.name = next_version(table.name)
1234
            # try again with next version of name
1235
1236 2760 aaronmk
    # Add indexes
1237 2773 aaronmk
    if has_pkey: has_pkey = already_indexed
1238
    def add_indexes_(): add_indexes(db, table, has_pkey)
1239
    if isinstance(col_indexes, list): col_indexes[0] = add_indexes_ # defer
1240
    elif col_indexes: add_indexes_() # add now
1241 2675 aaronmk
1242 3084 aaronmk
def copy_table_struct(db, src, dest):
1243
    '''Creates a structure-only copy of a table. (Does not copy data.)'''
1244 3085 aaronmk
    create_table(db, dest, has_pkey=False, col_indexes=False, like=src)
1245 3084 aaronmk
1246 3079 aaronmk
### Data
1247 2684 aaronmk
1248 2970 aaronmk
def truncate(db, table, schema='public', **kw_args):
1249
    '''For params, see run_query()'''
1250 2777 aaronmk
    table = sql_gen.as_Table(table, schema)
1251 2970 aaronmk
    return run_query(db, 'TRUNCATE '+table.to_str(db)+' CASCADE', **kw_args)
1252 2732 aaronmk
1253 2965 aaronmk
def empty_temp(db, tables):
1254
    tables = lists.mk_seq(tables)
1255 2971 aaronmk
    for table in tables: truncate(db, table, log_level=3)
1256 2965 aaronmk
1257 1968 aaronmk
def empty_db(db, schema='public', **kw_args):
1258
    '''For kw_args, see tables()'''
1259
    for table in tables(db, schema, **kw_args): truncate(db, table, schema)
1260 3094 aaronmk
1261
def distinct_table(db, table, distinct_on):
1262
    '''Creates a copy of a temp table which is distinct on the given columns.
1263 3099 aaronmk
    The old and new tables will both get an index on these columns, to
1264
    facilitate merge joins.
1265 3097 aaronmk
    @param distinct_on If empty, creates a table with one row. This is useful if
1266
        your distinct_on columns are all literal values.
1267 3099 aaronmk
    @return The new table.
1268 3094 aaronmk
    '''
1269 3099 aaronmk
    new_table = sql_gen.suffixed_table(table, '_distinct')
1270 3094 aaronmk
1271 3099 aaronmk
    copy_table_struct(db, table, new_table)
1272 3097 aaronmk
1273
    limit = None
1274
    if distinct_on == []: limit = 1 # one sample row
1275 3099 aaronmk
    else:
1276
        add_index(db, distinct_on, new_table, unique=True)
1277
        add_index(db, distinct_on, table) # for join optimization
1278 3097 aaronmk
1279 3099 aaronmk
    insert_select(db, new_table, None, mk_select(db, table, start=0,
1280 3097 aaronmk
        limit=limit), ignore=True)
1281 3099 aaronmk
    analyze(db, new_table)
1282 3094 aaronmk
1283 3099 aaronmk
    return new_table