{"id":"W2154093507","doi":"10.1016/j.jcss.2006.10.013","title":"First-order query rewriting for inconsistent databases","year":2006,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":128,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Rewriting; Computer science; Conjunctive query; Boolean conjunctive query; Class (philosophy); Set (abstract data type); Query language; Query optimization; Database; Sargable; Order (exchange); Data integrity; Database query; Theoretical computer science; Information retrieval; Web search query; Relational database; Programming language; Search engine; Artificial intelligence","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.01298602,0.0006641238,0.002112208,0.001890118,0.001814605,0.00483345,0.003943878,0.001957653,0.00333284],"category_scores_gemma":[0.03622402,0.001299047,0.002694351,0.002145041,0.003243601,0.008540692,0.00428096,0.00433209,0.0007340403],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002313698,"about_ca_system_score_gemma":0.002961481,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005258131,"about_ca_topic_score_gemma":0.004889467,"domain_scores_codex":[0.9836636,0.005063333,0.002118101,0.001533438,0.006367383,0.001254196],"domain_scores_gemma":[0.9623588,0.02009491,0.001347843,0.009933002,0.005658024,0.0006074694],"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.0005376618,0.0002518532,0.003264786,0.0008755242,0.0003270418,0.001660534,0.003124444,0.02834287,0.01019962,0.8231716,0.01428816,0.1139558],"study_design_scores_gemma":[0.0001383088,0.00009231028,0.0004536207,0.00008388483,0.0003346118,0.001066427,0.0006352197,0.1546339,0.01550357,0.809095,0.01785831,0.0001047835],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03263834,0.001167618,0.9549186,0.001921691,0.0002329426,0.0002127285,0.0005042733,0.002489003,0.0059149],"genre_scores_gemma":[0.4441048,0.0008117325,0.5435937,0.001020664,0.0003001029,0.0001713619,0.001685035,0.001153702,0.007158902],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01298602,"threshold_uncertainty_score":0.06867743,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03061450247099549,"score_gpt":0.2605431602986567,"score_spread":0.2299286578276612,"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."}}