{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001425453,0.000673766,0.0004422834,0.000855647,0.0004462275,0.002312192,0.001307815,0.0008951481,0.004788234],"category_scores_gemma":[0.006157645,0.00060666,0.001297995,0.0007567483,0.001196202,0.001865018,0.001750546,0.0009973666,0.001662083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001070181,"about_ca_system_score_gemma":0.001554404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004320768,"about_ca_topic_score_gemma":0.003438187,"domain_scores_codex":[0.9984338,0.0003773911,0.0001568623,0.0002391452,0.0005785088,0.0002143485],"domain_scores_gemma":[0.9975746,0.001100599,0.000157565,0.0005847591,0.0005118452,0.00007057824],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005488712,0.0003070484,0.004348559,0.0006042134,0.00009052554,0.001110719,0.002814245,0.1905764,0.06344612,0.4971028,0.004910494,0.2341402],"study_design_scores_gemma":[0.0001806377,0.0003394638,0.0009721677,0.0001619955,0.0001005349,0.0005054458,0.000815423,0.5904366,0.1790953,0.1519108,0.07537922,0.0001025109],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04484529,0.00007678217,0.9426968,0.00008401518,0.00004223622,0.000243402,0.0004328473,0.004315109,0.007263448],"genre_scores_gemma":[0.3552586,0.0002420554,0.6295201,0.000129825,0.00002484855,0.0004762296,0.002450387,0.002005008,0.009892955],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004788234,"threshold_uncertainty_score":0.01601821,"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."}}