{"id":"W2731866483","doi":"10.29007/53fk","title":"An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)","year":2018,"lang":"en","type":"article","venue":"Kalpa publications in computing","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Compiler; Programming language; Query language; Schema (genetic algorithms); Predicate (mathematical logic); Query optimization; Relational database; First-order logic; Theoretical computer science; Information retrieval","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011282,0.0001407068,0.0001820278,0.0002776553,0.0004725048,0.0001882755,0.0003015524,0.00006027345,0.000005495168],"category_scores_gemma":[0.0002974613,0.0001366666,0.00003032451,0.0005045732,0.000135799,0.001177005,0.0001136315,0.00008921718,0.000004059949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008046935,"about_ca_system_score_gemma":0.0001798189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003130053,"about_ca_topic_score_gemma":0.0000243269,"domain_scores_codex":[0.9984068,0.0001274082,0.0005518431,0.0005164035,0.0001653699,0.0002321851],"domain_scores_gemma":[0.9978359,0.0006181278,0.0002938509,0.0006887037,0.0004816022,0.0000817943],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001171528,0.00005292079,0.006552328,0.00002955913,0.000009668672,0.000001961977,0.000674968,0.008244106,0.0001521524,0.9785123,0.0009469257,0.004811415],"study_design_scores_gemma":[0.0003203868,0.00006059074,0.007353183,0.00006716336,0.00000246756,0.00004860213,0.0001291578,0.9783919,0.0001066701,0.0005738903,0.01278208,0.0001639231],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002075392,0.00003295874,0.9952003,0.0008852161,0.0003058736,0.0004829865,0.00001681429,0.0003075655,0.0006929002],"genre_scores_gemma":[0.4107428,1.600253e-7,0.5889008,0.0000702201,0.0001247508,0.00005334701,0.00006673467,0.000008281614,0.00003292991],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9779384,"threshold_uncertainty_score":0.5573103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04901026280706607,"score_gpt":0.3170783455920585,"score_spread":0.2680680827849924,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}