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