{"id":"W2512595308","doi":"10.14778/3067421.3067422","title":"Effective and complete discovery of order dependencies via set-based axiomatization","year":2017,"lang":"en","type":"preprint","venue":"Proceedings of the VLDB Endowment","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor; University of Waterloo; York University; Ontario Tech University","funders":"","keywords":"Computer science; Tuple; Completeness (order theory); Inference; Axiom; Rule of inference; Functional dependency; Set (abstract data type); Data mining; Theoretical computer science; Algorithm; Mathematics; Artificial intelligence; Relational database; Discrete mathematics","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.007920923,0.00194911,0.002389961,0.005312318,0.001922984,0.005931797,0.004956149,0.00193308,0.005811308],"category_scores_gemma":[0.03988673,0.002053913,0.006814041,0.005810617,0.002707264,0.0107589,0.00791899,0.006878254,0.002311278],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003190144,"about_ca_system_score_gemma":0.009888368,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008497953,"about_ca_topic_score_gemma":0.01558526,"domain_scores_codex":[0.9805393,0.004525507,0.002621221,0.004284365,0.007110383,0.0009191423],"domain_scores_gemma":[0.9591693,0.02520213,0.002045352,0.007984961,0.005058187,0.00054006],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004134167,0.000787165,0.007527675,0.001994259,0.0007226984,0.001013832,0.001130194,0.1179313,0.01834963,0.2625605,0.03286054,0.5547089],"study_design_scores_gemma":[0.0001573998,0.0000969207,0.001070217,0.0001953658,0.0002731016,0.0007382197,0.000371647,0.5556651,0.01727739,0.4031721,0.02084566,0.0001367372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00707214,0.0002920963,0.9850626,0.0009201721,0.00005945535,0.0003361016,0.002106992,0.002871553,0.001278822],"genre_scores_gemma":[0.05584779,0.0003873443,0.9356506,0.0004957578,0.00009665486,0.0002876421,0.00576005,0.0003096078,0.001164599],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008497953,"threshold_uncertainty_score":0.04189032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1062798927027729,"score_gpt":0.365548465284661,"score_spread":0.2592685725818881,"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."}}