Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

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

2016/23/B/ST6/01438

Keywords:

database theory query containment chase dynamic complexity

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Jerzy Marcinkowski 

Number of co-investigators in the project: 4

Call: OPUS 12 - announced on 2016-09-15

Amount awarded: 617 190 PLN

Project start date (Y-m-d): 2017-08-09

Project end date (Y-m-d): 2022-08-08

Project duration:: 60 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. laptop (6 500 PLN)
  2. Czytnik pdfów.
  3. laptop (11 000 PLN)
  4. laptop (10 270 PLN)

Information in the final report

  • Publication in academic press/journals (2)
  • Articles in post-conference publications (10)
  1. Uniform Restricted Chase Termination
    Authors:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Academic press:
    SIAM Journal on Computing (rok: 2023, tom: 52/3, strony: 641--683), Wydawca: SIAM
    Status:
    Accepted for publication
    DOI:
    10.1137/20m1377035 - link to the publication
  2. All‑Instances Restricted Chase Termination for Linear TGDs
    Authors:
    Tomasz Gogacz and Jerzy Marcinkowski and Andreas Pieris
    Academic press:
    Kunstliche Intell. (rok: 2020, tom: 34, strony: 465-473), Wydawca: springer
    Status:
    Published
    DOI:
    10.1007/s13218-020-00690-7 - link to the publication
  1. Conservative Extensions for Existential Rules
    Authors:
    Jean Christoph Jung and Carsten Lutz and Jerzy Marcinkowski
    Conference:
    19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 (rok: 2022, ), Wydawca: KR
    Data:
    konferencja July 31 - August 5, 2022
    Status:
    Published
  2. Inference of Shape Graphs for Graph Databases
    Authors:
    Benoît Groz, Aurélien Lemay, Sławek Staworko, Piotr Wieczorek
    Conference:
    25th International Conference on Database Theory (ICDT 2022) (rok: 2022, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik
    Data:
    konferencja marzec 2022
    Status:
    Published
  3. The First Order Truth behind Undecidability of Regular Path Queries Determinacy
    Authors:
    Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja:
    Conference:
    International Conference on Database Theory (ICDT) (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja marzec 2019
    Status:
    Published
  4. What Makes a Variant of Query Determinacy (Un)Decidable?
    Authors:
    Jerzy Marcinkowski
    Conference:
    International Conference on Database Theory (ICDT) (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja marzec 2020
    Status:
    Published
  5. A Journey to the Frontiers of Query Rewritability
    Authors:
    Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
    Conference:
    PODS ( 2022 ACM SIGMOD/PODS Conference ) (rok: 2022, ), Wydawca: ACM
    Data:
    konferencja czerwiec 2022
    Status:
    Published
  6. Determinacy of Real Conjunctive Queries. The Boolean Case
    Authors:
    Jarosław Kwiecień, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
    Conference:
    PODS ( 2022 ACM SIGMOD/PODS Conference ) (rok: 2022, ), Wydawca: ACM
    Data:
    konferencja czerwiec 2022
    Status:
    Published
  7. Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable
    Authors:
    Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
    Conference:
    33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 9-12 lipca 2018
    Status:
    Published
  8. On Monotonic Determinacy and Rewritability for Recursive Queries and Views
    Authors:
    Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero
    Conference:
    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:
    Published
  9. All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
    Authors:
    Bartosz Bednarczyk , Robert Ferens, Piotr Ostropolski-Nalewaja
    Conference:
    The Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20) (rok: 2021, ), Wydawca: ijcai.org
    Data:
    konferencja 7-15 stycznia 2021
    Status:
    Published
  10. All-Instances Restricted Chase Termination
    Authors:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Conference:
    PODS ( 2020 ACM SIGMOD/PODS Conference ) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja czerwiec 2020
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy