{"id":"W4381329253","doi":"10.1145/3589298","title":"Computing the Difference of Conjunctive Queries Efficiently","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Management of Data","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Rewriting; Computer science; Query optimization; Heuristics; Operator (biology); Spatial query; Benchmark (surveying); Boolean conjunctive query; Set (abstract data type); Class (philosophy); Conjunctive query; SQL; Theoretical computer science; Algorithm; Sargable; Relational database; Search engine; Database; Information retrieval; Web search query","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":["open_science"],"consensus_categories":["open_science"],"category_scores_codex":[0.0007263005,0.000120364,0.000210772,0.00007749945,0.0001244191,0.00002585767,0.006764605,0.00001656891,0.000001277877],"category_scores_gemma":[0.0003010224,0.00006775485,0.00004390653,0.0008355996,0.0002275442,0.0004132124,0.01417669,0.00008221818,0.000004143013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008907376,"about_ca_system_score_gemma":0.00001013264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002377506,"about_ca_topic_score_gemma":0.000001184099,"domain_scores_codex":[0.9986205,0.00001184252,0.0003349969,0.000349005,0.0005053509,0.0001782914],"domain_scores_gemma":[0.99721,0.0001673279,0.0004981662,0.00196917,0.0001375104,0.00001787361],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00003953294,0.00009681017,0.00284151,0.001075976,0.0001622806,8.51968e-7,0.001151381,0.0001325617,0.003717989,0.9608345,0.007160863,0.02278575],"study_design_scores_gemma":[0.004106314,0.001528385,0.441026,0.01123882,0.0004981742,0.00001556114,0.03662856,0.1257455,0.2332039,0.07698001,0.06712793,0.001900789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8170424,0.0002827188,0.1535981,0.009715632,0.001445495,0.002625601,0.0008552854,0.0004210245,0.01401371],"genre_scores_gemma":[0.9632377,0.00006735211,0.03622412,0.00006740598,0.00002352989,0.00000758291,0.00001460292,0.00000924198,0.0003484943],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8838544,"threshold_uncertainty_score":0.9986092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06453656104710064,"score_gpt":0.3010111735680607,"score_spread":0.23647461252096,"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."}}