Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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

2016/23/B/ST6/01438

Słowa kluczowe:

One Step From the Relational Model. A Couple of Database Theory Puzzles.

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-01

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. laptop. Za kwotę 6 500 PLN
  2. Czytnik pdfów.
  3. laptop. Za kwotę 11 000 PLN
  4. laptop. Za kwotę 10 270 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (10)
  1. Uniform Restricted Chase Termination
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Czasopismo:
    SIAM Journal on Computing (rok: 2023, tom: 52/3, strony: 641--683), Wydawca: SIAM
    Status:
    Przyjęta do publikacji
    Doi:
    10.1137/20m1377035 - link do publikacji
  2. 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
  1. 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, ), Wydawca: KR
    Data:
    konferencja July 31 - August 5, 2022
    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, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik
    Data:
    konferencja marzec 2022
    Status:
    Opublikowana
  3. 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, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja marzec 2019
    Status:
    Opublikowana
  4. What Makes a Variant of Query Determinacy (Un)Decidable?
    Autorzy:
    Jerzy Marcinkowski
    Konferencja:
    International Conference on Database Theory (ICDT) (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja marzec 2020
    Status:
    Opublikowana
  5. 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, ), Wydawca: ACM
    Data:
    konferencja czerwiec 2022
    Status:
    Opublikowana
  6. 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, ), Wydawca: ACM
    Data:
    konferencja czerwiec 2022
    Status:
    Opublikowana
  7. 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, ), Wydawca: ACM
    Data:
    konferencja 9-12 lipca 2018
    Status:
    Opublikowana
  8. 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, ), Wydawca: ACM
    Data:
    konferencja 8 czerwca 2020
    Status:
    Opublikowana
  9. 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, ), Wydawca: ijcai.org
    Data:
    konferencja 7-15 stycznia 2021
    Status:
    Opublikowana
  10. All-Instances Restricted Chase Termination
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Konferencja:
    PODS ( 2020 ACM SIGMOD/PODS Conference ) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja czerwiec 2020
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy