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

Authors Hannes Mühleisen, Danica Porobic, Manuel Rigger and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.13.10.139.pdf
  • Filesize: 2.51 MB
  • 43 pages

Document Identifiers

Author Details

Hannes Mühleisen
  • CWI - Amsterdam, NL
Danica Porobic
  • Oracle Switzerland - Zürich, CH
Manuel Rigger
  • National University of Singapore, SG
and all authors of the abstracts in this report

Cite AsGet BibTex

Hannes Mühleisen, Danica Porobic, and Manuel Rigger. Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441). In Dagstuhl Reports, Volume 13, Issue 10, pp. 139-181, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.13.10.139

Abstract

The goal of this Dagstuhl Seminar was to bring together researchers and practitioners interested and experienced in database systems and the reliability aspects thereof. It is a continuation of a previous seminar on this topic, which had built an initial understanding of the challenges and areas of future work. In this edition of the seminar, we aimed for a tangible outcome of the seminar by writing a manuscript documenting the (1) best practices in ensuring database systems' reliability, (2) the state of the art on this topic in research, as well as (3) open challenges, which might also serve as the cornerstone of writing a book on this topic presented in this report. We achieved this by forming four primary working groups during the seminar, namely (1) on the automated testing aspects concerning analytical components of database systems, (2) benchmarking, (3) reliability for transaction and concurrency aspects, as well as (4) query languages and debugging. The report contains four sections presenting the results of these working groups. Some of these working groups and individuals plan to further refine their work and discussion outcomes, aiming to submit them to upcoming venues.

Subject Classification

ACM Subject Classification
  • Information systems → Database management system engines
  • Software and its engineering → Software verification and validation
Keywords
  • database benchmarking
  • database reliability
  • database testing

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