2728 search results - page 322 / 546 » The EGTV Query Language |
181
click to vote
XSYM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
146
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
171
click to vote
ETFA
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
172
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
154
Voted
ADBIS
2005
Springer
16 years 5 days ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...