Gabriel M. Kuper. On The Expressive Power of the Relational Calculus with Arithmetic Constraints. In Serge Abiteboul, Paris C. Kanellakis, editors, ICDT 90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings. Volume 470 of Lecture Notes in Computer Science, pages 202-211, Springer, 1990. [doi]
Abstract is missing.