Inconsistency resolution methods in the integration of data and knowledge bases
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Metody řešení inkonzistence při integraci bází dat a znalostí
Annotation in Czech
Analýza některých známých inkonzistenčních konfliktů při integraci bází dat nebo znalostí a existujících způsobů jejich řešení, povede k návrhu obecnějších metod, a to jak po stránce teoretické, tak i prakticky aplikovatelných. Pozornost bude soustředěnana některé významné typy problémů: integraci bází dat nebo znalostí s různými prioritami (hierarchicky členěné, centralizované nebo decentralizované), temporální inkonzistence (její klasifikace a řešení), integrace bází dat a znalostí s různými třídami neurčitosti (vágnost, stupeň pravdivosti) a nejistoty (pravděpodobnostní, posibilistická, věrohodnostní). Zatímco první dva typy vystačí pravděpodobně s formálními prostředky klasické (predikátové) logiky, poslední bude určitě vyžadovat aplikaci nějaké varianty vícehodnotové logiky. Hlavním cílem projektu je formalizace dané problematiky a návrh prakticky realizovatelných metod řešení inkonzistence dat a znalostí. Přímá aplikovatelnost je zamýšlena v oblasti klasických databázových i znalostních systémů
Scientific branches
R&D category
—
CEP classification - main branch
BC - Theory and management systems
CEP - secondary branch
BD - Information theory
CEP - another secondary branch
BA - General mathematics
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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
Solution timeline
Realization period - beginning
Jan 1, 1997
Realization period - end
Jan 1, 1999
Project status
U - Finished project
Latest support payment
—
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
CEP/2000/GA0/GA00GA/U/6:2
Data delivery date
—
Finance
Total approved costs
782 thou. CZK
Public financial support
205 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK