• 完整性:每个元组都属于某个子关系
  • 不相交性:每个元组只能属于一个子关系
  • 重构性:可以从子关系中重建原始关系