Change language

Wyszukiwarka projektów

Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.

2016/23/B/ST6/01438

Słowa kluczowe

Deskryptory

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel

ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki »

Kierownik projektu (z jednostki realizującej)

prof. Jerzy Marcinkowski

Liczba wykonawców projektu: 4

Konkurs

OPUS 12 – ogłoszony 2016-09-15

Przyznana kwota
617 190 PLN
Rozpoczęcie projektu
2017-08-09
Zakończenie projektu
2022-08-08
Planowany czas trwania projektu
60 miesięcy (z wniosku)
Status projektu
Projekt rozliczony

Opis projektu

Pobierz opis projektu w formacie .pdf

Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Zakupiona aparatura

  1. Czytnik pdfów.
  2. laptop. Za kwotę 10 270 PLN
  3. laptop. Za kwotę 6 500 PLN
  4. laptop. Za kwotę 11 000 PLN

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (2)

  1. All‑Instances Restricted Chase Termination for Linear TGDs

    Autorzy:
    Tomasz Gogacz and Jerzy Marcinkowski and Andreas Pieris
    Czasopismo:
    Kunstliche Intell. (rok: 2020, tom: 34, strony: 465-473), Wydawca: springer
    Status:
    Opublikowana
    DOI:
    10.1007/s13218-020-00690-7 – link do publikacji

  2. Uniform Restricted Chase Termination

    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Status:
    Przyjęta do publikacji

Teksty w publikacjach pokonferencyjnych (10)

  1. Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable

    Autorzy:
    Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
    Konferencja:
    33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 (rok: 2018, strony: 492-501), Wydawca: ACM
    Data:
    konferencja 9-12 lipca 2018
    Status:
    Opublikowana

  2. Inference of Shape Graphs for Graph Databases

    Autorzy:
    Benoît Groz, Aurélien Lemay, Sławek Staworko, Piotr Wieczorek
    Konferencja:
    25th International Conference on Database Theory (ICDT 2022) (rok: 2022, strony: 14:1--14:20), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{u}r Informatik
    Data:
    konferencja marzec 2022
    Status:
    Opublikowana

  3. Determinacy of Real Conjunctive Queries. The Boolean Case

    Autorzy:
    Jarosław Kwiecień, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
    Konferencja:
    PODS ( 2022 ACM SIGMOD/PODS Conference ) (rok: 2022, strony: 347-358), Wydawca: ACM
    Data:
    konferencja czerwiec 2022
    Status:
    Opublikowana

  4. A Journey to the Frontiers of Query Rewritability

    Autorzy:
    Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
    Konferencja:
    PODS ( 2022 ACM SIGMOD/PODS Conference ) (rok: 2022, strony: 359--367), Wydawca: ACM
    Data:
    konferencja czerwiec 2022
    Status:
    Opublikowana

  5. On Monotonic Determinacy and Rewritability for Recursive Queries and Views

    Autorzy:
    Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero
    Konferencja:
    Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2020 (rok: 2020, strony: 131--148), Wydawca: ACM
    Data:
    konferencja 8 czerwca 2020
    Status:
    Opublikowana

  6. All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs

    Autorzy:
    Bartosz Bednarczyk , Robert Ferens, Piotr Ostropolski-Nalewaja
    Konferencja:
    The Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20) (rok: 2021, strony: 1719-1725), Wydawca: ijcai.org
    Data:
    konferencja 7-15 stycznia 2021
    Status:
    Opublikowana

  7. The First Order Truth behind Undecidability of Regular Path Queries Determinacy

    Autorzy:
    Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja:
    Konferencja:
    International Conference on Database Theory (ICDT) (rok: 2019, strony: 15:1--15:18), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja marzec 2019
    Status:
    Opublikowana

  8. What Makes a Variant of Query Determinacy (Un)Decidable?

    Autorzy:
    Jerzy Marcinkowski
    Konferencja:
    International Conference on Database Theory (ICDT) (rok: 2020, strony: 2:1-2:20), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja marzec 2020
    Status:
    Opublikowana

  9. All-Instances Restricted Chase Termination

    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Konferencja:
    PODS ( 2020 ACM SIGMOD/PODS Conference ) (rok: 2020, strony: Pages 245–258), Wydawca: ACM
    Data:
    konferencja czerwiec 2020
    Status:
    Opublikowana

  10. Conservative Extensions for Existential Rules

    Autorzy:
    Jean Christoph Jung and Carsten Lutz and Jerzy Marcinkowski
    Konferencja:
    19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 (rok: 2022, strony: 195-204), Wydawca: KR
    Data:
    konferencja July 31 - August 5, 2022
    Status:
    Opublikowana

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski