License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.11.10.20
URN: urn:nbn:de:0030-drops-159269
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/15926/
Go back to Dagstuhl Reports

Böhm, Alexander ; Christakis, Maria ; Lo, Eric ; Rigger, Manuel
Weitere Beteiligte (Hrsg. etc.): Alexander Böhm and Maria Christakis and Eric Lo and Manuel Rigger

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

pdf-format:
dagrep_v011_i010_p020_21442.pdf (2 MB)

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.

BibTeX - Entry

@Article{bohm_et_al:DagRep.11.10.20,
  author =	{B\"{o}hm, Alexander and Christakis, Maria and Lo, Eric and Rigger, Manuel},
  title =	{{Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)}},
  pages =	{20--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{11},
  number =	{10},
  editor =	{B\"{o}hm, Alexander and Christakis, Maria and Lo, Eric and Rigger, Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2022/15926},
  URN =		{urn:nbn:de:0030-drops-159269},
  doi =		{10.4230/DagRep.11.10.20},
  annote =	{Keywords: Databases, Reliability, Robustness, Testing, Dagstuhl Seminar}
}

Keywords: Databases, Reliability, Robustness, Testing, Dagstuhl Seminar
Collection: DagRep, Volume 11, Issue 10
Issue Date: 2022
Date of publication: 11.04.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI