DROPS

Document

Database Theory in Action

DOI: 10.4230/LIPIcs.ICDT.2026.28

Database Theory in Action: Learning Logical Modelling with Iltis

Authors: Tristan Kneisel, Fabian Vehlken, and Thomas Zeume

Published in: LIPIcs, Volume 365, 29th International Conference on Database Theory (ICDT 2026)

Abstract

Important learning objectives in database education are to learn how to design database schemas and how to write queries to access data stored in a database adhering to a schema. In this article we report on results from [Tristan Kneisel et al., 2025] where this learning objective is addressed for the related educational task of modelling with logical formalisms. Two key steps in logical modelling are to (a) choose a suitable vocabulary, that is, e.g., which first-order symbols to use and with which intended meaning, and then to (b) construct actual formal descriptions, i.e. first-order formulas over the chosen vocabulary. While (b) is addressed by several educational support systems for formal foundations of computer science, (a) is so far not addressed at all - likely because it involves specifying the intended meaning of symbols in natural language. We propose a conceptual framework for educational tasks where students choose a vocabulary and implement it for tasks for designing propositional and first-order vocabularies within the Iltis educational system.

Cite as

Tristan Kneisel, Fabian Vehlken, and Thomas Zeume. Database Theory in Action: Learning Logical Modelling with Iltis. In 29th International Conference on Database Theory (ICDT 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 365, pp. 28:1-28:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{kneisel_et_al:LIPIcs.ICDT.2026.28,
  author =	{Kneisel, Tristan and Vehlken, Fabian and Zeume, Thomas},
  title =	{{Database Theory in Action: Learning Logical Modelling with Iltis}},
  booktitle =	{29th International Conference on Database Theory (ICDT 2026)},
  pages =	{28:1--28:5},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-413-0},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{365},
  editor =	{ten Cate, Balder and Funk, Maurice},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2026.28},
  URN =		{urn:nbn:de:0030-drops-256426},
  doi =		{10.4230/LIPIcs.ICDT.2026.28},
  annote =	{Keywords: Educational support systems, Logic, Database theory, Natural language processing}
}

Search Results

Documents authored by Kneisel, Tristan

Database Theory in Action: Learning Logical Modelling with Iltis

Abstract

Cite as

Thanks for your feedback!

Could not send message