Generalization
- Additional constraints for coverage or disjointedness
Example
Constraints
- Truck
foreign key ( LicenseNum ) references Vehicle - Car
foreign key ( LicenseNum ) references Vehicle
Assertion
- Vehicle license numbers are also truck or car license numbers
- Truck license numbers are disjoint from car license numbers