Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

A Data Model for Annotated Programs.

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F02%3A06020225" target="_blank" >RIV/67985807:_____/02:06020225 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    A Data Model for Annotated Programs.

  • Popis výsledku v původním jazyce

    Subrahmanian introduced generalized annotated logic programs (GAP) which unify and generalize various results and treatments of quantitative Datalog based model theoretic semantic. Nevertheless their model has discontinuous restricted semantics. We introduce a variant of annotated programs with continuous restricted semantics, we define a new effective computational procedure and show a solution for the join problem. We use a connection to fuzzy Datalog and make use of an earlier model of fuzzy databases.

  • Název v anglickém jazyce

    A Data Model for Annotated Programs.

  • Popis výsledku anglicky

    Subrahmanian introduced generalized annotated logic programs (GAP) which unify and generalize various results and treatments of quantitative Datalog based model theoretic semantic. Nevertheless their model has discontinuous restricted semantics. We introduce a variant of annotated programs with continuous restricted semantics, we define a new effective computational procedure and show a solution for the join problem. We use a connection to fuzzy Datalog and make use of an earlier model of fuzzy databases.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GA201%2F00%2F1489" target="_blank" >GA201/00/1489: Soft Computing: teoretické základy a experimenty</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2002

  • 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 statě ve sborníku

    Advances in Databases and Information Systems.

  • ISBN

    80-227-1744-4

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    14

  • Strana od-do

    141-154

  • Název nakladatele

    Vydavatelstvo STU

  • Místo vydání

    Bratislava

  • Místo konání akce

    Bratislava [SK]

  • Datum konání akce

    8. 9. 2002

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku