Project

General

Profile

1 3077 aaronmk
# Database import/export
2
3 3534 aaronmk
import copy
4 4995 aaronmk
import csv
5 3431 aaronmk
import operator
6 3714 aaronmk
import warnings
7 5588 aaronmk
import sys
8 3431 aaronmk
9 4995 aaronmk
import csvs
10 3077 aaronmk
import exc
11
import dicts
12
import sql
13
import sql_gen
14 5588 aaronmk
import streams
15 3077 aaronmk
import strings
16
import util
17
18 3645 aaronmk
##### Exceptions
19
20
# Can't use built-in SyntaxError because it stringifies to only the first line
21
class SyntaxError(Exception): pass
22
23 3081 aaronmk
##### Data cleanup
24
25 10187 aaronmk
def table_nulls_mapped__set(db, table):
26
    assert isinstance(table, sql_gen.Table)
27
    sql.run_query(db, 'SELECT util.table_nulls_mapped__set('
28
        +sql_gen.table2regclass_text(db, table)+')')
29
30
def table_nulls_mapped__get(db, table):
31
    assert isinstance(table, sql_gen.Table)
32
    return sql.value(sql.run_query(db, 'SELECT util.table_nulls_mapped__get('
33
        +sql_gen.table2regclass_text(db, table)+')'))
34
35 4915 aaronmk
null_strs = ['', '-', r'\N', 'NULL', 'UNKNOWN', 'nulo']
36 4209 aaronmk
37 4447 aaronmk
def cleanup_table(db, table):
38 10188 aaronmk
    '''idempotent'''
39 3081 aaronmk
    table = sql_gen.as_Table(table)
40 10195 aaronmk
    assert sql.table_exists(db, table)
41 10188 aaronmk
42
    if table_nulls_mapped__get(db, table): return # already cleaned up
43
44 5384 aaronmk
    cols = filter(lambda c: sql_gen.is_text_col(db, c),
45
        sql.table_cols(db, table))
46 5394 aaronmk
    try: pkey_col = sql.table_pkey_col(db, table)
47
    except sql.DoesNotExistException: pass
48
    else:
49
        try: cols.remove(pkey_col)
50
        except ValueError: pass
51 4928 aaronmk
    if not cols: return
52 3081 aaronmk
53 4993 aaronmk
    db.log_debug('Cleaning up table', level=1.5)
54
55 4209 aaronmk
    expr = 'trim(both from %s)'
56
    for null in null_strs: expr = 'nullif('+expr+', '+db.esc_value(null)+')'
57
    changes = [(v, sql_gen.CustomCode(expr % v.to_str(db))) for v in cols]
58 3081 aaronmk
59 4444 aaronmk
    while True:
60
        try:
61
            sql.update(db, table, changes, in_place=True, recover=True)
62
            break # successful
63
        except sql.NullValueException, e:
64 4457 aaronmk
            db.log_debug('Caught exception: '+exc.str_(e))
65 4444 aaronmk
            col, = e.cols
66
            sql.drop_not_null(db, col)
67 4992 aaronmk
68
    db.log_debug('Vacuuming and reanalyzing table', level=1.5)
69
    sql.vacuum(db, table)
70 10188 aaronmk
71
    table_nulls_mapped__set(db, table)
72 3081 aaronmk
73 3078 aaronmk
##### Error tracking
74
75
def track_data_error(db, errors_table, cols, value, error_code, error):
76
    '''
77
    @param errors_table If None, does nothing.
78
    '''
79 5817 aaronmk
    if errors_table == None: return
80 3078 aaronmk
81 5815 aaronmk
    col_names = [c.name for c in cols]
82
    if not col_names: col_names = [None] # need at least one entry
83
    for col_name in col_names:
84 3078 aaronmk
        try:
85 5815 aaronmk
            sql.insert(db, errors_table, dict(column=col_name, value=value,
86 3078 aaronmk
                error_code=error_code, error=error), recover=True,
87
                cacheable=True, log_level=4)
88
        except sql.DuplicateKeyException: pass
89
90 3506 aaronmk
class ExcToErrorsTable(sql_gen.ExcToWarning):
91
    '''Handles an exception by saving it or converting it to a warning.'''
92 3511 aaronmk
    def __init__(self, return_, srcs, errors_table, value=None):
93 3506 aaronmk
        '''
94
        @param return_ See sql_gen.ExcToWarning
95
        @param srcs The column names for the errors table
96
        @param errors_table None|sql_gen.Table
97 3511 aaronmk
        @param value The value (or an expression for it) that caused the error
98 3506 aaronmk
        @pre The invalid value must be in a local variable "value" of type text.
99
        '''
100
        sql_gen.ExcToWarning.__init__(self, return_)
101
102 3511 aaronmk
        value = sql_gen.as_Code(value)
103
104 3506 aaronmk
        self.srcs = srcs
105
        self.errors_table = errors_table
106 3511 aaronmk
        self.value = value
107 3501 aaronmk
108 3506 aaronmk
    def to_str(self, db):
109
        if not self.srcs or self.errors_table == None:
110
            return sql_gen.ExcToWarning.to_str(self, db)
111
112 3459 aaronmk
        errors_table_cols = map(sql_gen.Col,
113
            ['column', 'value', 'error_code', 'error'])
114 3465 aaronmk
        col_names_query = sql.mk_select(db, sql_gen.NamedValues('c', None,
115 3506 aaronmk
            [[c.name] for c in self.srcs]), order_by=None)
116
        insert_query = sql.mk_insert_select(db, self.errors_table,
117
            errors_table_cols,
118 3465 aaronmk
            sql_gen.Values(errors_table_cols).to_str(db))+';\n'
