{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000192935,0.00005893694,0.00006307965,0.0001277822,0.00005298298,0.0000605971,0.00003915721,0.000023262,0.000003162208],"category_scores_gemma":[0.00002106161,0.0000575604,0.000009153223,0.0001885383,0.00001562111,0.002406141,0.00002361472,0.0000436868,0.00002583018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003233625,"about_ca_system_score_gemma":0.00002254598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004496692,"about_ca_topic_score_gemma":0.00001887308,"domain_scores_codex":[0.9994606,0.00004464159,0.0002268366,0.00007660257,0.0001070282,0.00008428453],"domain_scores_gemma":[0.9997681,0.00002847517,0.00007751732,0.00006069462,0.00003698679,0.00002817977],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003473123,0.00001249015,0.0007527237,0.0000256422,0.000002411062,0.000001672777,0.002026436,0.01101065,0.00002263453,0.4467097,0.0001204795,0.5393118],"study_design_scores_gemma":[0.002255371,0.0001436346,0.02974861,0.00008793638,0.000002875832,0.0001272025,0.006265996,0.9002379,0.001493132,0.00971283,0.04943354,0.0004910015],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03604937,0.00004319515,0.9608672,0.00007596471,0.00009309392,0.0001001938,0.00000170013,0.00005896552,0.002710278],"genre_scores_gemma":[0.9238278,0.000007640212,0.07588348,0.000231924,0.000005057846,0.000007363965,0.00003014285,0.000001416354,0.000005183328],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8892272,"threshold_uncertainty_score":0.2347245,"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."}}