Handling Skolem Functions

• As a first cut can discard all inverse rules with skolem functions

• Only useful if doing functional dependencies

Previous slide

Next slide

Back to first slide

View graphic version