XML-Lambda Type System and Data Model Revealed

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F09%3A00159223" target="_blank" >RIV/68407700:21240/09:00159223 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

XML-Lambda Type System and Data Model Revealed

Original language description

Within this paper we provide formal description of a functional type system for modeling XML formatted data along with an annotated example of an XML document modeled using such approach. We discuss its advantages and drawbacks in comparison with existing solutions. This submission is a part of our long-term endeavor to propose, examine, and implement an environment for XML data management, especially utilized for XPath/XQuery semantics description.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Databases, Texts, Specifications, and Objects

ISBN

978-80-01-04323-3

ISSN

1613-0073

e-ISSN

—

Number of pages

12

Pages from-to

130-141

Publisher name

ČVUT v Praze

Place of publication

Praha

Event location

Špindlerův Mlýn, Patejdlova Bouda

Event date

Apr 15, 2009

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

000272412300012