@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix edu: <https://knobit.org/def/> .
@prefix knobit: <https://knobit.org/id/knobit/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix register: <https://knobit.org/id/register/> .
@prefix schema: <https://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

knobit:K-530 a edu:Knobit ;
    rdfs:label "Recognises a constraint implied by neither keys nor domains"@en ;
    dcterms:identifier "K-530" ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source "Review checklist 03-logical, row 30; Fagin 1981"@en ;
    owl:sameAs <https://bitbucket.org/reffa/ontology/id/knobit/data-modelling/05-logical/30> ;
    skos:altLabel "Constraint not implied by keys and domains (DKNF) (logical model)"@en ;
    skos:definition "A constraint that neither a key nor an attribute's domain enforces. Each one is a way in for rows 1–3."@en ;
    skos:prefLabel "Recognises a constraint implied by neither keys nor domains"@en ;
    edu:actionVerb "Recognises"@en ;
    edu:appliesKnowledge knobit:K-561 ;
    edu:assessmentCriterion "Flags the deficient case and passes the acceptable one. Deficient: Account Closed Indicator typed Text; Account Status Code with no value set; \"a currency code has 3 characters\" only in a description Acceptable: Domain given by `logical_type`, `length` and `value_set`; every remaining constraint is a key or a data rule with an enforcement (`LOG-007`, `LOG-009`, `LOG-014`, `LOG-028`)"@en ;
    edu:assessmentMethod "skill-tests task: Loan application logical model (normalisation anomaly skills)"@en ;
    edu:conformsToProfile <https://oppekava.edu.ee/a/Knobitite_kirjeldamise_ja_seostamise_reeglid#LCG-KNOBIT-0.1> ;
    edu:contextFunction <https://knobit.org/def/contextFunction/resultEvaluation> ;
    edu:creationMethod <https://knobit.org/def/creationMethod/aiGeneratedHumanEdited> ;
    edu:expectedResult "The constraint and why no key or domain enforces it"@en ;
    edu:graphRelevance <https://knobit.org/def/graphRelevance/learnerState>,
        <https://knobit.org/def/graphRelevance/taskSelection> ;
    edu:knobitType <https://knobit.org/def/knobitType/skill> ;
    edu:targetObject "constraint not implied by keys and domains"@en ;
    schema:creativeWorkStatus "accepted" ;
    schema:isPartOf register:data-modelling .

edu:Knobit rdfs:label "Knobit"@en,
        "Knobit"@et .

knobit:K-561 rdfs:label "Explains domain-key normal form"@en .