Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Answers. J. Comput. Syst. Sci. 43(1): 170-218 (1991)