The seminar is devoted to the theory and practice of data management and knowledge representation. We are interested in challenges related to the processing of data, queries, and metadata (schemas, constraints, dependencies, ontologies), ranging from designing and analyzing abstract formalisms all the way to database systems architecture and distributed processing of big data. We like our data in all flavors: not only relational, but also semistructured (XML, JSON), graph (RDF, LPG), object, text, temporal, stream, GIS, and others.
The problems tackled can be theoretical, requiring tools from algorithmics, combinatorics, logic (e.g. finite model theory), and automata theory, as well as very practical, in the spirit of systems and software engineering. MSc theses written within our seminar may study decidability and complexity of abstract problems, design algorithms and heuristics, implement and experiment with existing theoretical solutions, or analyze, compare and extend existing systems.
We meet and discuss with experts in other disciplines, who sometimes supply ideas for MSc theses. We have cooperated or are currently cooperating with astronomers, chemists, and geographers. We are also open for other areas where databases can be applied.
Seminar presentations are usually based on recent papers presented at leading international conferences devoted to data management and knowledge representation, such as VLDB, PODS, SIGMOD, or KR.
Selected topics:
- Data models, semantics, query languages
- Data provenance
- Databases for emerging hardware
- Distributed and parallel databases
- Graph data management, RDF, social networks, Semantic Web
- Knowledge discovery, clustering, data mining
- Machine learning for data management and vice versa
- Model theory, logics, algebras, computational complexity
- Ontology-based data access, data integration and exchange, metadata management
- Ontology formalisms and models, description logics
- Privacy, security, ethics
- Query processing and optimization
- Scientific databases
- Semi-structured data
- Small data, end-user programming
- Storage, indexing, and physical database design
- Streams, sensor networks, complex event processing
- Transaction processing
- Uncertainty, incompleteness, and inconsistency in data management
Organizers
- dr hab. Filip Murlak, prof. ucz.
- dr hab. Jacek Sroka
- prof. dr hab. Krzysztof Stencel
- prof. dr hab. Jerzy Tyszkiewicz
Information
Tuesdays, 10:15 a.m. , room: 4060Home page
https://sites.google.com/view/sembdmimuw?pli=1&authuser=1Research fields
List of talks
-
Oct. 27, 2026, 11 a.m.
Wiktor Rutecki (MIMUW)
Optimization of JSONPath queries (Optimization of JSONPath queries)
-
Oct. 27, 2026, 10:15 a.m.
Dawid Pawlik (MIMUW)
GPU-Accelerated Vector Search for ScyllaDB Using the cuVS Library (GPU-Accelerated Vector Search for ScyllaDB Using the cuVS Library)
-
Oct. 20, 2026, 11 a.m.
Zuzanna Ossowska (MIMUW)
The Impact of Robot Hardware Configuration on Generalist Manipulation Policies (The Impact of Robot Hardware Configuration on Generalist Manipulation Policies)
-
Oct. 20, 2026, 10:15 a.m.
Karol Wąsowski (MIMUW)
Extending CMEmu with a Cycle-Exact Model of the Cortex-M4 Arithmetic Units (Extending CMEmu with a Cycle-Exact Model of the Cortex-M4 Arithmetic Units)
-
Oct. 13, 2026, 11 a.m.
Michał Sobczak (MIMUW)
Adaptacyjny dobór strategii kompaktacji w wielopartycyjnym silniku bazodanowym dla zmiennych obciążeń
-
Oct. 13, 2026, 10:15 a.m.
Gustaw Blachowski (MIMUW)
The Embassy-rs Framework for Distributed Experiments on 1KT (The Embassy-rs Framework for Distributed Experiments on 1KT)
-
June 9, 2026, 11:15 a.m.
Justyna Palikowska (MIMUW)
Wykrywanie anomalii w szeregach czasowych latencji
-
June 9, 2026, 10:45 a.m.
Piotr Głowacki (MIMUW)
Jakie praktyki korelują z jakością PRów tworzonych przez agentów AI? (What practices correlate with the quality of Agentic-PRs?)
-
June 9, 2026, 10:15 a.m.
Gustaw Blachowski (MIMUW)
Database benchmarking and why it’s difficult (Database benchmarking and why it’s difficult)
-
June 2, 2026, 11:15 a.m.
Katarzyna Mielnik (MIMUW)
Implementation of of Scalable Algorithms for Aggregation Over Dominated Points on GPU (Implementation of of Scalable Algorithms for Aggregation Over Dominated Points on GPU)
-
June 2, 2026, 10:45 a.m.
Piotr Baranowski (MIMUW)
Replikacja sieci bezprzewodowej oparta na danych - w stronę inteligentnych cyfrowych bliźniaków
-
June 2, 2026, 10:15 a.m.
Krzysztof Lembryk & Dominik Strąk (MIMUW)
Integrating rsonpath with PostgreSQL (Integrating rsonpath with PostgreSQL)
-
-
-
You are not logged in |