{"id":"W1986060337","doi":"10.1006/jcss.2001.1810","title":"Aggregate Operators in Constraint Query Languages","year":2002,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Institut national de recherche en informatique et en automatique (INRIA)","keywords":"Constraint (computer-aided design); Aggregate (composite); Computer science; Class (philosophy); Closure (psychology); Dimension (graph theory); Query language; Theoretical computer science; Set (abstract data type); Computation; Datalog; Range (aeronautics); Mathematics; Algorithm; Programming language; Artificial intelligence; 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.001169386,0.0001046922,0.0002712878,0.0002475749,0.0001275048,0.0003952677,0.0006915772,0.00003761749,0.000005720615],"category_scores_gemma":[0.00001606237,0.00006668023,0.00006128346,0.0003788187,0.000160927,0.0006059479,0.0001118152,0.0001177768,0.000008542265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000328325,"about_ca_system_score_gemma":0.00005841195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001072335,"about_ca_topic_score_gemma":0.000007197434,"domain_scores_codex":[0.9987596,0.0001416288,0.0003986071,0.000188201,0.0002993877,0.0002125906],"domain_scores_gemma":[0.9993487,0.0001155957,0.0002196966,0.0001125339,0.00008766232,0.0001157934],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001114227,0.0003754003,0.1024902,0.0003177002,0.00009166356,0.002596133,0.03158282,0.001612658,0.0004249348,0.4510985,0.006902061,0.4024968],"study_design_scores_gemma":[0.002834051,0.002089534,0.03209765,0.002267693,0.0000225228,0.01305585,0.005351662,0.9344437,0.0008670967,0.001442744,0.004551996,0.0009754916],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8145744,0.01007172,0.1509721,0.0007755364,0.002026409,0.0001330711,7.23848e-7,0.00005785525,0.02138818],"genre_scores_gemma":[0.988385,0.00007499484,0.01119539,0.00009042124,0.0002025276,5.433032e-7,1.686471e-8,0.000001860433,0.00004925605],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.932831,"threshold_uncertainty_score":0.3811575,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01981698267007069,"score_gpt":0.2444918932528051,"score_spread":0.2246749105827344,"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."}}