{"id":"W2089118216","doi":"10.1145/1099554.1099603","title":"Typed functional query languages with equational specifications","year":2005,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Query language; Equivalence (formal languages); Query optimization; RDF query language; Programming language; Query expansion; Sargable; Pattern matching; Type (biology); Theoretical computer science; Web search query; Web query classification; Database; Information retrieval; Mathematics; Discrete mathematics; Search engine","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.00005858398,0.00005435735,0.00004759369,0.00003768986,0.00008337378,0.00002415702,0.00009817051,0.00001290821,0.000427679],"category_scores_gemma":[0.000009946814,0.00003854288,0.00001336864,0.0001340285,0.00002303682,0.0005881181,0.00003433917,0.00003679963,0.0005924511],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001984103,"about_ca_system_score_gemma":0.00005405499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001155805,"about_ca_topic_score_gemma":0.00005866845,"domain_scores_codex":[0.9994897,0.00001083939,0.00008855423,0.0001589209,0.0001631118,0.00008892988],"domain_scores_gemma":[0.9995683,0.00004474993,0.00003079143,0.0002567391,0.00006382055,0.00003555261],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002378698,0.00001777726,0.0001360919,0.000001136426,0.000004696275,0.000001001082,0.00004487799,0.0007082703,0.000321054,0.9904874,0.003535046,0.004740267],"study_design_scores_gemma":[0.0003739293,0.00004260214,0.01480257,0.00001300244,0.000003386606,0.00006115542,0.000194803,0.01438829,0.00247486,0.0007928438,0.9665903,0.0002622789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005174969,0.00006510287,0.9628246,0.001845595,0.00004803538,0.00004915314,0.000006990055,0.0001265821,0.03451642],"genre_scores_gemma":[0.3109674,0.000004557701,0.6719487,0.0004553451,0.0003591193,0.00002435294,0.00005084159,0.000005440399,0.01618421],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9896945,"threshold_uncertainty_score":0.7614959,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04185926145607038,"score_gpt":0.2484446201314396,"score_spread":0.2065853586753693,"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."}}