A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Algebraic data types for language-integrated queries
2013
Proceedings of the 2013 workshop on Data driven functional programming - DDFP '13
Algebraic data types may be freely constructed and deconstructed in queries and may show up in the result type. ...
We present a novel technique for mapping arbitrary (nonrecursive) algebraic data types to a relational data model, based on previous work on the relational representation of nested tables. ...
Queries and Algebraic Data Types In this section, we give two examples to motivate the support for ADTs in DSH queries. ...
doi:10.1145/2429376.2429379
dblp:conf/popl/GiorgidzeGUW12
fatcat:fnq62lbmgjenhphncuctipf25e
On wrapping query languages and efficient XML integration
2000
Proceedings of the 2000 ACM SIGMOD international conference on Management of data - SIGMOD '00
In this paper, we propose an algebraic approach to support e cient query evaluation in XML integration systems. We de ne a general purpose algebra suitable for semistructured or XML query languages. ...
We show h o w this algebra can be used, with appropriate type information, to also wrap more structured query languages such as OQL or SQL. ...
Support for exible typing. XML favors exibility and most XML query languages are not typed. Yet, we also want to capture the properties of structured languages. ...
doi:10.1145/342009.335395
dblp:conf/sigmod/ChristophidesCS00
fatcat:h3af4z3a35b5bokpw6w24e5rnu
On wrapping query languages and efficient XML integration
2000
SIGMOD record
In this paper, we propose an algebraic approach to support e cient query evaluation in XML integration systems. We de ne a general purpose algebra suitable for semistructured or XML query languages. ...
We show h o w this algebra can be used, with appropriate type information, to also wrap more structured query languages such as OQL or SQL. ...
Support for exible typing. XML favors exibility and most XML query languages are not typed. Yet, we also want to capture the properties of structured languages. ...
doi:10.1145/335191.335395
fatcat:3t6hja7ucnddfjkad5crrch57u
The GenAlg project
2004
SIGMOD record
Due to the integration of genomic data types as abstract data types into databases and query languages, the Genomics Algebra can be embedded, for example, in a relational, objectrelational, or object-oriented ...
For example, the Genomics Algebra types and operations, which are represented as a collection of Abstract Data Types (ADTs), can be implemented using the type system and query language of the DBMS: in ...
doi:10.1145/1024694.1024702
fatcat:wcjxdzrjoff2djednyc5hkhxtm
Hybrid applications over XML
2002
Proceedings of the fourth international workshop on Web information and data management - WIDM '02
We discuss the design of a quasi-statically typed language for XML in which data may be associated with different structures and different algebras in different scopes, whilst preserving identity. ...
In declarative scopes, data are trees and may be queried with the full flexibility associated with XML query algebras. ...
Based on powerful path expressions, declarative algebras offer unrivalled flexibility for retrieving and transforming the data, in the spirit of query languages. ...
doi:10.1145/584933.584935
fatcat:fjq5sz3i2reifg3jjy5ol3zn7q
Simple and safe SQL queries with c++ templates
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
The system provides also initial support for the task of defining C++ data structures required for storing the results returned by database queries. ...
Most software applications use a relational database for data management and storage. ...
language, ARA, designed for composing SQL queries. ...
doi:10.1145/1289971.1289976
dblp:conf/gpce/GilL07
fatcat:ufmschmcxzb23erubeabe6ghwm
Simple and safe SQL queries with C++ templates
2010
Science of Computer Programming
The system provides also initial support for the task of defining C++ data structures required for storing the results returned by database queries. ...
Most software applications use a relational database for data management and storage. ...
language, ARA, designed for composing SQL queries. ...
doi:10.1016/j.scico.2010.01.004
fatcat:hmttvcfsfvdmniv7pxkjxe4ogq
Support of Database Skills Testing
2014
International journal for innovation education and research
Testing is focused on Structured Query Language, especially statements of Data Manipulation Language, and relational algebra. ...
The paper deals with a database system (DBS) component which is used for support of database skills testing of students. ...
Structured Query Language consists of following parts: Data Definition Language (DDL)creating, altering and dropping database objects Data Manipulation Language (DML)manipulation with database objects ...
doi:10.31686/ijier.vol2.iss5.186
fatcat:747oppvg6vcsjdtd6dpe3b4pza
IQL: A Proposal for an Inductive Query Language
[chapter]
2007
Lecture Notes in Computer Science
We hope that it will be useful as an overall specification language for integrating data mining systems and principles. ...
The language integrates ideas from several other declarative programming languages, such as pattern matching and function typing. ...
This work was supported by the EU FET IST project IQ ("Inductive Querying"), contract number FP6-516169. ...
doi:10.1007/978-3-540-75549-4_12
fatcat:kc5uf45ktjfijgnbn5gpi3wueu
SeLINQ
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
We develop the formal results in the form of a security type system that includes a treatment of algebraic data types and pattern matching, and establish its soundness. ...
., which studies database manipulation via an embedded language-integrated query language (with Microsoft's LINQ on the backend). ...
Acknowledgments Thanks are due to Phil Wadler whose talk on language-integrated queries at Chalmers was an excellent inspiration for this work. ...
doi:10.1145/2628136.2628151
dblp:conf/icfp/SchoepeHS14
fatcat:lxkbj65kt5bfngul3z3p6th4n4
OMS/Java: Model extensibility of OODBMS for advanced application domains
[chapter]
1998
Lecture Notes in Computer Science
All aspects of the core modelconstructs, query language and constraints -can easily be generalised to support, for example, the management of temporal, spatial and versioned data. ...
The resulting system, OMS/Java, is both a general data management system and a framework for the development of advanced database application systems. ...
Querying the Database. AQL (Algebraic Query Language) is the query language of OMS/Java. ...
doi:10.1007/bfb0054222
fatcat:p7hqizmqwnduvjftzmopg5sbqu
bcnQL: A query language for biochemical networks
2010
International Journal of Data Mining and Bioinformatics
Some query examples are presented to demonstrate the applicability of the language for this specific domain. Finally, we provide details of a prototype implementation for the query language. ...
We then discuss the query-processing techniques, more specifically, the translation of bcnQL queries into G-algebra and a set of algebraic operators on graph objects. ...
GraphDB (Guting, 1994) consists of a data model and a query language that is able to model and query graph data for spatial application. ...
doi:10.1504/ijdmb.2010.035901
pmid:21133042
fatcat:myq7kfsxanesxjiaveh5el6b2y
Integrated querying of XML data in RDBMSs
2003
Proceedings of the 2003 ACM symposium on Applied computing - SAC '03
run against the XML portion of the database can use the same predefined schema to make their results accessible to the SQL language for further processing. ...
Additionally, a method for set-oriented evaluation of regular path expressions is presented that integrates into our implementation framework. ...
To guarantee that the database obeys to this integrity constraint, we use the SQL mechanism of triggers to guarantee integrity of shredded data. ...
doi:10.1145/952532.952634
dblp:conf/sac/SchmidtMK03
fatcat:4w7fiidozrgtzhjzeuuosqp46q
Integrated querying of XML data in RDBMSs
2003
Proceedings of the 2003 ACM symposium on Applied computing - SAC '03
run against the XML portion of the database can use the same predefined schema to make their results accessible to the SQL language for further processing. ...
Additionally, a method for set-oriented evaluation of regular path expressions is presented that integrates into our implementation framework. ...
To guarantee that the database obeys to this integrity constraint, we use the SQL mechanism of triggers to guarantee integrity of shredded data. ...
doi:10.1145/952631.952634
fatcat:6vxhb42o4bgs5bnof5x7xpnsdq
A relational algebra for data/metadata integration in a federated database system
2001
Proceedings of the tenth international conference on Information and knowledge management - CIKM'01
Our contribution is a LOGSPACE relational algebra, the Meta-Algebra (MA), for data/metadata integration among relational databases containing semantically similar information in schematically disparate ...
Even within a single organization, data from disparate relational databases must be integrated. ...
Solutions for integrating heterogeneous data often rely on multi-tiered conceptual models for integrating data. ...
doi:10.1145/502585.502597
dblp:conf/cikm/WyssG01
fatcat:nptlgif53zey3lmrxnaf3mjph4
« Previous
Showing results 1 — 15 out of 18,789 results