119 3506 aaronmk
        return '''\
120 3459 aaronmk
-- Save error in errors table.
121
DECLARE
122
    error_code text := SQLSTATE;
123
    error text := SQLERRM;
124 3511 aaronmk
    value text := '''+self.value.to_str(db)+''';
125 3529 aaronmk
    "column" text;
126 3459 aaronmk
BEGIN
127
    -- Insert the value and error for *each* source column.
128 3529 aaronmk
'''+strings.indent(sql_gen.RowExcIgnore(None, col_names_query, insert_query,
129 3467 aaronmk
    row_var=errors_table_cols[0]).to_str(db))+'''
130 3459 aaronmk
END;
131 3501 aaronmk
132 3506 aaronmk
'''+self.return_.to_str(db)
133 3459 aaronmk
134 3507 aaronmk
def data_exception_handler(*args, **kw_args):
135 3506 aaronmk
    '''Handles a data_exception by saving it or converting it to a warning.
136
    For params, see ExcToErrorsTable().
137
    '''
138
    return sql_gen.data_exception_handler(ExcToErrorsTable(*args, **kw_args))
139
140 3078 aaronmk
def cast(db, type_, col, errors_table=None):
141
    '''Casts an (unrenamed) column or value.
142
    If errors_table set and col has srcs, saves errors in errors_table (using
143 3360 aaronmk
    col's srcs attr as source columns). Otherwise, converts errors to warnings.
144 3078 aaronmk
    @param col str|sql_gen.Col|sql_gen.Literal
145
    @param errors_table None|sql_gen.Table|str
146
    '''
147
    col = sql_gen.as_Col(col)
148
149 3112 aaronmk
    # Don't convert exceptions to warnings for user-supplied constants
150
    if isinstance(col, sql_gen.Literal): return sql_gen.Cast(type_, col)
151
152 3078 aaronmk
    assert not isinstance(col, sql_gen.NamedCol)
153
154 3460 aaronmk
    function_name = strings.first_word(type_)
155 3459 aaronmk
    srcs = col.srcs
156 3508 aaronmk
    save_errors = errors_table != None and srcs
157
    if save_errors: # function will be unique for the given srcs
158 3750 aaronmk
        function_name = strings.ustr(sql_gen.FunctionCall(function_name,
159 3508 aaronmk
            *map(sql_gen.to_name_only_col, srcs)))
160 3078 aaronmk
    function = db.TempFunction(function_name)
161
162 3464 aaronmk
    # Create function definition
163
    modifiers = 'STRICT'
164
    if not save_errors: modifiers = 'IMMUTABLE '+modifiers
165 5791 aaronmk
    value_param = sql_gen.FunctionParam('value', 'anyelement')
166 3511 aaronmk
    handler = data_exception_handler('RETURN NULL;\n', srcs, errors_table,
167
        value_param.name)
168 3464 aaronmk
    body = sql_gen.CustomCode(handler.to_str(db, '''\
169 3467 aaronmk
/* The explicit cast to the return type is needed to make the cast happen
170
inside the try block. (Implicit casts to the return type happen at the end
171
of the function, outside any block.) */
172 6300 aaronmk
RETURN '''+sql_gen.Cast(type_, sql_gen.CustomCode('value')).to_str(db)+''';
173 3464 aaronmk
'''))
174
    body.lang='plpgsql'
175 3500 aaronmk
    sql.define_func(db, sql_gen.FunctionDef(function, type_, body,
176 3511 aaronmk
        [value_param], modifiers))
177 3464 aaronmk
178 3078 aaronmk
    return sql_gen.FunctionCall(function, col)
179
180 3538 aaronmk
def func_wrapper_exception_handler(db, return_, args, errors_table):
181 3524 aaronmk
    '''Handles a function call's data_exceptions.
182
    Supports PL/Python functions.
183
    @param return_ See data_exception_handler()
184
    @param args [arg...] Function call's args
185
    @param errors_table See data_exception_handler()
186
    '''
187
    args = filter(sql_gen.has_srcs, args)
188
189
    srcs = sql_gen.cross_join_srcs(args)
190 3538 aaronmk
    value = sql_gen.merge_not_null(db, ',', args)
191 3524 aaronmk
    return sql_gen.NestedExcHandler(
192
        data_exception_handler(return_, srcs, errors_table, value)
193
        , sql_gen.plpythonu_error_handler
194
        )
195
196 3078 aaronmk
def cast_temp_col(db, type_, col, errors_table=None):
197
    '''Like cast(), but creates a new column with the cast values if the input
198
    is a column.
199
    @return The new column or cast value
200
    '''
201
    def cast_(col): return cast(db, type_, col, errors_table)
202
203
    try: col = sql_gen.underlying_col(col)
204
    except sql_gen.NoUnderlyingTableException: return sql_gen.wrap(cast_, col)
205
206
    table = col.table
207 3173 aaronmk
    new_col = sql_gen.suffixed_col(col, '::'+strings.first_word(type_))
208 3078 aaronmk
    expr = cast_(col)
209
210
    # Add column
211
    new_typed_col = sql_gen.TypedCol(new_col.name, type_)
212 3750 aaronmk
    sql.add_col(db, table, new_typed_col, comment=strings.urepr(col)+'::'+type_)
213 3078 aaronmk
    new_col.name = new_typed_col.name # propagate any renaming
214
215 3110 aaronmk
    sql.update(db, table, [(new_col, expr)], in_place=True, recover=True)
216 3078 aaronmk
217
    return new_col
218
219
def errors_table(db, table, if_exists=True):
220
    '''
221
    @param if_exists If set, returns None if the errors table doesn't exist
222
    @return None|sql_gen.Table
223
    '''
224
    table = sql_gen.as_Table(table)
225
    if table.srcs != (): table = table.srcs[0]
