Metody řešení inkonzistence při integraci bází dat a znalostí

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

—

Číslo smlouvy

—

Název projektu anglicky

Inconsistency resolution methods in the integration of data and knowledge bases

Anotace anglicky

The analysis of known inconsistency conflicts of the integration of data or knowledge bases, and of existing ways of their resolution, ought to lead to the design of more general methods, namely from the theoretical point of view, but also applicable inreal life situation. The focus will be concentrated on some important types of problems: the integration of data/knowledge bases with different priorities (hierarchically organized, centralized or decentrallized, federated, etc.), temporal inconsistency(its classification and resolution), the integration of data/knowledge bases with different kinds of fuzziness (vagueness, degree of truth) and of uncertainty (probabilistic, possibilistic, degree of belief). While in the case of the first two types, theformalism of the classical (predicate) logic ought to be sufficient, the last type of problems will surely require application of some variants of many-valued logics. The main goal of the grant is to formalize and to design real life applicable resoluti

Kategorie VaV

—

CEP - hlavní obor

BC - Teorie a systémy řízení

CEP - vedlejší obor

BD - Teorie informace

CEP - další vedlejší obor

BA - Obecná matematika

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt vedl ke klasifikaci inkozistencí v bázích dat a bázích znalostí a vývoj metodologie odstraňování nekonzistencí včetně implementace procedur na počítačích. Výsledky jsou adekvátní, odpovídající cílům. Jsou významné pro moderní databázové systémy a

Zahájení řešení

1. 1. 1997

Ukončení řešení

1. 1. 1999

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

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

CEP/2000/GA0/GA00GA/U/6:2

Datum dodání záznamu

—

Celkové uznané náklady

782 tis. Kč

Výše podpory ze státního rozpočtu

205 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč