Projekty finansowane przez NCN
Hipoteza BDD/FC i okolice
2013/09/N/ST6/01188
Słowa kluczowe:
Bounded Derivation Depth Finite Controllability Tuple generating dependencies
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
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 undecidableAutorzy:Tomasz Gogacz, Jerzy MarcinkowskiKonferencja:International Colloquium on Automata, Languages and Programming (rok: 2014, ), Wydawca: SpringerData:konferencja lipiec 7–11Status:Opublikowana
- The Hunt for a Red Spider: Conjunctive Query Determinacy Is UndecidableAutorzy:Tomasz Gogacz, Jerzy MarcinkowskiKonferencja:Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2015, ), Wydawca: IEEEData:konferencja 6-10.7.2015Status:Opublikowana
- Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is UndecidableAutorzy:Tomasz Gogacz, Jerzy MarcinkowskiKonferencja:Symposium on Principles of Database Systems (rok: 2016, ), Wydawca: ACMData:konferencja 26 czerwca - 1 lipcaStatus:Przyjęta do publikacji