226
227
    errors_table = sql_gen.suffixed_table(table, '.errors')
228
    if if_exists and not sql.table_exists(db, errors_table): return None
229
    return errors_table
230
231 4436 aaronmk
def mk_errors_table(db, table):
232
    errors_table_ = errors_table(db, table, if_exists=False)
233 4557 aaronmk
    if sql.table_exists(db, errors_table_, cacheable=False): return
234 4436 aaronmk
235
    typed_cols = [
236 5813 aaronmk
        sql_gen.TypedCol('column', 'text'),
237 4436 aaronmk
        sql_gen.TypedCol('value', 'text'),
238
        sql_gen.TypedCol('error_code', 'character varying(5)', nullable=False),
239
        sql_gen.TypedCol('error', 'text', nullable=False),
240
        ]
241
    sql.create_table(db, errors_table_, typed_cols, has_pkey=False)
242 8077 aaronmk
    index_cols = ['column', sql_gen.CustomCode('md5(value)'), 'error_code',
243
        sql_gen.CustomCode('md5(error)')]
244 4436 aaronmk
    sql.add_index(db, index_cols, errors_table_, unique=True)
245
246 3078 aaronmk
##### Import
247
248 5568 aaronmk
row_num_col_def = copy.copy(sql.row_num_col_def)
249
row_num_col_def.name = 'row_num'
250 5569 aaronmk
row_num_col_def.type = 'integer'
251 5568 aaronmk
252 5590 aaronmk
def append_csv(db, table, reader, header):
253 9508 aaronmk
    def esc_name_(name): return sql.esc_name(db, name)
254 5037 aaronmk
255 5017 aaronmk
    def log(msg, level=1): db.log_debug(msg, level)
256
257 5584 aaronmk
    # Wrap in standardizing stream
258 5590 aaronmk
    cols_ct = len(header)
259 5588 aaronmk
    stream = csvs.InputRewriter(streams.ProgressInputStream(csvs.StreamFilter(
260 5590 aaronmk
        csvs.ColCtFilter(reader, cols_ct)), sys.stderr, msg='Read %d row(s)',
261
        n=1000))
262 5584 aaronmk
    dialect = stream.dialect # use default dialect
263
264
    # Create COPY FROM statement
265 9508 aaronmk
    if header == sql.table_col_names(db, table): cols_str = ''
266
    else: cols_str =' ('+(', '.join(map(esc_name_, header)))+')'
267
    copy_from = ('COPY '+table.to_str(db)+cols_str+' FROM STDIN DELIMITER '
268 5584 aaronmk
        +db.esc_value(dialect.delimiter)+' NULL '+db.esc_value(''))
269
    assert not csvs.is_tsv(dialect)
270
    copy_from += ' CSV'
271
    if dialect.quoting != csv.QUOTE_NONE:
272
        quote_str = db.esc_value(dialect.quotechar)
273
        copy_from += ' QUOTE '+quote_str
274
        if dialect.doublequote: copy_from += ' ESCAPE '+quote_str
275
    copy_from += ';\n'
276
277
    log(copy_from, level=2)
278
    try: db.db.cursor().copy_expert(copy_from, stream)
279
    except Exception, e: sql.parse_exception(db, e, recover=True)
280 5017 aaronmk
281 5591 aaronmk
def import_csv(db, table, reader, header):
282 4995 aaronmk
    def log(msg, level=1): db.log_debug(msg, level)
283
284
    # Get format info
285 5590 aaronmk
    col_names = map(strings.to_unicode, header)
286 4995 aaronmk
    for i, col in enumerate(col_names): # replace empty column names
287
        if col == '': col_names[i] = 'column_'+str(i)
288
289
    # Select schema and escape names
290
    def esc_name(name): return db.esc_name(name)
291
292
    typed_cols = [sql_gen.TypedCol(v, 'text') for v in col_names]
293 5594 aaronmk
    typed_cols.insert(0, row_num_col_def)
294
    header.insert(0, row_num_col_def.name)
295
    reader = csvs.RowNumFilter(reader)
296 4995 aaronmk
297
    log('Creating table')
298 4999 aaronmk
    # Note that this is not rolled back if the import fails. Instead, it is
299
    # cached, and will not be re-run if the import is retried.
300 4995 aaronmk
    sql.create_table(db, table, typed_cols, has_pkey=False, col_indexes=False)
301
302 5001 aaronmk
    # Free memory used by deleted (rolled back) rows from any failed import.
303
    # This MUST be run so that the rows will be stored in inserted order, and
304
    # the row_num added after import will match up with the CSV's row order.
305 4999 aaronmk
    sql.truncate(db, table)
306
307 4995 aaronmk
    # Load the data
308 5590 aaronmk
    def load(): append_csv(db, table, reader, header)
309 5583 aaronmk
    sql.with_savepoint(db, load)
310 4995 aaronmk
311
    cleanup_table(db, table)
312
313 5719 aaronmk
def put(db, table, row, pkey_=None, row_ct_ref=None, on_error=exc.reraise):
314 3077 aaronmk
    '''Recovers from errors.
315
    Only works under PostgreSQL (uses INSERT RETURNING).
316
    '''
317 5719 aaronmk
    return put_table(db, table, [], row, row_ct_ref, on_error=on_error)
318 3077 aaronmk
319
def get(db, table, row, pkey, row_ct_ref=None, create=False):
320
    '''Recovers from errors'''
321
    try:
322
        return sql.value(sql.select(db, table, [pkey], row, limit=1,
323
            recover=True))
324
    except StopIteration:
325
        if not create: raise
326
        return put(db, table, row, pkey, row_ct_ref) # insert new row
327
328
def is_func_result(col):
329
    return col.table.name.find('(') >= 0 and col.name == 'result'
