Relational Similarity-Based Databases
Project goals
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.
Keywords
relational databasesfuzzy logicresiduated structuresfinite model theorymathematical logicqueryingranksdata dependenciesaxiomatizationalgorithms
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 18 (SGA0201400001)
Main participants
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
Contest type
VS - Public tender
Contract ID
14-11585S
Alternative language
Project name in Czech
Relační podobnostní databáze
Annotation in Czech
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í.
Scientific branches
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has fully achieved its objectives. New results have been obtained in all the areas proposed to be investigated. The project team has involved both experienced researchers and PhD students. Team’s activities were consistent with the objectives set. The financial management was sound. Results have been published in twelve papers in journals with IF and at three prestigious conferences.
Solution timeline
Realization period - beginning
Jan 1, 2014
Realization period - end
Dec 31, 2016
Project status
U - Finished project
Latest support payment
Apr 5, 2016
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP17-GA0-GA-U/03:1
Data delivery date
Jun 28, 2017
Finance
Total approved costs
4,424 thou. CZK
Public financial support
4,424 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
4 424 CZK thou.
Public support
4 424 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 01. 2014 - 31. 12. 2016