Abstract
In November 2021, Dagstuhl seminar 21442 was bringing together researchers and practitioners from various domains such as of databases, automatic testing, and formal methods to build a common ground and to explore possibilities for systematically improving the state of the art in database management system engineering. The outcome of the seminar was a joint understanding of the specific intricacies of building stateful system software, as well as the identification of several areas of future work. In particular, we believe that database system engineering can both be significantly improved by adopting additional verification techniques and testing tools, and can provide important feedback and additional challenges (e.g. related to state management) to neighboring domains.
This is a preview of subscription content, log in via an institution to check access.
References
Rigger M, Su Z (2020a) Detecting optimization bugs in database engines via non-optimizing reference engine construction. In: Devanbu P, Cohen MB, Zimmermann T (eds) ESEC/FSE ’20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8–13, 2020, ACM, pp 1140–1152 https://doi.org/10.1145/3368089.3409710
Rigger M, Su Z (2020b) Finding bugs in database systems via query partitioning. In: Proc ACM Program Lang 4(OOPSLA), pp 211:1–211:30 https://doi.org/10.1145/3428279
Rigger M, Su Z (2020c) Testing database engines via pivoted query synthesis. In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4–6, 2020, USENIX Association, pp 667–682 (https://www.usenix.org/conference/osdi20/presentation/rigger)
Böhm A, Christakis M, Lo E, Rigger M (2021) Ensuring the reliability and robustness of database management systems (dagstuhl seminar 21442). Dagstuhl Rep 11(10):20–35. https://doi.org/10.4230/DagRep.11.10.20
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Rigger, M., Böhm, A., Christakis, M. et al. Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems. Datenbank Spektrum 22, 261–263 (2022). https://doi.org/10.1007/s13222-022-00423-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13222-022-00423-0