Filtry
XML-lambda: an Extendible Framework for Manipulating XML Data
In a functional approach, XML data is typed as functions. We introduce a version of the typed lambda-calculus (with tagged terms) as a framework for manipulating typed XML data....
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Reconstruction of Normalized XML Documents
In this paper we address the problem of XML document normalization and their reconstruction using XQuery. Instead of one type of XML documents, we consider a set of different types of XML documents present...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Types in XML and XML-schemas
Not available...
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Updating Typed XML Documents Using a Functional Data Model
Updating Typed XML Documents Using a Functional Data Model...
IN - Informatika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
XML Querying with Functions
XML data can be modelled by typed functions. With the functional data model we can simulate elements and attributes both in ordered and unordered versions. We introduce a framework for manipulating typed XML data -...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
XML functionally
We formulate a type system to describe XML-data in a set- and function-oriented manner. A version of a typed lambda-calculus is used as a framework to manipulate XML data. The language is extensible with various ma...
JC - Počítačový hardware a software
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
XML-Lambda Type System and Data Model Revealed
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 drawb...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Evaluation of XPath Fragments Using Lambda Calculi
XML Path Language (XPath) is the most important standard for navigation within XML documents nowadays. In this paper we present the state of our current research that is focused on using a functional framework based on simply ty...
IN - Informatika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Why to Use a Type System for Processing XML
In this paper we discuss an approach of manipulating XML data with help of a type system.
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Conceptual Model Based Normalization of XML Views
schemes that describe XML representation of our data in several types of XML documentsAs the popularity of XML as a format for data representation grows the need for storing XML data in an effective way g...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 105 318