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: 4060Home page
https://sites.google.com/view/sembdmimuw?pli=1&authuser=1Research fields
List of talks
-
March 17, 2022, 12:15 p.m.
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 …
-
March 10, 2022, 12:15 p.m.
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.
-
March 3, 2022, 12:15 p.m.
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.
-
Jan. 27, 2022, 12:15 p.m.
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
-
Jan. 20, 2022, 12:15 p.m.
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 …
-
Jan. 13, 2022, 12:15 p.m.
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.
-
Dec. 16, 2021, 12:15 p.m.
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 …
-
Dec. 9, 2021, 12:15 p.m.
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 …
-
Dec. 2, 2021, 12:15 p.m.
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ń?
-
Nov. 25, 2021, 12:15 p.m.
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 …