{"id":"W7117687674","doi":"10.1145/3786785","title":"Finding Smallest Witnesses for Conjunctive Queries","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Database Systems","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Conjunctive query; Rewriting; Property (philosophy); Logarithm; Class (philosophy); Time complexity; Polynomial; Constant (computer programming)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004470903,0.001585583,0.002071186,0.001006619,0.001561171,0.005324111,0.003887047,0.002000483,0.007540354],"category_scores_gemma":[0.03845896,0.00136824,0.002752077,0.002158978,0.002227003,0.01892512,0.004916113,0.004149882,0.001253639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002093408,"about_ca_system_score_gemma":0.002685674,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002434527,"about_ca_topic_score_gemma":0.00315572,"domain_scores_codex":[0.9934914,0.0009590645,0.00067256,0.002473644,0.001664088,0.0007392475],"domain_scores_gemma":[0.9648377,0.02394155,0.001707859,0.007165348,0.00157179,0.0007756352],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.003180324,0.0008722564,0.01611427,0.003882586,0.0007940118,0.001327288,0.004512968,0.1840881,0.04634937,0.3443542,0.0237843,0.3707403],"study_design_scores_gemma":[0.0003026444,0.0002763353,0.001095411,0.0001688645,0.0003023351,0.0008534955,0.001087873,0.4746567,0.0258436,0.4855161,0.009813081,0.00008360172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1494918,0.001327371,0.831946,0.003451832,0.000165035,0.0005278337,0.003259824,0.004653929,0.005176408],"genre_scores_gemma":[0.5633989,0.0008429206,0.4247015,0.0008864978,0.000207571,0.0003641118,0.005261706,0.0009452009,0.003391538],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007540354,"threshold_uncertainty_score":0.02522498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03221601730685047,"score_gpt":0.2997566851307163,"score_spread":0.2675406678238658,"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."}}