Enhancing the semantic power of functional database languages. - Robert Ayers (1995)