Filters








39 Hits in 4.1 sec

XQuery and static typing: tackling the problem of backward axes

Pierre Genevès, Nils Gesbert
2015 SIGPLAN notices  
This makes navigation expressions using 'backward axes,' which return e.g. the siblings of a node, impossible to type. We discuss how to handle this discrepancy by improving the type system.  ...  XSLT), it has been intended to feature strong static typing. Currently, however, some expressions of the language cannot be statically typed with any precision.  ...  Second, we formulated the difficulty of typing XQuery expressions with backward axes in terms of a discrepancy between the language's semantics and type algebra, and demonstrated that this difficulty cannot  ... 
doi:10.1145/2858949.2784746 fatcat:bndvz3kje5dsdgd7sgrmnpdbyy

XQuery and static typing: tackling the problem of backward axes

Pierre Genevès, Nils Gesbert
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
This makes navigation expressions using 'backward axes,' which return e.g. the siblings of a node, impossible to type. We discuss how to handle this discrepancy by improving the type system.  ...  XSLT), it has been intended to feature strong static typing. Currently, however, some expressions of the language cannot be statically typed with any precision.  ...  Second, we formulated the difficulty of typing XQuery expressions with backward axes in terms of a discrepancy between the language's semantics and type algebra, and demonstrated that this difficulty cannot  ... 
doi:10.1145/2784731.2784746 dblp:conf/icfp/GenevesG15 fatcat:4qzqkas2njedndsvynbkgr2zte

Optimizing XML querying using type-based document projection

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguy˜ˆen
2013 ACM Transactions on Database Systems  
A side contribution is a new type system for XPath able to handle backward axes. The soundness of our approach is formally proved.  ...  Furthermore, we prove that the approach is also complete (i.e., yields the best possible type-driven pruning) for a relevant class of queries and Schemas.  ...  In particular the precision of type inference for backward axes goes beyond what is proposed in the XQuery Static Semantic recommendation ( [Draper et al. 2007] , which essentially leaves the result of  ... 
doi:10.1145/2445583.2445587 fatcat:zas7c5zpn5evrh6lhq5hsab4bu

Optimizing XML querying using type-based document projection [article]

Véronique Benzaken and Giuseppe Castagna and Dario Colazzo and Kim Nguyen
2011 arXiv   pre-print
A side contribution is a new type system for XPath able to handle backward axes. The soundness of our approach is formally proved.  ...  Furthermore, we prove that the approach is also complete (i.e., yields the best possible type-driven pruning) for a relevant class of queries and Schemas.  ...  In particular the precision of type inference for backward axes goes beyond what is proposed in the XQuery Static Semantic recommendation ( [18] ).  ... 
arXiv:1104.2079v1 fatcat:7mi5yj4zunhibm7isw7k7cvgyq

The BEA/XQRL Streaming XQuery Processor [chapter]

Daniela Florescu, Chris Hillery, Donald Kossmann, Paul Lucas, Fabio Riccardi, Till Westmann, Michael J. Carey, Arvind Sundararajan, Geetika Agrawal
2003 Proceedings 2003 VLDB Conference  
In this paper, we describe the design, implementation, and performance characteristics of a complete, industrial-strength XQuery engine, the BEA streaming XQuery processor.  ...  This XQuery engine is fully compliant with the August 2002 draft of the W3C XML Query Language specification.  ...  Indeed, most existing XQuery implementations have tackled only a subset of XQuery and have made a number of simplifying assumptions.  ... 
doi:10.1016/b978-012722442-8/50093-8 dblp:conf/vldb/FlorescuHKLRWCSA03 fatcat:afleg7dkxbdijbvljnvc4qn5ha

A Core Calculus for XQuery 3.0 [chapter]

Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
2015 Lecture Notes in Computer Science  
The encoding of XQuery 3.0 into the extension of CDuce provides a formal semantics and a sound static type system for XQuery 3.0 programs.  ...  We prove the soundness of the operators π1, π2, rm, cons, and snoc by exploiting the fact that the types in the domains of their corresponding typing functions (especially for cons and snoc) are more precise  ...  , backward axes are left untyped).  ... 
doi:10.1007/978-3-662-46669-8_10 fatcat:sv6vbe6ljfb7rfjuw7u6rifcxq

The BEA streaming XQuery processor

Daniela Florescu, Chris Hillery, Donald Kossmann, Paul Lucas, Fabio Riccardi, Till Westmann, MichaelJ. Carey, Arvind Sundararajan
2004 The VLDB journal  
The BEA XQuery engine is fully compliant with the August 2002 draft of the W3C XML Query Language specification and we are currently porting it to the latest version of the XQuery language .  ...  This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor.  ...  Indeed, most existing XQuery implementations have tackled only a subset of XQuery and have made a number of simplifying assumptions.  ... 
doi:10.1007/s00778-004-0137-1 fatcat:jsgovghly5bxblv5htxtgvvc3y

High-performance complex event processing over XML streams

