IFO: A Formal Semantic Database Model.

Serge Abiteboul, Richard Hull

Browse the full PODS paper archive.