شرط lossless بودن یک تجزیه این است که حداقل یکی از دو حالت زیر برقرار باشد:
- R_1 \cap R_2 \to R_1
- R_1 \cap R_2 \to R_2
یا با عبارتی، اشتراک دو رابطه تجزیه شده، ابر کلید حداقل یکی از دو رابطه باشد
شرط lossless بودن یک تجزیه این است که حداقل یکی از دو حالت زیر برقرار باشد:
یا با عبارتی، اشتراک دو رابطه تجزیه شده، ابر کلید حداقل یکی از دو رابطه باشد