https://9lib.net/document/4yr0mwoy-object-oriented-structured-query-language-translation-formal-algebra.html