{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009892668,0.001614954,0.001066386,0.002527226,0.001647573,0.00600485,0.004361564,0.002771632,0.00665767],"category_scores_gemma":[0.01692373,0.001741548,0.003965636,0.003790681,0.005791597,0.01579016,0.004554732,0.005178533,0.002276802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003355631,"about_ca_system_score_gemma":0.003276077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006731414,"about_ca_topic_score_gemma":0.004306203,"domain_scores_codex":[0.9883818,0.004176887,0.002025687,0.001222504,0.003503928,0.0006891621],"domain_scores_gemma":[0.9881459,0.005721605,0.001155396,0.002205045,0.002460196,0.0003118427],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000120022,0.00001661998,0.00009232655,0.00005980017,0.00001091443,0.00008133109,0.0003893348,0.003374765,0.0003954869,0.9884747,0.001018057,0.00607478],"study_design_scores_gemma":[0.00003502535,0.00003226083,0.00005373696,0.00006857709,0.00004926545,0.0002056933,0.0001623874,0.05082937,0.001463789,0.9026935,0.04436301,0.00004341376],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001372247,0.0002195357,0.9933866,0.0006569588,0.00007076147,0.00007586284,0.0001453996,0.0004710977,0.003601595],"genre_scores_gemma":[0.09027857,0.001051513,0.8955016,0.001145647,0.0003666549,0.0007179554,0.001140777,0.0005193398,0.009277996],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009892668,"threshold_uncertainty_score":0.0523181,"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."}}