Hipoteza BDD/FC i okolice
2013/09/N/ST6/01188
Słowa kluczowe
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 Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
PRELUDIUM 5 – ogłoszony 2013-03-15
- Przyznana kwota
- 149 300 PLN
- Rozpoczęcie projektu
- 2014-03-25
- Zakończenie projektu
- 2017-03-24
- Planowany czas trwania projektu
- 36 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Komputer. Za kwotę 5 008 PLN
Dane z raportu końcowego/rocznego
Teksty w publikacjach pokonferencyjnych (3)
-
All-instances termination of chase is undecidable
- Autorzy:
- Tomasz Gogacz, Jerzy Marcinkowski
- Konferencja:
- International Colloquium on Automata, Languages and Programming (rok: 2014, strony: 293-304), Wydawca: Springer
- Data:
- konferencja lipiec 7–11
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
- Autorzy:
- Tomasz Gogacz, Jerzy Marcinkowski
- Konferencja:
- Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2015, strony: 281-292), Wydawca: IEEE
- Data:
- konferencja 6-10.7.2015
- Status:
- Opublikowana
-
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable
- Autorzy:
- Tomasz Gogacz, Jerzy Marcinkowski
- Konferencja:
- Symposium on Principles of Database Systems (rok: 2016), Wydawca: ACM
- Status:
- Przyjęta do publikacji