An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F12%3A33141693" target="_blank" >RIV/61989592:15310/12:33141693 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-34620-0_36" target="_blank" >http://dx.doi.org/10.1007/978-3-642-34620-0_36</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-34620-0_36" target="_blank" >10.1007/978-3-642-34620-0_36</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data
Popis výsledku v původním jazyce
We present a new axiomatization of logic for dependencies in data with grades, including ordinal data and data in an extension of Codd's model that takes into account similarity relations on domains. The axiomatization makes possible an efficient methodfor automated reasoning for such dependencies that is presented in the paper. The presented method of automatic reasoning is based on a new simplification equivalence which allows to simplify sets of dependencies while retaining their semantic closures.We include two algorithms for computing closures and checking semantic entailment from sets of dependencies and present experimental comparison showing that the algorithms based on the new axiomatization outperform the algorithms proposed in the past.
Název v anglickém jazyce
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data
Popis výsledku anglicky
We present a new axiomatization of logic for dependencies in data with grades, including ordinal data and data in an extension of Codd's model that takes into account similarity relations on domains. The axiomatization makes possible an efficient methodfor automated reasoning for such dependencies that is presented in the paper. The presented method of automatic reasoning is based on a new simplification equivalence which allows to simplify sets of dependencies while retaining their semantic closures.We include two algorithms for computing closures and checking semantic entailment from sets of dependencies and present experimental comparison showing that the algorithms based on the new axiomatization outperform the algorithms proposed in the past.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP103%2F11%2F1456" target="_blank" >GAP103/11/1456: Základy pro zpracování dat s využitím podobností</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Lecture Notes in Computer Science
ISSN
0302-9743
e-ISSN
—
Svazek periodika
7647
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
12
Strana od-do
408-419
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—