330
331
def into_table_name(out_table, in_tables0, mapping, is_func):
332
    def in_col_str(in_col):
333
        in_col = sql_gen.remove_col_rename(in_col)
334
        if isinstance(in_col, sql_gen.Col):
335
            table = in_col.table
336
            if table == in_tables0:
337
                in_col = sql_gen.to_name_only_col(in_col)
338
            elif is_func_result(in_col): in_col = table # omit col name
339 3750 aaronmk
        return strings.ustr(in_col)
340 3077 aaronmk
341 4491 aaronmk
    str_ = strings.ustr(out_table)
342 3077 aaronmk
    if is_func:
343
        str_ += '('
344
345
        try: value_in_col = mapping['value']
346
        except KeyError:
347 4491 aaronmk
            str_ += ', '.join((strings.ustr(k)+'='+in_col_str(v)
348 3077 aaronmk
                for k, v in mapping.iteritems()))
349
        else: str_ += in_col_str(value_in_col)
350
351
        str_ += ')'
352
    else:
353
        out_col = 'rank'
354
        try: in_col = mapping[out_col]
355
        except KeyError: str_ += '_pkeys'
356
        else: # has a rank column, so hierarchical
357 4491 aaronmk
            str_ += '['+strings.ustr(out_col)+'='+in_col_str(in_col)+']'
358 3077 aaronmk
    return str_
359
360 3628 aaronmk
def put_table(db, out_table, in_tables, mapping, row_ct_ref=None, default=None,
361 3660 aaronmk
    col_defaults={}, on_error=exc.reraise):
362 3077 aaronmk
    '''Recovers from errors.
363
    Only works under PostgreSQL (uses INSERT RETURNING).
364 7392 aaronmk
365 7395 aaronmk
    Warning: This function's normalizing algorithm does not support database
366 10164 aaronmk
    triggers that populate fields covered by the unique constraint used to do
367
    the DISTINCT ON. Such fields must be populated by the mappings instead.
368
    (Other unique constraints and other non-unique fields are not affected by
369
    this restriction on triggers. Note that the primary key will normally not be
370
    the DISTINCT ON constraint, so trigger-populated natural keys are supported
371
    *unless* the input table contains duplicate rows for some generated keys.)
372 7395 aaronmk
373
    Note that much of the complexity of the normalizing algorithm is due to
374
    PostgreSQL (and other DB systems) not having a native command for
375 11033 aaronmk
    INSERT ON DUPLICATE SELECT (wiki.vegpath.org/INSERT_ON_DUPLICATE_SELECT).
376
    For PostgreSQL 9.1+, this can now be emulated using INSTEAD OF triggers.
377
    For earlier versions, you instead have to use this function.
378 10165 aaronmk
379 3077 aaronmk
    @param in_tables The main input table to select from, followed by a list of
380
        tables to join with it using the main input table's pkey
381
    @param mapping dict(out_table_col=in_table_col, ...)
382
        * out_table_col: str (*not* sql_gen.Col)
383
        * in_table_col: sql_gen.Col|literal-value
384
    @param default The *output* column to use as the pkey for missing rows.
385
        If this output column does not exist in the mapping, uses None.
386 3618 aaronmk
    @param col_defaults Default values for required columns.
387 3077 aaronmk
    @return sql_gen.Col Where the output pkeys are made available
388
    '''
389 3474 aaronmk
    import psycopg2.extensions
390
391 6220 aaronmk
    # Special handling for functions with hstore params
392
    if out_table == '_map':
393
        import psycopg2.extras
394
        psycopg2.extras.register_hstore(db.db)
395
396
        # Parse args
397
        try: value = mapping.pop('value')
398
        except KeyError: return None # value required
399
400 6226 aaronmk
        mapping = dict([(k, sql_gen.get_value(v))
401
            for k, v in mapping.iteritems()]) # unwrap literal value
402 6220 aaronmk
        mapping = dict(map=mapping, value=value) # non-value params -> hstore
403
404 3077 aaronmk
    out_table = sql_gen.as_Table(out_table)
405
406
    def log_debug(msg): db.log_debug(msg, level=1.5)
407
    def col_ustr(str_):
408
        return strings.repr_no_u(sql_gen.remove_col_rename(str_))
409
410
    log_debug('********** New iteration **********')
411
    log_debug('Inserting these input columns into '+strings.as_tt(
412
        out_table.to_str(db))+':\n'+strings.as_table(mapping, ustr=col_ustr))
413
414
    is_function = sql.function_exists(db, out_table)
415
416 5192 aaronmk
    if is_function: row_ct_ref = None # only track inserted rows
417
418 4984 aaronmk
    # Warn if inserting empty table rows
419
    if not mapping and not is_function: # functions with no args OK
420
        warnings.warn(UserWarning('Inserting empty table row(s)'))
421
422 3077 aaronmk
    if is_function: out_pkey = 'result'
423 5388 aaronmk
    else: out_pkey = sql.pkey_name(db, out_table, recover=True)
424 3077 aaronmk
    out_pkey_col = sql_gen.as_Col(out_pkey, out_table)
425
426 5069 aaronmk
    in_tables_ = copy.copy(in_tables) # don't modify input!
427 3432 aaronmk
    try: in_tables0 = in_tables_.pop(0) # first table is separate
428
    except IndexError: in_tables0 = None
429
    else:
430 5388 aaronmk
        in_pkey = sql.pkey_name(db, in_tables0, recover=True)
431 3432 aaronmk
        in_pkey_col = sql_gen.as_Col(in_pkey, in_tables0)
432 3431 aaronmk
433
    # Determine if can use optimization for only literal values
