On the Implication Problem for Functional Dependencies in the Higher-Order Entity-Relationship Model.

Markus Kirchberg, Sebastian Link

Browse the full ADC paper archive.