Zaslat SMS: Theorem about Amplification of Relational Algebra by Recursive Objects; Knowledge Engineering and Management; Vol. 123