434
    is_literals = not reduce(operator.or_, map(sql_gen.is_table_col,
435 3434 aaronmk
        mapping.values()), False)
436 3431 aaronmk
    is_literals_or_function = is_literals or is_function
437
438 3432 aaronmk
    if in_tables0 == None: errors_table_ = None
439
    else: errors_table_ = errors_table(db, in_tables0)
440 3431 aaronmk
441
    # Create input joins from list of input tables
442 3077 aaronmk
    input_joins = [in_tables0]+[sql_gen.Join(v,
443
        {in_pkey: sql_gen.join_same_not_null}) for v in in_tables_]
444
445 5381 aaronmk
    orig_mapping = mapping.copy()
446 3433 aaronmk
    if mapping == {} and not is_function: # need >= one column for INSERT SELECT
447
        mapping = {out_pkey: None} # ColDict will replace with default value
448
449 3431 aaronmk
    if not is_literals:
450 3628 aaronmk
        into = sql_gen.as_Table(into_table_name(out_table, in_tables0, mapping,
451
            is_function))
452 5553 aaronmk
        # Ensure into's out_pkey is different from in_pkey by prepending "out."
453 4495 aaronmk
        if is_function: into_out_pkey = out_pkey
454 5553 aaronmk
        else: into_out_pkey = 'out.'+out_pkey
455 3431 aaronmk
456
        # Set column sources
457
        in_cols = filter(sql_gen.is_table_col, mapping.values())
458
        for col in in_cols:
459
            if col.table == in_tables0: col.set_srcs(sql_gen.src_self)
460
461
        log_debug('Joining together input tables into temp table')
462
        # Place in new table so don't modify input and for speed
463
        in_table = sql_gen.Table('in')
464
        mapping = dicts.join(mapping, sql.flatten(db, in_table, input_joins,
465
            in_cols, preserve=[in_pkey_col]))
466
        input_joins = [in_table]
467
        db.log_debug('Temp table: '+strings.as_tt(in_table.to_str(db)), level=2)
468 3077 aaronmk
469 3692 aaronmk
    # Wrap mapping in a sql_gen.ColDict.
470
    # sql_gen.ColDict sanitizes both keys and values passed into it.
471
    # Do after applying dicts.join() because that returns a plain dict.
472 3077 aaronmk
    mapping = sql_gen.ColDict(db, out_table, mapping)
473
474 5239 aaronmk
    # Save all rows since in_table may have rows deleted
475 3431 aaronmk
    if is_literals: pass
476
    elif is_function: full_in_table = in_table
477 3386 aaronmk
    else:
478
        full_in_table = sql_gen.suffixed_table(in_table, '_full')
479 5530 aaronmk
        sql.copy_table(db, in_table, full_in_table)
480 3287 aaronmk
481 3077 aaronmk
    pkeys_table_exists_ref = [False]
482 5444 aaronmk
    def insert_into_pkeys(query, **kw_args):
483 3077 aaronmk
        if pkeys_table_exists_ref[0]:
484 4484 aaronmk
            sql.insert_select(db, into, [in_pkey, into_out_pkey], query,
485
                **kw_args)
486 3077 aaronmk
        else:
487 6800 aaronmk
            kw_args.setdefault('add_pkey_', True)
488
489
            sql.run_query_into(db, query, into=into, **kw_args)
490 3077 aaronmk
            pkeys_table_exists_ref[0] = True
491
492 5523 aaronmk
    def mk_main_select(joins, cols): return sql.mk_select(db, joins, cols)
493 3418 aaronmk
494 3431 aaronmk
    if is_literals: insert_in_table = None
495
    else:
496
        insert_in_table = in_table
497
        insert_in_tables = [insert_in_table]
498 3352 aaronmk
    join_cols = sql_gen.ColDict(db, out_table)
499 10845 aaronmk
    join_custom_cond = None
500 3077 aaronmk
501
    exc_strs = set()
502
    def log_exc(e):
503
        e_str = exc.str_(e, first_line_only=True)
504
        log_debug('Caught exception: '+e_str)
505 3552 aaronmk
        if e_str in exc_strs: # avoid infinite loops
506
            log_debug('Exception already seen, handler broken')
507
            on_error(e)
508
            remove_all_rows()
509 5718 aaronmk
            return False
510 3552 aaronmk
        else: exc_strs.add(e_str)
511 5718 aaronmk
        return True
512 3077 aaronmk
513 5377 aaronmk
    ignore_all_ref = [False]
514 3077 aaronmk
    def remove_all_rows():
515
        log_debug('Ignoring all rows')
516 5377 aaronmk
        ignore_all_ref[0] = True # just return the default value column
517 3077 aaronmk
518 5889 aaronmk
    def handle_unknown_exc(e):
519
        log_debug('No handler for exception')
520
        on_error(e)
521
        remove_all_rows()
522
523 5504 aaronmk
    def ensure_cond(cond, e, passed=False, failed=False):
524 10838 aaronmk
        '''
525
        @param passed at least one row passed the constraint
526
        @param failed at least one row failed the constraint
527
        '''
528 5449 aaronmk
        if is_literals: # we know the constraint was applied exactly once
529
            if passed: pass
530
            elif failed: remove_all_rows()
531
            else: raise NotImplementedError()
532 3704 aaronmk
        else:
533 5888 aaronmk
            if not is_function:
534
                out_table_cols = sql_gen.ColDict(db, out_table)
535
                out_table_cols.update(util.dict_subset_right_join({},
536
                    sql.table_col_names(db, out_table)))
537 3704 aaronmk
538
            in_cols = []
539 7117 aaronmk
            cond = strings.ustr(cond)
540 5818 aaronmk
            orig_cond = cond
541 5367 aaronmk
            cond = sql_gen.map_expr(db, cond, mapping, in_cols)
