Document Open Access Logo

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)

Authors Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.11.10.20.pdf
  • Filesize: 1.84 MB
  • 16 pages

Document Identifiers

Author Details

Alexander Böhm
  • SAP SE - Walldorf, DE
Maria Christakis
  • MPI-SWS - Kaiserslautern, DE
Eric Lo
  • The Chinese University of Hong Kong, HK
Manuel Rigger
  • ETH Zürich, CH
and all authors of the abstracts in this report

Cite AsGet BibTex

Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger. Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). In Dagstuhl Reports, Volume 11, Issue 10, pp. 20-35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DagRep.11.10.20

Abstract

The goal of this seminar was to bring 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.

Subject Classification

ACM Subject Classification
  • Information systems → Data management systems
Keywords
  • Databases
  • Reliability
  • Robustness
  • Testing
  • Dagstuhl Seminar

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail