Tematyka seminarium obejmuje teorię i praktykę przetwarzania danych i reprezentacji wiedzy. Interesują nas wyzwania związane z przetwarzaniem danych, zapytań i metadanych (schematów, więzów, zależności, ontologii) - od projektowania i analizy abstrakcyjnych formalizmów aż po architekturę systemów i rozpraszanie obliczeń na dużych danych. Rozważamy różne rodzaje danych: nie tylko dane relacyjne, ale również semistrukturalne (XML, JSON), grafowe (RDF, LPG), obiektowe, tekstowe, temporalne, strumieniowe, aż po systemy informacji geograficznej (GIS).
Podejmujemy zarówno zagadnienia teoretyczne, wykorzystujące warsztat algorytmiki, kombinatoryki, logiki (np. teorii modeli skończonych) i teorii automatów, jak i praktyczne, opierające się na narzędziach inżynierii oprogramowania i wiedzy o systemach. Prace magisterskie powstające w ramach seminarium mogą badać rozstrzygalność i złożoność abstrakcyjnych problemów decyzyjnych, projektować algorytmy i heurystyki, implementować i testować istniejące rozwiązania teoretyczne, czy też analizować, porównywać i rozszerzać istniejące systemy.
Spotykamy się również i dyskutujemy z badaczami z innych dziedzin, którzy czasami dostarczają nam pomysłów na tematy prac magisterskich. Współpracowaliśmy już lub nadal współpracujemy z astronomami, chemikami, geografami. Jesteśmy nadal otwarci na inne obszary zastosowań.
Referaty seminaryjne są zwykle wygłaszane na podstawie wybranych prac z głównych międzynarodowych konferencji poświęconych bazom danych i reprezentacji wiedzy, takich jak VLDB, PODS, SIGMOD i KR.
Przykładowe zagadnienia:
* 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
Organizatorzy
- dr hab. Filip Murlak, prof. UW
- dr Jacek Sroka
- prof. dr hab. Krzysztof Stencel
- prof. dr hab. Jerzy Tyszkiewicz
Informacje
wtorki, 10:15 , sala: 4060Strona domowa
https://sites.google.com/view/sembdmimuw?pli=1&authuser=1Dziedziny badań
Lista referatów
-
19 października 2023 12:15
Bartosz Ruszewski (MIMUW)
Regular Path Queries problems under different semantics
Na dzisiejszym referacie opowiemy sobie o grafowych bazach danych, powiemy sobie jak z pozoru łatwe problemy grafowe stają się NP trudne w momencie gdy dodamy do nich wyrażenie regularne. Opowiemy sobie o tym jak wybrana …
-
12 października 2023 12:15
Damian Werpachowski (MIMUW)
FUSSE: Magazyn klucz-wartość z pełnym rozproszeniem pamięci
Magazyny klucz-wartość bazujące na rozproszonej pamięci operacyjnej najczęściej występują w modelu częściowo-rozproszonym, gdzie pary klucz-wartość są przechowywane w rozproszonej pamięci, natomiast metadane takie jak indeksy, na serwerach monolitycznych. Jako, że główną zaletą rozproszonej pamięci operacyjnej …
-
5 października 2023 12:15
Michał J Gajda (Migamake Pte Ltd)
Księgowość danych
Jak zapewnić poprawność analizy danych? Poza najlepszymi praktykami w statystyce (standardowe podsumowania eksperymentów) i bankowości (BCP 239), chciałoby się znaleźć matematyczny opis tego problemu. Przedstawię metodologię rozwijaną w celu systematycznego podsumowywania danych. Metodologia nawiązuje do …
-
1 czerwca 2023 12:15
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ą.
-
25 maja 2023 12:15
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 …
-
18 maja 2023 12:15
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 …
-
11 maja 2023 12:15
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 …
-
27 kwietnia 2023 12:15
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 …
-
20 kwietnia 2023 12:15
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 …
-
30 marca 2023 12:15
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 …
-
23 marca 2023 12:15
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 …
-
16 marca 2023 12:15
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 …
-
9 marca 2023 12:15
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 …
-
19 stycznia 2023 12:15
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 …
-
12 stycznia 2023 12:15
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 …