Sciweavers

713 search results - page 22 / 143
» Syntax and Semantics of Babel-17
Sort
View
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
14 years 8 months ago
LiXQuery: a formal foundation for XQuery research
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
Jan Hidders, Philippe Michiels, Jan Paredaens, Roe...
EDBT
2002
ACM
92views Database» more  EDBT 2002»
14 years 8 months ago
XQuery by the Book: The IPSI XQuery Demonstrator
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
Peter Fankhauser, Tobias Groh, Sven Overhage
FDL
2004
IEEE
14 years 5 days ago
Reuse of SML module system for the B language
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
Dorian Petit, Vincent Poirriez, Georges Mariano
IANDC
2010
102views more  IANDC 2010»
13 years 7 months ago
Presenting functors on many-sorted varieties and applications
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
Alexander Kurz, Daniela Petrisan
CIKM
2008
Springer
13 years 10 months ago
Aggregate queries over ontologies
Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for ag...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Ca...