Barzan Mozafari, Kai Zeng, Carlo Zaniolo
2012 Proceedings of the 2012 international conference on Management of Data - SIGMOD '12  
Although these new types of automata can bring major benefits in terms of expressive power, to the best of our knowledge, their efficient implementation in the context of XPath-based query languages has  ...  In fact, the following was declared to be an important open problem since 2006 [31]: Efficient algorithms for computing the transitive closure of XPath path expressions.  ...  Inasmuch as XPath provides the kernel of several query languages, such as XQuery, we expect that these languages will also benefit from the extensions and implementation techniques described in this paper  ... 
doi:10.1145/2213836.2213866 dblp:conf/sigmod/MozafariZZ12 fatcat:jxfthfm3srdrtkczao7cdsbxia

High-performance complex event processing over hierarchical data

Barzan Mozafari, Kai Zeng, Loris D'antoni, Carlo Zaniolo
2013 ACM Transactions on Database Systems  
Besides the efficiency and expressivity benefits, the choice of VPA as the underlying model also enables XSeq to go beyond XML streams and be easily applicable to any data with both sequential and hierarchical  ...  In this article, we present the XSeq language and system that support CEP on XML streams, via an extension of XPath that is both powerful and amenable to an efficient implementation.  ...  ACKNOWLEDGMENTS We would like to thank the reviewers, Balder ten Cate, Alexander Shkapsky, Nikolay Laptev and Shi Gao for their comments.  ... 
doi:10.1145/2536779 fatcat:cbpt6fij5vb7rh5aa2qp5d4ilq

Processing recursive XQuery over XML streams: The Raindrop approach

Mingzhu Wei, Elke A. Rundensteiner, Murali Mani, Ming Li
2008 Data & Knowledge Engineering  
In this paper, we propose a new class of stream algebra operators for efficient recursive XQuery stream processing.  ...  and (b) the recursive structural join strategy supports structural joins over recursive XML substreams, however at an added cost of tuple-level ID-comparisons.  ...  We can extend our work to incorporate backward axes in the future. Fig. 1 . 1 Example XML Document Fragments. Document D1 is non-recursive, and document D2 is recursive.  ... 
doi:10.1016/j.datak.2007.09.007 fatcat:y5bn5grqhjgtfivowvhj3jc6za

Processing Recursive XQuery over XML Streams: The Raindrop Approach

Mingzhu Wei, Ming Li, E.A. Rundensteiner, M. Mani
2006 22nd International Conference on Data Engineering Workshops (ICDEW'06)  
In this paper, we propose a new class of stream algebra operators for efficient recursive XQuery stream processing.  ...  and (b) the recursive structural join strategy supports structural joins over recursive XML substreams, however at an added cost of tuple-level ID-comparisons.  ...  We can extend our work to incorporate backward axes in the future. Fig. 1 . 1 Example XML Document Fragments. Document D1 is non-recursive, and document D2 is recursive.  ... 
doi:10.1109/icdew.2006.119 dblp:conf/icde/WeiLRM06 fatcat:quipesvew5eb3jpyd2janggs4i

Citation analysis of database publications

Erhard Rahm, Andreas Thor
2005 SIGMOD record  
He is an invited expert to the W3C Full-Text Task Force, and is also the recipient of the NSF CAREER Award and an IBM Faculty Award.  ...  Gerhard serves on the editorial boards of ACM TODS and IEEE CS TKDE, and he was the program committee chair for the 2004 SIGMOD conference in Paris.  ...  Schema Validation Feature -allows the use of the validate expression. Static Typing Feature -requires XQuery to detect and report type errors during the static analysis phase.  ... 
doi:10.1145/1107499.1107505 fatcat:c4evhhw6y5difggghxsvvdqzeu

Program book

2010 2010 IEEE 26th International Conference on Data Engineering Workshops (ICDEW 2010)  
generated by original axes or linear combinations of original axes, including space rotation.  ...  for a wide range of XQuery updates.  ...  Streaming Data Integration: Challenges and Opportunities The amount of attention the research community has devoted to social networks has so far not kept up with their growth in popularity and overall  ... 
doi:10.1109/icdew.2010.5452773 fatcat:oyq2tujbvjfpxjlyixux5q57vu

Decoupling context management and application logic: A new framework

Bachir Chihani, Emmanuel Bertin, Noel Crespi
2013 2013 IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)  
The thesis studies the use of contextual information in common applications and examines the state of the art in the research area of context-aware computing in terms of techniques for context modeling  ...  We have enjoyed many vehement discussions in research problems, solutions and results. These two have given me an incredible perspective on numerous topics.  ...  enables a seamless understanding of the static aspect of the system which concerns the components role and structure.  ... 
doi:10.1109/wowmom.2013.6583486 dblp:conf/wowmom/ChihaniBC13 fatcat:bqytp54lwrgstlphn6q7ewho7m

The Family of MapReduce and Large Scale Data Processing Systems [article]

Sherif Sakr, Anna Liu, Ayman G. Fayoumi
2013 arXiv   pre-print
However, the original implementation of the MapReduce framework had some limitations that have been tackled by many research efforts in several followup works after its introduction.  ...  In the last two decades, the continuous increase of computational power has produced an overwhelming flow of data which has called for a paradigm shift in the computing architecture and large scale data  ...  In the following subsection we discuss research efforts that have been proposed to tackle these problems and add SQL-like interfaces on top of the MapReduce framework.  ... 
arXiv:1302.2966v1 fatcat:ttpqmigyurhepfa2wi2slicelm
« Previous Showing results 1 — 15 out of 39 results