… query languages. This theoretical work extends a provably sound approach of static analysis to the field of query languages for relational databases. More generally, the semantics of query languages can be tuned according to suitable …
In Proceedings of the 21st Nordic Workshop on Programming Theory (NWPT'09). 2009: [doi]… In this paper we extend the Abstract Interpretation framework to the field of query languages for relational databases as a way to support sound approximation techniques. This way, the semantics of query languages can be tuned according …
In Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010. 2010: [doi]… is that query languages of different types can be compared with respect to their expressive power. In the case of relational query languages, the new notion …. In the case of nonrelational query languages, the versatility of the new notion …
tois, 12(1):69-91, 1994. [doi]… , despite the availability of model query languages due to performance …-based query language for EMF models by adapting the query language of the VIATRA2 …, but to properly tailor the new query language to the modeling specificities of EMF …
ICMT 2011: 167-182… In this paper we present the data manipulation facility for a structured English query language (SEQUEL) which can be used for accessing data in an integrated … to form more complex queries. SEQUEL is intended as a data base sublanguage …
SIGMOD 1974: 249-264 [doi]… These notes are an introduction to .QL, an object-oriented query language for any type of structured data. We illustrate the use of .QL in assessing software … it can be used to build libraries of reusable queries. …
GTTSE 2007: 78-133 [doi]… in corresponding declarative query languages, enforcing semantical data integrity … the semantical integrity rules we propose a Query Code Generation Framework that enables … and their concise semantics using a plethora of modelling languages. Since model …
eceasst, 9, 2008. [doi]… Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query … of specifying metrics as queries. …
SCAM 2007: 3-16 [doi]