Zmiana języka

Projects search

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

2016/23/B/ST6/01438

Keywords

Descriptors

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

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

Voivodeship: 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
2017-08-09
Project end date
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. Czytnik pdfów.
  2. laptop. Cost: 10 270 PLN
  3. laptop. Cost: 6 500 PLN
  4. laptop. Cost: 11 000 PLN

Information in the final report

Publication in academic press/journals (2)

  1. All‑Instances Restricted Chase Termination for Linear TGDs

    Authors:
    Tomasz Gogacz and Jerzy Marcinkowski and Andreas Pieris
    Academic press:
    Kunstliche Intell. (year: 2020, volume: 34, pages: 465-473), Publisher: springer
    Status:
    Published
    DOI:
    10.1007/s13218-020-00690-7 – link to the publication

  2. Uniform Restricted Chase Termination

    Authors:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Status:
    Accepted for publication

Articles in post-conference publications (10)

  1. 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 (year: 2018, pages: 492-501), Publisher: ACM
    Date:
    conference 9-12 lipca 2018
    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) (year: 2022, pages: 14:1--14:20), Publisher: Schloss Dagstuhl -- Leibniz-Zentrum f{u}r Informatik
    Date:
    conference marzec 2022
    Status:
    Published

  3. Determinacy of Real Conjunctive Queries. The Boolean Case

    Authors:
    Jarosław Kwiecień, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
    Conference:
    PODS ( 2022 ACM SIGMOD/PODS Conference ) (year: 2022, pages: 347-358), Publisher: ACM
    Date:
    conference czerwiec 2022
    Status:
    Published

  4. 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 ) (year: 2022, pages: 359--367), Publisher: ACM
    Date:
    conference czerwiec 2022
    Status:
    Published

  5. 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 (year: 2020, pages: 131--148), Publisher: ACM
    Date:
    conference 8 czerwca 2020
    Status:
    Published

  6. 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) (year: 2021, pages: 1719-1725), Publisher: ijcai.org
    Date:
    conference 7-15 stycznia 2021
    Status:
    Published

  7. 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) (year: 2019, pages: 15:1--15:18), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference marzec 2019
    Status:
    Published

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

    Authors:
    Jerzy Marcinkowski
    Conference:
    International Conference on Database Theory (ICDT) (year: 2020, pages: 2:1-2:20), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference marzec 2020
    Status:
    Published

  9. All-Instances Restricted Chase Termination

    Authors:
    Tomasz Gogacz, Jerzy Marcinkowski and Andreas Pieris
    Conference:
    PODS ( 2020 ACM SIGMOD/PODS Conference ) (year: 2020, pages: Pages 245–258), Publisher: ACM
    Date:
    conference czerwiec 2020
    Status:
    Published

  10. 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 (year: 2022, pages: 195-204), Publisher: KR
    Date:
    conference July 31 - August 5, 2022
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski