1*1f5207b7SJohn LevonCREATE TABLE return_implies ( 2*1f5207b7SJohn Levon file varchar(128), 3*1f5207b7SJohn Levon function varchar(64), 4*1f5207b7SJohn Levon call_id integer, 5*1f5207b7SJohn Levon static boolean, 6*1f5207b7SJohn Levon type integer, 7*1f5207b7SJohn Levon parameter integer, 8*1f5207b7SJohn Levon key varchar(256), 9*1f5207b7SJohn Levon value varchar(256), 10*1f5207b7SJohn Levon 11*1f5207b7SJohn Levon CONSTRAINT implies_row UNIQUE (file, function, call_id, static, type, parameter, key, value) 12*1f5207b7SJohn Levon); 13