Relační podobnostní databáze
Cíle projektu
Navrhujeme zkoumat relační model dat s ohledem na nepřesnost a podobnost. Model vznikne pokud se posuneme od dvouhodnotových logik, na kterých je postaven klasický Coddův relační model dat, k obecnějším logikám založeným na reziduovaných svazech sloužících jako jako uspořádané struktury ranků. Na rozdíl od pravděpodobnostních databází, ve kterých jsou ranky interpretovány jako stupně domnění, jsou v našem modelu ranky chápány stejně jako pravdivostní hodnoty ve fuzzy logikách v úzkém smyslu, to jest jako hodnoty s komparativním významem, které interpretujeme jako stupně odpovídání dotazům. Jako důsledek dostáváme model, ve kterém můžeme zkoumat fenomény jako podobnostní dotazování nebo podobnostní závislosti v datech. Výzkum se zaměřuje na čtyři hlavní témata: základy formálního modelu, dotazovací systémy vč. relační algebry a kalkulů, závislosti v datech, algoritmické aspekty a návrh dotazovacího jazyka. Projekt je zamýšlen na pokračování podpory výzkumných aktivit, které v současné době na pracovišti předkladatele probíhají.
Klíčová slova
relational databasesfuzzy logicresiduated structuresfinite model theorymathematical logicqueryingranksdata dependenciesaxiomatizationalgorithms
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 18 (SGA0201400001)
Hlavní účastníci
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
14-11585S
Alternativní jazyk
Název projektu anglicky
Relational Similarity-Based Databases
Anotace anglicky
We propose to investigate generalized relational model of data concerned with imprecision and similarity. The model emerges when we shift from the two-valued classical logic, which is the underlying logic of the classic Codd relational model of data, to more general logics based on residuated lattices which serve in our model as ordered structures of ranks. Unlike probabilistic databases with ranks interpreted as degrees of belief, our model is truth-functional as in fuzzy logics in the narrow sense and interprets the ranks as degrees of matches. As a consequence, the model offers a sound and conceptually clean way to deal with phenomena like similarity-based queries and similarity-based constraints including approximate dependencies in data. The research is planned in four basic areas: logic and order-theoretic foundations of the model, query systems including relational algebra and calculi, constraints and data dependencies, algorithms and query language design. The project is intended to support ongoing research in this area for the next three years.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Cíle projektu byly splněny. Bylo dosaženo nových výsledků ve čtyřech směrech výzkumu zobecněného relačního modelu dat. Projektový tým zahrnoval jak velmi zkušené pracovníky, tak i PhD studenty a postupoval v souladu se stanovenými cíli. Finanční prostředky byly účelně čerpány v navržené skladbě. Výsledky byly publikovány ve dvanácti článcích v časopisech s IF a na třech prestižních konferencích.
Termíny řešení
Zahájení řešení
1. 1. 2014
Ukončení řešení
31. 12. 2016
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
5. 4. 2016
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP17-GA0-GA-U/03:1
Datum dodání záznamu
28. 6. 2017
Finance
Celkové uznané náklady
4 424 tis. Kč
Výše podpory ze státního rozpočtu
4 424 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
4 424 tis. Kč
Statní podpora
4 424 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
IN - Informatika
Doba řešení
01. 01. 2014 - 31. 12. 2016