{"id":"W2051445745","doi":"10.1145/507234.507237","title":"A logical foundation for deductive object-oriented databases","year":2002,"lang":"en","type":"article","venue":"ACM Transactions on Database Systems","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Programming language; Deductive database; Syntax; Semantics (computer science); Class (philosophy); Object (grammar); Well-founded semantics; Logic programming; Inheritance (genetic algorithm); Operational semantics; Database; Natural language processing; Artificial intelligence; Denotational semantics","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.0003629344,0.0002606291,0.0002822916,0.0002133833,0.0005309876,0.0001680192,0.000859645,0.0000709223,0.0001358759],"category_scores_gemma":[0.0002699666,0.0002222522,0.000139101,0.0005790183,0.00007601231,0.001075429,0.00003717018,0.0002019961,0.0004611655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001243935,"about_ca_system_score_gemma":0.00004667906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001510831,"about_ca_topic_score_gemma":0.00006467963,"domain_scores_codex":[0.9979281,0.00016627,0.0003684002,0.0007753781,0.0003354666,0.0004264227],"domain_scores_gemma":[0.9972386,0.0005636734,0.0001314156,0.001699302,0.0001898839,0.0001771335],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003497008,0.006668591,0.0002646906,0.0008658628,0.0008095978,0.0001289856,0.006140235,0.0028707,0.005544625,0.6957039,0.03762867,0.2430245],"study_design_scores_gemma":[0.004924118,0.001402671,0.0002209147,0.0005039286,0.0002341042,0.0004764496,0.001408645,0.4107793,0.007911345,0.001078979,0.5692325,0.001827042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001062777,0.0002907686,0.9930258,0.0002730195,0.002089054,0.0008660089,0.0004319747,0.0003682502,0.001592279],"genre_scores_gemma":[0.9390233,0.0001197201,0.05722579,0.0001402235,0.0003379863,0.0007038194,0.0003458615,0.00002977639,0.002073493],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9379606,"threshold_uncertainty_score":0.9063183,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07233550198391613,"score_gpt":0.2909125887188853,"score_spread":0.2185770867349692,"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."}}