Nie jesteś zalogowany | Zaloguj się

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: 4060

Strona domowa

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

Dziedziny badań

Lista referatów

24 listopada 2022 12:15
Tomasz Domagała (MIMUW)
Prefix Filter: Practically and Theoretically Better Than Bloom
W niniejszym referacie zajmę się zagadnieniem filtrów. Zdefiniuję je i przedstawię ich zastosowania. Następnie przedstawię wysokopoziomowy opis sposobów ich realizacji oraz wady i zalety różnych filtrów, bloom, cuckoo, prefix. Dokładniej opiszę budowę filtrów opartych na "hash table of …
10 listopada 2022 12:15
Filip Murlak (MIMUW)
Rel, czyli bazy danych (jeszcze) inacze)
Rel, czyli bazy danych (jeszcze) inaczej.
3 listopada 2022 12:15
Jerzy Tyszkiewicz (MIMUW)
Multizapytania
Badamy rankingi generowane przez multizapytania, tzn. skończone multizbiory zapytań. Elementy danych są szeregowane według sumy ich odległości od elementów multizapytania. Opowiem dlaczego uważamy, że multizapytania są bardziej przyjazne dla użytkownika niż zapytania zaawansowane tworzone w oparciu o operatory …
27 października 2022 12:15
Piotr Sarna i Piotr Jastrzębski (SQLite)
[ZDALNIE!] Co nowego w SQLite?
UWAGA: Referat zdalny: https://meet.google.com/fdk-jesz-mfv SQLite to biblioteka implementująca bazę danych SQL, obecna na miliardach urządzeń elektronicznych. Jest ona rozwijana od 2000 roku i wciąż pojawiają się w niej nowe, ciekawe rozwiązania. Prezentacja zawiera podsumowanie architektury …
20 października 2022 12:15
Moshe Vardi (Rice University )
How to be an Ethical Computer Scientist - projekcja filmu Youtube
Wspólnie obejrzymy ten ważny referat i będziemy o nim dyskutować. https://www.youtube.com/watch?v=yElHykHs02s Abstract: Many of us got involved in computing because programming was fun. The advantages of computing seemed intuitive to us. We truly believed that …
13 października 2022 12:15
Wojciech Mitros (MIMUW)
WebAssembly jako język funkcji zdefiniowanych przez użytkownika (UDF) w rozproszonej bazie danyc)
Choosing a language for user-defined functions in a database may have a considerable effect on the performance of the database - in every query, there may be multiple UDF's. Not every language can be used …
9 czerwca 2022 12:15
Michał Jadwiszczak (MIMUW)
Omówienie i porównanie protokołów kontroli współbieżnego dostępu
Prezentacja na podstawie pracy "An Evaluation of Distributed Concurrency Control". W dzisiejszych czasach bardzo dynamicznie zwiększającej się ilości generowanyc danych, nie jest możliwe by obsłużyć je na jednoserwerowej bazie danych. Stąd potrzeba rozproszonych baz danych, …
2 czerwca 2022 12:15
Jakub Martin (MIMUW)
OctoSQL: Building a Universal SQL Query Tool and Ecosystem to work with Heterogeneous Kinds of Data
UWAGA: REFERAT ZDALNY: https://meet.google.com/vhw-ojrp-gjs OctoSQL (https://github.com/cube2222/octosql) 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. Na tym referacie skoncentruję …
19 maja 2022 12:15
Joachim Aleszkiewicz (MIMUW)
Strumieniowa analiza gafów rzadkich
Opowiem o strumieniowej analizie grafów w modelu semi-strumieniowym. Przedstawię pokrótce problemy stojące przed analizą dużych grafów i zaprezentuję efektywny sposób przechowywania stanu strumieniowanych grafów w celu ich przetwarzania, na podstawie pracy "Streaming Sparse Graphs using Efficient Dynamic Sets" (Brian …
12 maja 2022 12:15
Kuba Piwowar (SWPS)
Identyfikacja uprzedzeń w AI
Podczas spotkania przyjrzymy się źródłom uprzedzeń w modelach AI i na przykładach omówimy konkretne sposoby ich debiasowania. W tym celu skupimy się na tzw. word embeddings (załączam paper), aby podjąć próbę dekonstrukcji zjawiska algorithmic bias …
- file
7 kwietnia 2022 12:15
Jerzy Tyszkiewicz (MIMUW)
Range tree á la MPC
Prezentacja alternatywnego algorytmu do zliczania zdominowanych punktów, z analizą złożoności w modelu MPC.
24 marca 2022 12:15
Marcin Jodłowiec (Politechnika Wrocławska, Wydział Informatyki i Telekomunikacji)
Metody modelowania i translacji modeli baz danych dla metamodelu asocjacyjnego
Uwaga referat zdalny. Link: https://meet.google.com/vhw-ojrp-gjs Streszczenie: Referat dotyczy osiągnięcia naukowego w zakresie opracowanych wzorców modelowania asocjacyjnych baz danych oraz translacji zarówno semantyki metamodelu asocjacyjnego, jak i samych modeli asocjacyjnych. Główną motywacją podjętego tematu była często występująca potrzeba …
- file
17 marca 2022 12:15
Piotr Przymus (UMK)
Tracking Buggy Files: New Efficient Adaptive Bug Localization Algorithm
Upon receiving a new bug report, developers need to find its cause in the source code. Bug localization can be helped by a tool that ranks all source files according to how likely they include …
10 marca 2022 12:15
Jacek Sroka (MIMUW)
Zliczanie zdominowanych punktów w modelu MPC c.d.
Prezentacja będzie obejmowała podstawowe wprowadzenie do modeli obliczeniowych dla algorytmów rozpraszających obliczenia na klastry. Następnie omówiony zostanie algorytm zliczający zdominowane punkty w modelu MPC. Kontynuacja wystąpienia z poprzedniego tygodnia.
3 marca 2022 12:15
Jacek Sroka (MIMUW)
Zliczanie zdominowanych punktów w modelu MPC
Prezentacja będzie obejmowała podstawowe wprowadzenie do modeli obliczeniowych dla algorytmów rozpraszających obliczenia na klastry. Następnie omówiony zostanie algorytm zliczający zdominowane punkty w modelu MPC.
27 stycznia 2022 12:15
Joachim Aleszkiewicz
HUGE: An Efficient and Scalable Subgraph Enumeration System
Prezentacja na podstawie pracy: Zhengyi Yang, Longbin Lai, Xuemin Lin, Kongzhang Hao, Wenjie Zhang: HUGE: An Efficient and Scalable Subgraph Enumeration System. SIGMOD Conference 2021: 2049-2062 https://arxiv.org/abs/2103.14294
20 stycznia 2022 12:15
Kuba Piwowar (SWPS (i dodatkowo Google))
Tematem referatu jest zdefiniowanie oraz analiza źródeł wykluczenia algorytmicznego, jak również sposobów radzenia sobie z jego konsekwencjami i zapobiegania mu
Część teoretyczna osadzona jest w krytycznej refleksji nad technologią i składa się z trzech elementów. Pierwszy z nich wprowadza podstawowe pojęcia i umieszcza problematykę pracy w szerokiej dyskusji na temat krytycznych podejść do technologii. Drugi …
13 stycznia 2022 12:15
Michał Jadwiszczak
Prezentacja pracy "An evaluation of distributed concurrency control" z konferencji VLDB
Publikacja omawia i porównuje różne protokoły transakcji w używne w systemie zarządzania bazą danych. Omówione zostaną protokoły: Two-Phase Locking, Timestamp Ordering, Optimistic Concurrency Control, Deterministic oraz Two-Phase Commit.
16 grudnia 2021 12:15
Kamil Breguła - software engineer w Snowflake Poland, kontrybutor jak i członek zarządu Apache Airflow oraz Piotr Pietrzkiewicz - field engineer w Snowflake Poland, +10 lat doświadczenia
Snowflake jako chmura danych
Snowflake to jeden z najgorętszych debiutów giełdowych na NYSE. Platforma która zrewolucjonizowała podejście do analizy i wymiany danych w chmur`ACH (celowy zabieg). Podczas tej sesji omówimy historię, unikalną architekturę i sposób rozwiązywania wad obecnych systemów …
9 grudnia 2021 12:15
prof. dr hab. Jerzy Tyszkiewicz
End-User Programming for BigData
I will describe a widely known programming language of spreadsheet formulas as a potential new language to process big data. All crucial steps to fulfill this idea will be discussed, some of them without a …
2 grudnia 2021 12:15
Michał Górski
Profilowanie geograficzne. Czy możliwe jest przewidywanie miejsca zamieszkania sprawcy przestępstw na podstawie położenia i właściwości miejsc zdarzeń?
25 listopada 2021 12:15
dr hab. Filip Murlak , prof. UW
GQL: nowy standard dla grafowych baz danych
W 2019 roku rozpoczęto prace nad nowym standardem języka zapytań dla grafowych baz danych. Grupa robocza ISO zajmująca się nowym standardem współpracuje z nieformalną społecznością przedstawicieli nauki i przemysłu skupioną pod egidą organizacji LDBC. Opowiem …