How can we prove that a database schema is free of insertion anomalies?
How can we prove that a database schema is free of update anomalies?
כיצד נוכל להוכיח שסכימת מסד נתונים נקייה מאנומליות הכנסה?
כיצד נוכל להוכיח שסכימת מסד נתונים נקייה מחריגות עדכון?