{"id":"W2130642126","doi":"10.1109/sefm.2005.23","title":"Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces","year":2005,"lang":"en","type":"preprint","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Tuple; Key (lock); SQL; Relational database; Information retrieval; Database; Programming language; Artificial intelligence; Algorithm; Discrete mathematics; Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001612618,0.0004214531,0.0003062219,0.0002964496,0.0005028187,0.000284929,0.001103229,0.0002863735,0.0006787978],"category_scores_gemma":[0.00001086416,0.0003822024,0.0002167712,0.0003633586,0.00002980292,0.0004658867,0.0002767576,0.001091281,0.0002719405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008470737,"about_ca_system_score_gemma":0.0002602029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001614569,"about_ca_topic_score_gemma":0.004430835,"domain_scores_codex":[0.9972847,0.0001480139,0.0004886976,0.001191435,0.0005513064,0.0003358696],"domain_scores_gemma":[0.9976192,0.0005066302,0.0002412999,0.00129612,0.0001597849,0.0001770131],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008274331,0.0007797835,0.0001618493,0.00008814674,0.000617832,0.00003170771,0.008872796,0.8213058,0.001585695,0.06190802,0.00333544,0.1012302],"study_design_scores_gemma":[0.001520285,0.0002373071,0.002628275,0.0006953371,0.0003427458,0.00003273314,0.0008322811,0.9040056,0.005235911,0.02126372,0.06100789,0.002197921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02743788,0.0003931138,0.9540876,0.006909032,0.002041569,0.0003338389,0.0005591666,0.0005025439,0.007735272],"genre_scores_gemma":[0.1403139,0.0001127021,0.8451521,0.007206251,0.002076032,0.0002274676,0.002794948,0.00005734862,0.002059218],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.112876,"threshold_uncertainty_score":0.999863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02512475879588141,"score_gpt":0.2434191928368522,"score_spread":0.2182944340409708,"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."}}