542 5888 aaronmk
            if not is_function:
543
                cond = sql_gen.map_expr(db, cond, out_table_cols)
544 3704 aaronmk
545 5442 aaronmk
            log_debug('Ignoring rows that do not satisfy '+strings.as_tt(cond))
546 5449 aaronmk
            cur = None
547
            if cond == sql_gen.false_expr:
548
                assert failed
549
                remove_all_rows()
550
            elif cond == sql_gen.true_expr: assert passed
551 5895 aaronmk
            else:
552
                while True:
553
                    not_cond = sql_gen.NotCond(sql_gen.CustomCode(cond))
554
                    try:
555
                        cur = sql.delete(db, insert_in_table, not_cond)
556
                        break
557
                    except sql.DoesNotExistException, e:
558
                        if e.type != 'column': raise
559
560
                        last_cond = cond
561
                        cond = sql_gen.map_expr(db, cond, {e.name: None})
562
                        if cond == last_cond: raise # not fixable
563 5449 aaronmk
564 5827 aaronmk
            # If any rows failed cond
565
            if failed or cur != None and cur.rowcount > 0:
566 5505 aaronmk
                track_data_error(db, errors_table_,
567
                    sql_gen.cross_join_srcs(in_cols), None, e.cause.pgcode,
568 7117 aaronmk
                    strings.ensure_newl(strings.ustr(e.cause.pgerror))
569
                    +'condition: '+orig_cond+'\ntranslated condition: '+cond)
570 3352 aaronmk
571 3294 aaronmk
    not_null_cols = set()
572 3077 aaronmk
    def ignore(in_col, value, e):
573 3630 aaronmk
        if sql_gen.is_table_col(in_col):
574
            in_col = sql_gen.with_table(in_col, insert_in_table)
575
576
            track_data_error(db, errors_table_, in_col.srcs, value,
577
                e.cause.pgcode, e.cause.pgerror)
578
579
            sql.add_index(db, in_col, insert_in_table) # enable fast filtering
580
            if value != None and in_col not in not_null_cols:
581 4492 aaronmk
                log_debug('Replacing invalid value '
582
                    +strings.as_tt(strings.urepr(value))+' with NULL in column '
583
                    +strings.as_tt(in_col.to_str(db)))
584 3630 aaronmk
                sql.update(db, insert_in_table, [(in_col, None)],
585
                    sql_gen.ColValueCond(in_col, value))
586
            else:
587 3637 aaronmk
                log_debug('Ignoring rows with '+strings.as_tt(in_col.to_str(db))
588 4492 aaronmk
                    +' = '+strings.as_tt(strings.urepr(value)))
589 3630 aaronmk
                sql.delete(db, insert_in_table,
590
                    sql_gen.ColValueCond(in_col, value))
591
                if value == None: not_null_cols.add(in_col)
592 3293 aaronmk
        else:
593 3630 aaronmk
            assert isinstance(in_col, sql_gen.NamedCol)
594 3684 aaronmk
            in_value = sql_gen.remove_col_rename(in_col)
595
            assert sql_gen.is_literal(in_value)
596
            if value == in_value.value:
597
                if value != None:
598
                    log_debug('Replacing invalid literal '
599
                        +strings.as_tt(in_col.to_str(db))+' with NULL')
600
                    mapping[in_col.name] = None
601
                else:
602
                    remove_all_rows()
603
            # otherwise, all columns were being ignore()d because the specific
604
            # column couldn't be identified, and this was not the invalid column
605 3077 aaronmk
606 3431 aaronmk
    if not is_literals:
607
        def insert_pkeys_table(which):
608
            return sql_gen.Table(sql_gen.concat(in_table.name,
609
                '_insert_'+which+'_pkeys'))
610
        insert_out_pkeys = insert_pkeys_table('out')
611
        insert_in_pkeys = insert_pkeys_table('in')
612 3077 aaronmk
613 3918 aaronmk
    def mk_func_call():
614 3550 aaronmk
        args = dict(((k.name, v) for k, v in mapping.iteritems()))
615 4484 aaronmk
        return sql_gen.FunctionCall(out_table, **args), args
616 3550 aaronmk
617 5239 aaronmk
    missing_msg = None
618
619 3077 aaronmk
    # Do inserts and selects
620
    while True:
621 3473 aaronmk
        has_joins = join_cols != {}
622
623 5377 aaronmk
        if ignore_all_ref[0]: break # unrecoverable error, so don't do main case
624 3077 aaronmk
625
        # Prepare to insert new rows
626 3918 aaronmk
        if is_function:
627 5726 aaronmk
            if is_literals:
628
                log_debug('Calling function')
629
                func_call, args = mk_func_call()
630 3077 aaronmk
        else:
631 3550 aaronmk
            log_debug('Trying to insert new rows')
632 3291 aaronmk
            insert_args = dict(recover=True, cacheable=False)
633
            if has_joins:
634
                insert_args.update(dict(ignore=True))
635
            else:
636 3431 aaronmk
                insert_args.update(dict(returning=out_pkey))
637
                if not is_literals:
638
                    insert_args.update(dict(into=insert_out_pkeys))
639 3291 aaronmk
            main_select = mk_main_select([insert_in_table], [sql_gen.with_table(
640
                c, insert_in_table) for c in mapping.values()])
641 3077 aaronmk
642 3292 aaronmk
        try:
643
            cur = None
644 3077 aaronmk
            if is_function:
645 3917 aaronmk
                if is_literals:
646
                    cur = sql.select(db, fields=[func_call], recover=True,
647
                        cacheable=True)
648 5444 aaronmk
                else:
649 5726 aaronmk
                    log_debug('Defining wrapper function')
650
651
                    func_call, args = mk_func_call()
