Filters








28 Hits in 6.6 sec

A Core Calculus for XQuery 3.0 [chapter]

Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
2015 Lecture Notes in Computer Science  
To this end, we extend CDuce so as it can be seen as a succinct core λ-calculus that captures XQuery 3.0 programs.  ...  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.  ...  Our contribution is to improve both XQuery and CDuce by showing that (an extended) CDuce can be seen as a succinct core λ-calculus that exactly captures XQuery 3.0 programs.  ... 
doi:10.1007/978-3-662-46669-8_10 fatcat:sv6vbe6ljfb7rfjuw7u6rifcxq

A Uniform Programmning Language for Implementing XML Standards [chapter]

Pavel Labath, Joachim Niehren
2015 Lecture Notes in Computer Science  
We propose X-Fun, a core language for implementing various Xml standards in a uniform manner.  ...  X-Fun is a higher-order functional programming language for transforming data trees based on node selection queries. It can support the Xml data model and XPath queries as a special case.  ...  We would like to thank Guiseppe Castagna and Kim Nguyen for their helpful discussions about the type system of X-Fun.  ... 
doi:10.1007/978-3-662-46078-8_45 fatcat:iyxgcntdznevvanra4vsvpcgya

Backward type inference for XML queries

Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2020 Theoretical Computer Science  
In this paper, as a different approach, we propose a novel backward type inference system for XQuery, based on a type language extended with logical formulas.  ...  Our backward type inference system provides an exact typing result for XPath axes and a sound typing result for XQuery expressions.  ...  Acknowledgement The authors thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1016/j.tcs.2020.03.020 fatcat:wziboaei6fh4pbiynhk4ubb6ly

The Optics of Language-Integrated Query

J. López-González, Juan M. Serrano
2020 Science of Computer Programming  
This paper attempts to exploit the notion of optic for LINQ as a higher-level language that complements comprehension-based approaches.  ...  S-Optica, a Scala implementation of Optica using the tagless-final approach.  ...  Acknowledgements We would like to thank James Cheney, Oleg Kiselyov, Eric Torreborre and the anonymous reviewers for their helpful comments and corrections to a previous version of this paper.  ... 
doi:10.1016/j.scico.2020.102395 fatcat:twd2mzf2cjdmphklzkxuyxe524

Ensuring Query Compatibility with Evolving XML Schemas [article]

Pierre Genevès, Nabil Layaïda, Vincent Quint
2008 arXiv   pre-print
This article proposes a logical framework and tool for verifying forward/backward compatibility issues involving schemas and queries. First, it allows analyzing relations between schemas.  ...  Nowadays, a challenge is to assess and accommodate the impact of theses changes in rapidly evolving XML applications.  ...  The logic uses programs for navigating in binary trees: the program 1 allows to navigate from a node down to its first successor and the program 2 for navigating from a node down to its second successor  ... 
arXiv:0811.4324v1 fatcat:c5tx2haj5raa3lwq2o6es7rrju

Rule Responder Agents Framework and Instantiations [chapter]

Harold Boley, Adrian Paschke
2011 Studies in Computational Intelligence  
It provides the infrastructure for rule-based collaboration between the distributed members of such a virtual organization.  ...  Rule Responder is a framework for specifying virtual organizations as semantic multiagent systems that support collaborative teams.  ...  The multi-agent approach allows for a highly-available distributed implementation with redundant Event-Calculus based state processing where events are processed concurrently in the EPN.  ... 
doi:10.1007/978-3-642-18308-9_1 fatcat:da75woatbzhyperju5gab3nmfu

A practical theory of language-integrated query

