You are not logged in | Log in

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. UW
dr Jacek Sroka
prof. dr hab. Krzysztof Stencel
prof. dr hab. Jerzy Tyszkiewicz

Information

Tuesdays, 10:15 a.m. , room: 4060

Home page

https://sites.google.com/view/sembdmimuw?pli=1&authuser=1

Research fields

List of talks

June 1, 2023, 12:15 p.m.
Piotr Wiśniewski (UMK)
Jak ugryźć 400 TB?
W referacie przedstawione zostaną doświadczenia z budowy systemu, którego celem było przeliczenie FFT oraz iFFT na 1 600 000 sygnałów. System został zaprojektowany dla miniserwerowni mobilnej wyposażonej w 10 serwerów każdy wsparty kartą graficzną.
May 25, 2023, 12:15 p.m.
Jakub Martin (MIMUW)
OctoSQL: Building a Universal SQL Query Tool and Ecosystem to work with Heterogeneous Kinds of Data
OctoSQL (https://github.com/cube2222/octosql), który był tematem mojej pracy magisterskiej, to lokalne narzędzie pozwalające na uruchamianie zapytań SQL na różnego rodzaju plikach i bazach danych, w tym na łączenie danych z wielu źródeł jednocześnie. W ramach referatu …
May 18, 2023, 12:15 p.m.
Marta Burzańska & Piotr Wiśniewski (UMK)
Ćwierćwiecze zapytań rekurencyjnych w relacyjnych bazach danych
W referacie zaprezentowana zostanie historia zapytań rekurencyjnych w relacyjnych bazach danych od momentu wprowadzenia common table expression przez IBM oraz wejścia ich do standardu SQL:99. Następnie zostanie przedstawiony przegląd możliwości wybranych baz dokonany 10 lat …
May 11, 2023, 12:15 p.m.
Damian Werpachowski (MIMUW)
Wektorowe bazy danych na przykładzie Milvus
W obliczu rosnącej ilości nieustrukturyzowanych danych rośnie potrzeba wydajnego i systematycznego analizowania tych danych. Jednym z powszechnie stosowanych podejsć jest osadzanie ich w przestrzeniach wektorowych o wysokim wymiarze. Przy użyciu odpowiednich metryk, model ten pozwala …
April 27, 2023, 12:15 p.m.
Jacek Ciszewski (MIMUW)
Worst-case optimal join
Join processing is fundamental in the database domain. Authors of the paper “Leapfrog Triejoin: A Simple, Worst-Case Optimal Join Algorithm” present an interesting join algorithm that archives worst-case optimality for a family of problems. In …
April 20, 2023, 12:15 p.m.
Bartosz Ruszewski (MIMUW)
C5: Cloned Concurrency Control That Always Keeps Up
Podczas referatu opowiem, dlaczego replikacja danych pomiędzy główną bazą a jej kopiami zapasowymi potrafi być zbyt wolna i jakie mogą wiązać się z tym problemy. Omówimy także zaproponowany algorytm "C5", który w swoich założeniach powinien …
March 30, 2023, 12:15 p.m.
Tomasz Domagała (MIMUW)
MillenniumDB - Domain Graphs Data Model, Capabilities, and Implementation
W niniejszym referacie opiszę model danych "domain graphs" wspierany przez grafową bazę danych MillenniumDB. Porównam go z modelem RDF oraz modelem property graph. Opiszę klasy zapytań, na które pozwala model domain graphs oraz obecna wersja …
March 23, 2023, 12:15 p.m.
Michał Jadwiszczak (MIMUW)
Przegląd algorytmów agregacji danych rozproszonych
Tematem referatu będzie przedstawienie i omówienie różnych podejść do agregacji danych w rozproszonym środowisku. Dobranie odpowiedniego algorytmu pozwala poprawić interesujące nas miary takie jak np: ograniczenie ruchu sieciowego, zmniejszenie czasu wykonania lub zwiększenie odporności na …
March 16, 2023, 12:15 p.m.
Domagoj Vrgoč (PUC Chile & IMFD Chile)
Regular path queries in MillenniumDB
We will introduce MillenniumDB, a recently developed open-source graph database system that supports worst-case optimal join plans and light recursion in terms of regular path queries. We will then describe a simple method for evaluating …
March 9, 2023, 12:15 p.m.
Jakub Narębski (UMK)
Mining software repositories: augmenting Python security vulnerabilities dataset
Software bugs occur in the development cycle of nearly all of software projects and can cause severe problems. Information about software bugs are often delivered by users, who submit bug reports containing details about encountered defects. During this …
Jan. 19, 2023, 12:15 p.m.
Marek Dopiera (Unoperate.com)
Praktyczne zagadnienia tworzenia skalowalnych i niezawodnych baz danych
Opowiem o różnicy między teorią, a praktyką w tworzeniu skalowalnej, niezawodnej i efektywnej bazy danych. W tym celu użyję przykładów z życia wziętych, żeby pokazać ogrom inżynierii dzielący architekturę od gotowego systemu. Poruszę między innymi …
Jan. 12, 2023, 12:15 p.m.
Jacek Ciszewski (MIMUW)
Database Workload Characterization with Query Plan Encoders
Choosing an optimal query plan is known to be a hard task, dependent on database settings and data that the query operates on. Recent work “Database Workload Characterization with Query Plan Encoders” shows how we …
Dec. 15, 2022, 12:15 p.m.
Michał Jadwiszczak (MIMUW)
DBOS: system operacyjny oparty na bazie danych
W referacie przedstawię DBOS, systemu operacyjnego oparty na rozproszonej bazie danych. Celem nowego OS jest natywne wsparcie rozproszonych aplikacji działających w chmurze w modelu serverless. Skupię się na omówieniu decyzji projektowych oraz prezentacji i analizie …
Dec. 8, 2022, 12:15 p.m.
Damian Werpachowski
Sundial: Odporny na awarie, system synchronizacji zegarów w centrach danych
Tematyką dzisiejszego referatu będzie problem synchronizacji zegarów w centrach danych oraz system Sundial, który jest rozwiązaniem gwarantującym odporność na awarie w wielu klasycznych przypadkach. Zostanie omówione zastosowanie synchronizacji zegarów w popularnych bazach danych takich jak …
Dec. 1, 2022, 12:15 p.m.
Bartosz Ruszewski (MIMUW)
Problemy z Nullami z punktu widzenia użytkowników
Podczas dzisiejszego referatu porozmawiamy o tym jak obecność nulli i logika trójwartościowa w SQL wpływa na intuicyjność wyników zapytań. Przenalizujemy wyniki ankiety przeprowadzonej wśród osób korzystających często z SQL i sprawdzimy w jakim stopniu zgadzają …