Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

2022/45/B/ST6/00457

Słowa kluczowe:

Teoria baz danych. Odpowiadanie na zapytania modulo ontologia. Semantyka multizbiorowa.

Deskryptory:

  • ST6_010: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe
  • ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
  • ST6_007: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Jerzy Marcinkowski 

Liczba wykonawców projektu: 4

Konkurs: OPUS 23 - ogłoszony 2022-03-28

Przyznana kwota: 1 122 000 PLN

Rozpoczęcie projektu: 2023-02-02

Zakończenie projektu: 2027-02-01

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

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (1)
  1. Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability
    Autorzy:
    Jerzy Marcinkowski, Mateusz Orda
    Czasopismo:
    ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) (rok: 2024, tom: Proc. {ACM} Manag. Data 2/2, strony: 103:1 - 103:24), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3651604 - link do publikacji