Monoidal functional dependencies
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155708" target="_blank" >RIV/61989592:15310/15:33155708 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1016/j.jcss2015.03.006" target="_blank" >http://dx.doi.org/10.1016/j.jcss2015.03.006</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.jcss2015.03.006" target="_blank" >10.1016/j.jcss2015.03.006</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Monoidal functional dependencies
Popis výsledku v původním jazyce
We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral. partially ordered monoids and complete residuated lattices. The dependencies allow us to express stronger relationships between attribute values than the ordinary FDs. In our setting, the dependencies not only express that certain values are determined by others but also express that similar values of attributes imply similar values of other attributes. We show complete axiomatization using a system of Armstrong-like rules, comment on related computational issues, and the relational vs. propositional semantics of the dependencies.
Název v anglickém jazyce
Monoidal functional dependencies
Popis výsledku anglicky
We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral. partially ordered monoids and complete residuated lattices. The dependencies allow us to express stronger relationships between attribute values than the ordinary FDs. In our setting, the dependencies not only express that certain values are determined by others but also express that similar values of attributes imply similar values of other attributes. We show complete axiomatization using a system of Armstrong-like rules, comment on related computational issues, and the relational vs. propositional semantics of the dependencies.
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/GA14-11585S" target="_blank" >GA14-11585S: Relační podobnostní databáze</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
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
Journal of Computer and System Sciences
ISSN
0022-0000
e-ISSN
—
Svazek periodika
81
Číslo periodika v rámci svazku
7
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
16
Strana od-do
1357-1372
Kód UT WoS článku
000356644600016
EID výsledku v databázi Scopus
—