{"id":"W2166455512","doi":"10.1145/1559795.1559828","title":"Equivalence of nested queries with mixed semantics","year":2009,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Conjunctive query; Equivalence (formal languages); Computer science; Encoding (memory); Theoretical computer science; Relational database; Semantics (computer science); Operational semantics; Mathematics; Discrete mathematics; Programming language; Information retrieval; Artificial intelligence","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.00008268244,0.00009271587,0.0001560309,0.00004008908,0.00004511499,0.0000173026,0.0002518804,0.0000200218,0.000006219168],"category_scores_gemma":[0.00001791765,0.00006259739,0.00002046169,0.0002737345,0.00006021339,0.0006613331,0.00006392714,0.00003839176,0.000005698916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005794785,"about_ca_system_score_gemma":0.00003935096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003551783,"about_ca_topic_score_gemma":0.00003884424,"domain_scores_codex":[0.9992776,0.00001962256,0.0001701922,0.0001883806,0.0001872563,0.00015698],"domain_scores_gemma":[0.9992384,0.00003263724,0.00008598608,0.0005016548,0.00009687246,0.00004447563],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000007521885,0.00002908573,0.0007180662,0.00002294069,0.000004716753,0.00001378696,0.0002218459,0.00007209766,0.003570272,0.9883559,0.0002245977,0.006759176],"study_design_scores_gemma":[0.003807453,0.006238597,0.1414913,0.001552321,0.00006002681,0.0007940024,0.002329829,0.039133,0.6297322,0.02290554,0.1487477,0.003208065],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03000969,0.00006562603,0.9667161,0.000483814,0.00007056839,0.00007954494,0.000003134673,0.0001235425,0.002447967],"genre_scores_gemma":[0.6508553,0.000009685717,0.3485202,0.0001121444,0.00001338053,0.000001612661,0.000001632001,0.000002611188,0.0004833571],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9654503,"threshold_uncertainty_score":0.2552648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009143238816432826,"score_gpt":0.2247818116203666,"score_spread":0.2156385728039338,"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."}}