652
                    func_call = sql_gen.NamedCol(into_out_pkey, func_call)
653
654
                    # Create empty pkeys table so its row type can be used
655
                    insert_into_pkeys(sql.mk_select(db, input_joins,
656 6801 aaronmk
                        [in_pkey_col, func_call], limit=0), add_pkey_=False,
657
                        recover=True)
658 5726 aaronmk
                    result_type = db.col_info(sql_gen.Col(into_out_pkey,
659
                        into)).type
660
661
                    ## Create error handling wrapper function
662
663
                    wrapper = db.TempFunction(sql_gen.concat(into.name,
664
                        '_wrap'))
665
666
                    select_cols = [in_pkey_col]+args.values()
667
                    row_var = copy.copy(sql_gen.row_var)
668
                    row_var.set_srcs([in_table])
669
                    in_pkey_var = sql_gen.Col(in_pkey, row_var)
670
671
                    args = dict(((k, sql_gen.with_table(v, row_var))
672
                        for k, v in args.iteritems()))
673
                    func_call = sql_gen.FunctionCall(out_table, **args)
674
675
                    def mk_return(result):
676
                        return sql_gen.ReturnQuery(sql.mk_select(db,
677
                            fields=[in_pkey_var, result], explain=False))
678
                    exc_handler = func_wrapper_exception_handler(db,
679
                        mk_return(sql_gen.Cast(result_type, None)),
680
                        args.values(), errors_table_)
681
682
                    sql.define_func(db, sql_gen.FunctionDef(wrapper,
683
                        sql_gen.SetOf(into),
684
                        sql_gen.RowExcIgnore(sql_gen.RowType(in_table),
685
                            sql.mk_select(db, input_joins),
686
                            mk_return(func_call), exc_handler=exc_handler)
687
                        ))
688
                    wrapper_table = sql_gen.FunctionCall(wrapper)
689
690
                    log_debug('Calling function')
691 5444 aaronmk
                    insert_into_pkeys(sql.mk_select(db, wrapper_table,
692 5894 aaronmk
                        order_by=None), recover=True, cacheable=False)
693 8820 aaronmk
                    sql.add_pkey_or_index(db, into)
694 3077 aaronmk
            else:
695 3292 aaronmk
                cur = sql.insert_select(db, out_table, mapping.keys(),
696 3077 aaronmk
                    main_select, **insert_args)
697
            break # insert successful
698
        except sql.MissingCastException, e:
699 5718 aaronmk
            if not log_exc(e): break
700 3077 aaronmk
701
            type_ = e.type
702 4140 aaronmk
            if e.col == None: out_cols = mapping.keys()
703
            else: out_cols = [e.col]
704 3077 aaronmk
705 4140 aaronmk
            for out_col in out_cols:
706 4171 aaronmk
                log_debug('Casting '+strings.as_tt(strings.repr_no_u(out_col))
707 4140 aaronmk
                    +' input to '+strings.as_tt(type_))
708
                in_col = mapping[out_col]
709
                while True:
710
                    try:
711
                        mapping[out_col] = cast_temp_col(db, type_, in_col,
712
                            errors_table_)
713
                        break # cast successful
714
                    except sql.InvalidValueException, e:
715 5718 aaronmk
                        if not log_exc(e): break
716 4140 aaronmk
717
                        ignore(in_col, e.value, e)
718 3077 aaronmk
        except sql.DuplicateKeyException, e:
719 5718 aaronmk
            if not log_exc(e): break
720 3077 aaronmk
721 3274 aaronmk
            # Different rows violating different unique constraints not
722
            # supported
723
            assert not join_cols
724
725 10845 aaronmk
            join_custom_cond = e.cond
726 5504 aaronmk
            if e.cond != None: ensure_cond(e.cond, e, passed=True)
727 5450 aaronmk
728 3077 aaronmk
            join_cols.update(util.dict_subset_right_join(mapping, e.cols))
729
            log_debug('Ignoring existing rows, comparing on these columns:\n'
730
                +strings.as_inline_table(join_cols, ustr=col_ustr))
731 3102 aaronmk
732 3431 aaronmk
            if is_literals:
733
                return sql.value(sql.select(db, out_table, [out_pkey_col],
734 4025 aaronmk
                    join_cols, order_by=None))
735 3431 aaronmk
736 7180 aaronmk
            # Uniquify and filter input table to avoid (most) duplicate keys
737
            # (Additional duplicates may be added concurrently and will be
738
            # filtered out separately upon insert.)
739 3102 aaronmk
            insert_in_table = sql.distinct_table(db, insert_in_table,
740 7180 aaronmk
                join_cols.values(), [insert_in_table,
741 10843 aaronmk
                sql_gen.Join(out_table, join_cols, sql_gen.filter_out, e.cond)])
742 3144 aaronmk
            insert_in_tables.append(insert_in_table)
743 3077 aaronmk
        except sql.NullValueException, e:
744 5718 aaronmk
            if not log_exc(e): break
745 3077 aaronmk
746
            out_col, = e.cols
747
            try: in_col = mapping[out_col]
748 3618 aaronmk
            except KeyError, e:
749
                try: in_col = mapping[out_col] = col_defaults[out_col]
750
                except KeyError:
751 5239 aaronmk
                    missing_msg = 'Missing mapping for NOT NULL column '+out_col
752
                    log_debug(missing_msg)
753 3618 aaronmk
                    remove_all_rows()
754 3294 aaronmk
            else: ignore(in_col, None, e)
755 3352 aaronmk
        except sql.CheckException, e:
756 5718 aaronmk
            if not log_exc(e): break
757 3352 aaronmk
758 5504 aaronmk
            ensure_cond(e.cond, e, failed=True)
