Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyzwania semistrukturalnych baz danych

2013/11/D/ST6/03075

Słowa kluczowe:

XML drzewa drzewa z danymi języki zapytań wymiana danych minimalizacja separacja analiza statyczna wzorce drzewiaste

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_10: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe

Panel:

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

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Filip Murlak 

Liczba wykonawców projektu: 4

Konkurs: SONATA 6 - ogłoszony 2013-09-16

Przyznana kwota: 398 260 PLN

Rozpoczęcie projektu: 2014-09-03

Zakończenie projektu: 2017-09-02

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptop (3 szt.). Za kwotę 21 000 PLN

Dane z raportu końcowego/rocznego

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy