IFO: A Formal Semantic Database Model (1987)

by Serge Abiteboul, Richard Hull
Venue:ACM Transactions on Database Systems