{"id":"W2110595279","doi":"10.1109/dasfaa.2001.916372","title":"A logical foundation for deductive object-oriented databases","year":2001,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; University of Regina","funders":"","keywords":"Computer science; Programming language; Deductive database; Syntax; Semantics (computer science); Inheritance (genetic algorithm); Well-founded semantics; Class (philosophy); Object (grammar); Logic programming; Database; Operational semantics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008281218,0.000731227,0.0009513184,0.003221994,0.003061847,0.009564313,0.003087675,0.002805409,0.004177203],"category_scores_gemma":[0.01178923,0.001294231,0.002193409,0.00287125,0.01044791,0.01841172,0.00443792,0.005906123,0.00186987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003007651,"about_ca_system_score_gemma":0.003550099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002524887,"about_ca_topic_score_gemma":0.001478049,"domain_scores_codex":[0.994609,0.001282197,0.0007364185,0.0007815016,0.002232291,0.0003586595],"domain_scores_gemma":[0.9927624,0.003666614,0.0005732875,0.0008927825,0.001705602,0.0003992846],"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.000004389912,0.00001908703,0.00005850197,0.00005063121,0.000005662561,0.00007498502,0.0002486802,0.0005597263,0.0001910888,0.9928846,0.001027032,0.004875578],"study_design_scores_gemma":[0.00001690169,0.00001339321,0.00004386986,0.00005699597,0.000009155203,0.00009174121,0.00007413753,0.003954386,0.0003510969,0.967888,0.02748713,0.0000131824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004503669,0.003493713,0.968466,0.005909427,0.0003991285,0.000183727,0.000305176,0.0006123973,0.01612679],"genre_scores_gemma":[0.1654848,0.006263169,0.8118714,0.004502413,0.001542263,0.0006694254,0.0009924873,0.0003060855,0.008367961],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009564313,"threshold_uncertainty_score":0.04379576,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05026735854825105,"score_gpt":0.3062607965680832,"score_spread":0.2559934380198322,"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."}}