Databasregeln kan formuleras enligt följande :