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
-
-
Dec. 9, 2025, 10:15 a.m.
Michał Sobczak (MIMUW)
Corra: Correlation-Aware Column Compression (Corra: Correlation-Aware Column Compression)
-
Dec. 2, 2025, 10:15 a.m.
Karol Wąsowski (MIMUW)
Photon: A Fast Query Engine for Lakehouse Systems (Photon: A Fast Query Engine for Lakehouse Systems)
-
Nov. 25, 2025, 11 a.m.
Piotr Głowacki (MIMUW)
Boosting File Systems Elegantly: A Transparent NVM Write-ahead Log for Disk File Systems (Boosting File Systems Elegantly: A Transparent NVM Write-ahead Log for Disk File Systems)
-
Nov. 25, 2025, 10:15 a.m.
Dawid Pawlik (MIMUW)
Highways, Neighbors, Shortcuts, Walks - Introduction to ANN search and HNSW algorithm (Highways, Neighbors, Shortcuts, Walks - Introduction to ANN search and HNSW algorithm)
-
Nov. 18, 2025, 10:15 a.m.
Justyna Palikowska (MIMUW)
To Partition, or Not to Partition — optymalizacja złączeń w systemach baz danych
-
Nov. 14, 2025, 10:15 a.m.
Gustaw Blachowski (MIMUW)
The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining (The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining)
-
Nov. 4, 2025, 10:15 a.m.
Zuzanna Ossowska (MIMUW)
When the Operating System Becomes a Database: A Look Inside OSDB (When the Operating System Becomes a Database: A Look Inside OSDB)
-
-
Oct. 21, 2025, 10:15 a.m.
Zuzanna Surowiec (MIMUW)
Optymalizacja zapytań złączeniowych z użyciem wyżarzania przestrzeni konformacyjnej
-
-
-
June 10, 2025, 11 a.m.
Agata Bielenica (MIMUW)
JEDI: These aren't the JSON documents you're (JEDI: These aren't the JSON documents you're)
-
June 10, 2025, 10:15 a.m.
Krzysztof Żyndul (MIMUW)
Information Theory Strikes Back: New Development in the Theory of Cardinality Estimation (Information Theory Strikes Back: New Development in the Theory of Cardinality Estimation)
-
June 3, 2025, 10:15 a.m.
Łukasz Orawiec (MIMUW)
A JSONPath query compiler targeting JSON parsers APIs (A JSONPath query compiler targeting JSON parsers APIs)
You are not logged in |