MWL#17: Table elimination
- When making inferences "field is bound" -> "key is bound", do check that the field is part of the key
Showing
Please register or sign in to comment
- When making inferences "field is bound" -> "key is bound", do check that the field is part of the key