759 3413 aaronmk
        except sql.InvalidValueException, e:
760 5718 aaronmk
            if not log_exc(e): break
761 3413 aaronmk
762
            for in_col in mapping.values(): ignore(in_col, e.value, e)
763 3474 aaronmk
        except psycopg2.extensions.TransactionRollbackError, e:
764 5718 aaronmk
            if not log_exc(e): break
765 3474 aaronmk
            # retry
766 3077 aaronmk
        except sql.DatabaseErrors, e:
767 5718 aaronmk
            if not log_exc(e): break
768 3077 aaronmk
769 5889 aaronmk
            handle_unknown_exc(e)
770 3077 aaronmk
        # after exception handled, rerun loop with additional constraints
771
772 5239 aaronmk
    # Resolve default value column
773
    if default != None:
774 5381 aaronmk
        if ignore_all_ref[0]: mapping.update(orig_mapping) # use input cols
775 5239 aaronmk
        try: default = mapping[default]
776
        except KeyError:
777
            db.log_debug('Default value column '
778
                +strings.as_tt(strings.repr_no_u(default))
779
                +' does not exist in mapping, falling back to None', level=2.1)
780
            default = None
781 5380 aaronmk
        else: default = sql_gen.remove_col_rename(default)
782 5239 aaronmk
783
    if missing_msg != None and default == None:
784
        warnings.warn(UserWarning(missing_msg))
785
        # not an error because sometimes the mappings include
786
        # extra tables which aren't used by the dataset
787
788
    # Handle unrecoverable errors
789 5377 aaronmk
    if ignore_all_ref[0]:
790 5373 aaronmk
        log_debug('Returning default: '+strings.as_tt(strings.urepr(default)))
791
        return default
792 5239 aaronmk
793 3077 aaronmk
    if cur != None and row_ct_ref != None and cur.rowcount >= 0:
794
        row_ct_ref[0] += cur.rowcount
795
796 3530 aaronmk
    if is_literals: return sql.value(cur)
797
798
    if is_function: pass # pkeys table already created
799 3077 aaronmk
    elif has_joins:
800 10845 aaronmk
        select_joins = input_joins+[sql_gen.Join(out_table, join_cols,
801
            custom_cond=join_custom_cond)]
802 3077 aaronmk
        log_debug('Getting output table pkeys of existing/inserted rows')
803 5444 aaronmk
        insert_into_pkeys(sql.mk_select(db, select_joins, [in_pkey_col,
804
            sql_gen.NamedCol(into_out_pkey, out_pkey_col)], order_by=None))
805 3077 aaronmk
    else:
806
        sql.add_row_num(db, insert_out_pkeys) # for joining with input pkeys
807
808
        log_debug('Getting input table pkeys of inserted rows')
809 3285 aaronmk
        # Note that mk_main_select() does not use ORDER BY. Instead, assume that
810
        # since the SELECT query is identical to the one used in INSERT SELECT,
811
        # its rows will be retrieved in the same order.
812 3077 aaronmk
        sql.run_query_into(db, mk_main_select(input_joins, [in_pkey]),
813
            into=insert_in_pkeys)
814
        sql.add_row_num(db, insert_in_pkeys) # for joining with output pkeys
815
816
        assert sql.table_row_count(db, insert_out_pkeys) == sql.table_row_count(
817
            db, insert_in_pkeys)
818
819
        log_debug('Combining output and input pkeys in inserted order')
820
        pkey_joins = [insert_in_pkeys, sql_gen.Join(insert_out_pkeys,
821
            {sql.row_num_col: sql_gen.join_same_not_null})]
822 4484 aaronmk
        in_col = sql_gen.Col(in_pkey, insert_in_pkeys)
823
        out_col = sql_gen.NamedCol(into_out_pkey,
824
            sql_gen.Col(out_pkey, insert_out_pkeys))
825 5444 aaronmk
        insert_into_pkeys(sql.mk_select(db, pkey_joins, [in_col, out_col],
826
            order_by=None))
827 3077 aaronmk
828
        sql.empty_temp(db, [insert_out_pkeys, insert_in_pkeys])
829
830 5374 aaronmk
    if not is_function: # is_function doesn't leave holes
831 3187 aaronmk
        log_debug('Setting pkeys of missing rows to '
832 4492 aaronmk
            +strings.as_tt(strings.urepr(default)))
833 5993 aaronmk
834
        full_in_pkey_col = sql_gen.Col(in_pkey, full_in_table)
835 5380 aaronmk
        if sql_gen.is_table_col(default):
836
            default = sql_gen.with_table(default, full_in_table)
837 3287 aaronmk
        missing_rows_joins = [full_in_table, sql_gen.Join(into,
838 3187 aaronmk
            {in_pkey: sql_gen.join_same_not_null}, sql_gen.filter_out)]
839
            # must use join_same_not_null or query will take forever
840 5993 aaronmk
841
        insert_args = dict(order_by=None)
842
        if not sql.table_has_pkey(db, full_in_table): # in_table has duplicates
843
            insert_args.update(dict(distinct_on=[full_in_pkey_col]))
844
845 5444 aaronmk
        insert_into_pkeys(sql.mk_select(db, missing_rows_joins,
846 5993 aaronmk
            [full_in_pkey_col, sql_gen.NamedCol(into_out_pkey, default)],
847
            **insert_args))
848 3187 aaronmk
    # otherwise, there is already an entry for every row
849 3077 aaronmk
850 3530 aaronmk
    sql.empty_temp(db, insert_in_tables+[full_in_table])
851
852
    srcs = []
853 3619 aaronmk
    if is_function: srcs = sql_gen.cols_srcs(in_cols)
854 4484 aaronmk
    return sql_gen.Col(into_out_pkey, into, srcs)