James Cheney, Sam Lindley, Philip Wadler
2013 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13  
Higher-order features prove useful even for constructing first-order queries. We prove a theorem characterising when a host query is guaranteed to generate a single SQL query.  ...  We present a practical theory of language-integrated query based on quotation and normalisation of quoted terms.  ...  This work is supported in part by a Google Research Award (Lindley), EPSRC grants EP/J014591/1 (Lindley) and EP/K034413/1 (Lindley, Wadler), and a Royal Society University Research Fellowship (Cheney  ... 
doi:10.1145/2500365.2500586 dblp:conf/icfp/CheneyLW13 fatcat:j723lnv7rfe3nadkhmccxnfwbe

Impact of XML Schema Evolution

Pierre Genevès, Nabil Layaïda, Vincent Quint
2011 ACM Transactions on Internet Technology  
We propose a unifying framework for determining the effects of XML Schema evolution both on the validity of documents and on queries.  ...  This yields either a formal proof of the property or a counter-example that can be used for debugging purposes.  ...  1.2 is written in Relax-NG; MathML 1.01 has a DTD, MathML 2.0 has both a DTD and an XML Schema, and MathML 3.0 is developed with a Relax-NG schema and also published with a DTD and an XML Schema.  ... 
doi:10.1145/1993083.1993087 fatcat:hehkdyc3mnbsnpy3r4n6hhmg44

A Logical Approach to Deciding Semantic Subtyping

Nils Gesbert, Pierre Genevès, Nabil Layaïda
2015 ACM Transactions on Programming Languages and Systems  
The novelty, originality and strength of our solution reside in introducing a logical modeling for the semantic subtyping framework.  ...  We model semantic subtyping in a tree logic and use a satisfiability-testing algorithm in order to decide subtyping. We report on practical experiments made with a full implementation of the system.  ...  Several people also discussed or exchanged with us about subtyping and polymorphism: Zhiwu Xu, Véronique Benzaken and Kim Nguyen.  ... 
doi:10.1145/2812805 fatcat:uhvlnbznb5bi7lqba2uhekayku

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)  
It concludes that existing approaches tend to tightly couple the semantic of context to the modeling approach and proposes a context-centric modeling approach allowing the creation of a graph-based representation  ...  This thesis attempts to address this challenge by extending the background works through the proposal of new concepts serving as a foundation for a flexible approach for building context-aware applications  ...  Also, it provides a way for a step by step navigation by following links starting from a given entity to reach next entities.  ... 
doi:10.1109/wowmom.2013.6583486 dblp:conf/wowmom/ChihaniBC13 fatcat:bqytp54lwrgstlphn6q7ewho7m

Caching Mechanism in Peer-to-Peer Networks through Active XML

Abdullah Alrefae, Eric Pardede, Binh Viet Phan
2012 Journal of Software  
In a synthesis process, such good properties of subsystems as liveness and deadlock-freeness etc, must be preserved in synthesized system.  ...  Finally, some examples are given, illustrating the effectiveness of the proposed approach in modeling and analyzing of large systems.  ...  ACKNOWLEDGMENTS To CAPES and CNPq for financial suport.  ... 
doi:10.4304/jsw.7.3.508-515 fatcat:6vlsijzaxjbohh3ti5toew7rmi

Microlearning in health professions education

Jennie C. De Gagne, Amanda Woodward, Hyeyoung K. Park, Huilin Sun, Sandra S. Yamane
2018 The JBI Database of Systematic Reviews and Implementation Reports  
These attributes allow a new phenomenon on Internet: mixing and mashing.  ...  It is always extremely exciting to observe the emergence of a new field in science, in this special case a new field due to the interaction between science, technology and our modern communication society  ...  First, some specific learning scenarios seem better adapted and we presented several of them.  ... 
doi:10.11124/jbisrir-2017-003884 pmid:30489350 fatcat:hgqjcgrvlnhr5dnag37f5a7ffy

GIS Mashups [chapter]

Ilya Zaslavsky
2017 Encyclopedia of GIS  
It took more than a decade from this point for the larger computer science community to investigate GPs for pattern analysis purposes.  ...  for crystallographic design, casting folding energies as a function of a protein's contact map, and formulation of vaccination policies taking into account social dynamics of individuals.  ...  XQuery (XQuery 1.0 2006), a W3C standard, has been one of the most popular approaches for XML querying, and for GML querying by association (Li and Moon 2001) .  ... 
doi:10.1007/978-3-319-17885-1_530 fatcat:rrr5buo3zrevpigdtjwhewipvm

Data Models and Query Languages for Linked Geospatial Data [chapter]

Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Charalampos Nikolaou, Michael Sioutis
2012 Lecture Notes in Computer Science  
The recent availability of geospatial information as linked open data has generated new interest in geospatial query processing and reasoning, a topic with a long tradition of research in the areas of  ...  databases and artificial intelligence.  ...  We thank all the participants and the reviewers of these projects for many interesting discussions on the area covered by this survey paper.  ... 
doi:10.1007/978-3-642-33158-9_8 fatcat:tlyz4vsnpjevxchysoqiyrrrbi

In pursuit of streamable stylesheet functions in XSLT 3.0

Abel Braaksma
Proceedings of Balisage: The Markup Conference 2014   unpublished
The platform is used today as a multi-channel communication platform that helps enterprises worldwide improve their customer communications, leading to increased customer engagement and loyalty.  ...  This pattern is of course using the XQuery application server as a proxy for the SPARQL endpoint.  ...  One can even create a pattern for a function item, such as: <xsl:template match=".[. instance of function(*)]"> which will match any function.  ... 
doi:10.4242/balisagevol13.braaksma01 fatcat:fheervshljapjkzyjyoo25yhxm
« Previous Showing results 1 — 15 out of 28 results