Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Challenges in semistructural data management

2013/11/D/ST6/03075

Keywords:

XML trees trees with data query languages data exchange minimization separation static analysis tree patterns

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_10: Web and information systems, database systems, internet technologies, including information retrieval and digital libraries

Panel:

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

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Filip Murlak 

Number of co-investigators in the project: 4

Call: SONATA 6 - announced on 2013-09-16

Amount awarded: 398 260 PLN

Project start date (Y-m-d): 2014-09-03

Project end date (Y-m-d): 2017-09-02

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

Project status: Project settled

Equipment purchased [PL]

  1. Laptop (3 szt.) (21 000 PLN)

Information in the final report

  • Publication in academic press/journals (2)
  • Articles in post-conference publications (11)
  1. Reasoning about integrity constraints for tree-structured data
    Authors:
    Wojciech Czerwiński, Claire David, Filip Murlak, Paweł Parys
    Academic press:
    Theory of Computing Systems (rok: 2018, tom: 62(4), strony: 941-976), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00224-017-9771-z - link to the publication
  2. Some connections between universal algebra and logics for trees
    Authors:
    Mikołaj Bojańczyk, Henryk Michalewski
    Academic press:
    Theoretical Computer Science , Wydawca: Elsevier
    Status:
    Submitted
  1. Invisible Pushdown Languages
    Authors:
    Eryk Kopczyński
    Conference:
    31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 5-8 lipca 2016
    Status:
    Published
  2. The (Almost) Complete Guide to Tree Pattern Containment
    Authors:
    Wojciech Czerwinski, Wim Martens, Pawel Parys, Marcin Przybylko
    Conference:
    34th ACM Symposium on Principles of Database Systems, PODS 2015 (rok: 2015, ), Wydawca: ACM
    Data:
    konferencja 31 maja - 4 lipca 2015
    Status:
    Published
  3. Minimization of Tree Pattern Queries
    Authors:
    Wojciech Czerwiński, Wim Martens, Matthias Niewerth, Paweł Parys
    Conference:
    35th ACM Symposium on Principles of Database Systems, PODS 2016 (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 26 czerwca - 1 lipca 2016
    Status:
    Published
  4. Vertically acyclic conjunctive queries over trees
    Authors:
    Filip Murlak, Grzegorz Zieliński
    Conference:
    10th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2016 (rok: 2016, ), Wydawca: bd.
    Data:
    konferencja 6-10 czerwca 2016
    Status:
    Published
  5. Eliminating Recursion from Monadic Datalog Programs on Trees
    Authors:
    Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
    Conference:
    Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015 (rok: 2015, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 24-28 sierpnia 2015
    Status:
    Published
  6. Reasoning about integrity constraints for tree-structured data
    Authors:
    Wojciech Czerwiński, Claire David, Filip Murlak, Paweł Parys
    Conference:
    19th International Conference on Database Theory, ICDT 2016 (rok: 2016, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 15-18 marca 2016
    Status:
    Published
  7. Containment of Monadic Datalog Programs via Bounded Clique-Width
    Authors:
    Mikołaj Bojańczyk, Filip Murlak, Adam Witkowski
    Conference:
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015 (rok: 2015, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 6-10 czerwca 2015
    Status:
    Published
  8. A Note on Decidable Separability by Piecewise Testable Languages
    Authors:
    Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen, Marc Zeitoun
    Conference:
    Fundamentals of Computation Theory - 20th International Symposium, FCT 2015 (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 17-19 sierpnia 2015
    Status:
    Published
  9. Consistency of injective tree patterns
    Authors:
    Claire David, Nadime Francis, Filip Murlak
    Conference:
    34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014 (rok: 2014, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 15-17 grudnia 2014
    Status:
    Published
  10. Schema validation via streaming circuits
    Authors:
    Filip Murlak, Charles Paperman, Michał Pilipczuk
    Conference:
    35th ACM Symposium on Principles of Database Systems, PODS 2016 (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 26 czerwca - 1 lipca 2016
    Status:
    Published
  11. Three Easy Pieces on Schema Mappings for Tree-structured Data
    Authors:
    Claire David, Filip Murlak
    Conference:
    11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017 (rok: 2017, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 7-9 czerwca 2017
    Status:
    Published