2026-07-28T02:27:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25642 2026-06-23T12:04:15Z ddc:004 open_access

Database Theory in Action: Learning Logical Modelling with Iltis Kneisel, Tristan Vehlken, Fabian Zeume, Thomas Educational support systems Logic Database theory Natural language processing 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tristan Kneisel and Fabian Vehlken and Thomas Zeume 2026 Is Part Of LIPIcs, Volume 365, 29th International Conference on Database Theory (ICDT 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICDT.2026.28 urn:nbn:de:0030-drops-256426 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2026.28 eng https://creativecommons.org/licenses/by/4.0/legalcode