Sciweavers

2496 search results - page 63 / 500
» Error-detecting properties of languages
Sort
View
SEMWEB
2005
Springer
14 years 3 months ago
RUL: A Declarative Update Language for RDF
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...
M. Magiridou, S. Sahtouris, Vassilis Christophides...
ACMSE
2007
ACM
14 years 2 months ago
Java in the box: implementing the BoxScript component language
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
Yi Liu, H. Conrad Cunningham
PODS
1991
ACM
93views Database» more  PODS 1991»
14 years 1 months ago
The Expressiveness of a Family of Finite Set Languages
In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a unified framework for queries and updates. By imposing simple s...
Neil Immerman, Sushant Patnaik, David W. Stemple
PODS
2010
ACM
213views Database» more  PODS 2010»
14 years 3 months ago
Expressive languages for path queries over graph-structured data
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...
Pablo Barceló, Carlos A. Hurtado, Leonid Li...
CG
2006
Springer
13 years 10 months ago
Function-based shape modelling extension of the Virtual Reality Modelling Language
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
Qi Liu, Alexei Sourin