Sciweavers

3166 search results - page 87 / 634
» Translation By Structural Correspondences
Sort
View
VLDB
2002
ACM
97views Database» more  VLDB 2002»
15 years 8 days ago
Structural Function Inlining Technique for Structurally Recursive XML Queries
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...
Chang-Won Park, Jun-Ki Min, Chin-Wan Chung
FINTAL
2006
15 years 4 months ago
Coordination Structures in a Typed Feature Structure Grammar: Formalization and Implementation
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
Jong-Bok Kim, Jaehyung Yang
97
Voted
ICALP
2009
Springer
16 years 28 days ago
On Regular Temporal Logics with Past,
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
Christian Dax, Felix Klaedtke, Martin Lange
ICDE
2005
IEEE
121views Database» more  ICDE 2005»
16 years 2 months ago
Full-fledged Algebraic XPath Processing in Natix
We present the first complete translation of XPath into an algebra, paving the way for a comprehensive, state-of-theart XPath (and later on, XQuery) compiler based on algebraic op...
Matthias Brantner, Sven Helmer, Carl-Christian Kan...
CISIS
2008
IEEE
15 years 7 months ago
Processing Ontology Alignments with SPARQL
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
Jérôme Euzenat, Axel Polleres, Fran&c...