Serge Abiteboul, Richard Hull. IFO: A Formal Semantic Database Model. In Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada. pages 119-132, ACM, 1984. [doi]
Abstract is missing.