Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems

Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems

연구 분야: Databases

학회: Datenbank-Spektrum

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.