Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali. Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. In Dan Suciu, Sebastian Skritek, Christoph Koch 0001, editors, Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019. pages 335-352, ACM, 2019. [doi]
Abstract is missing.