{"id":"W2045841926","doi":"10.1016/s0890-5401(03)00017-8","title":"Incremental recomputation in local languages","year":2003,"lang":"en","type":"article","venue":"Information and Computation","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Recursion (computer science); Computer science; Transitive closure; Closure (psychology); Property (philosophy); Impossibility; Locality; Relation (database); SQL; Transitive relation; Theoretical computer science; Aggregate (composite); Programming language; Mathematics; Discrete mathematics; Linguistics; Database; Combinatorics","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.00480425,0.0008230723,0.001659635,0.001367858,0.001983229,0.004635688,0.004327483,0.001356884,0.01306122],"category_scores_gemma":[0.02455173,0.001282983,0.001328063,0.002915823,0.00306971,0.01312099,0.006577821,0.002840217,0.002194885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001812337,"about_ca_system_score_gemma":0.002128245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004484851,"about_ca_topic_score_gemma":0.00771704,"domain_scores_codex":[0.9948137,0.001793653,0.0003932482,0.0006621015,0.001584923,0.0007523995],"domain_scores_gemma":[0.9752638,0.01171033,0.0005872717,0.01038835,0.001553671,0.0004965488],"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.002490186,0.0004684626,0.003997976,0.000831564,0.0001708094,0.0007100294,0.003552343,0.06670754,0.01558342,0.4542457,0.02792773,0.4233142],"study_design_scores_gemma":[0.0003908038,0.0001841017,0.0005972533,0.0001027547,0.0003008622,0.0003215919,0.0007751376,0.4630667,0.03380073,0.4748942,0.02545866,0.0001071249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1171974,0.001085832,0.8396054,0.001169989,0.0001997173,0.0002402301,0.0006174457,0.0220681,0.01781594],"genre_scores_gemma":[0.6273587,0.0003525261,0.350646,0.0004825867,0.0001430247,0.0002908043,0.001152459,0.003803127,0.01577081],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01306122,"threshold_uncertainty_score":0.04369414,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008492860012480948,"score_gpt":0.2587277269577096,"score_spread":0.2502348669452286,"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."}}