research-article

A common data manipulation language for nested data in heterogeneous environments

Authors:

João Costa Seco,

Hugo Lourenço,

Paulo FerreiraAuthors Info & Claims

DBPL 2015: Proceedings of the 15th Symposium on Database Programming Languages

Pages 11 - 20

https://doi.org/10.1145/2815072.2815074

Published: 27 October 2015 Publication History

Abstract

One key aspect of data-centric applications is the manipu- lation of persistent data repositories, which is moving fast from querying a centralized relational database to the ad- hoc combination of constellations of data sources. Query languages are being typefuly integrated in host, general purpose, languages in order to increase reasoning and optimizing capabilities of interpreters and compilers. However, not much is being done to integrate and orches- trate different and separate sources of data. We present a common data manipulation language, that abstracts the nature and localization of the data-sources. We define its semantics and a type directed compilation, query optimization, and query orchestration mechanism to be used in development tools for heterogeneous environments. We provide type safety and language integration. Our approach is also suitable for an interactive query construction environment by rich user interfaces that pro- vide immediate feedback on data manipulation operations. This approach is currently the base for the data layer of a development platform for mobile and web applications.

References

[1]

V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric General-purpose Language. In Proc. Int. Conference on Functional Programming, 2003.

Digital Library

[2]

J. A. Blakeley, C. Cunningham, N. Ellis, B. Rathakrishnan, and M.-C. Wu. Distributed/heterogeneous query processing in microsoft sql server. In Proceedings of the 21st International Conference on Data Engineering, ICDE ’05, 2005.

Digital Library

[3]

P. Buneman, L. Libkin, D. Suciu, V. Tannen, and L. Wong. Comprehension Syntax. SIGMOD RECORD, 23, 1994.

Digital Library

[4]

P. Buneman, S. Naqvi, V. Tannen, and L. Wong. Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci., 149(1), Sept. 1995.

Digital Library

[5]

J. Cheney, S. Lindley, and P. Wadler. Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets. In Proc. of Int. Conference on Management of Data, 2014.

Digital Library

[6]

A. Chlipala. Ur/Web: A Simple Model for Programming the Web. In Proceedings of the 42nd Annual Symposium on Principles of Programming Languages, 2015.

Digital Library

[7]

J. Clark and S. J. DeRose. XML Path Language (XPath) Version 1.0, 1999. URL www.w3.org/TR/XPath.

[8]

L. S. Colby. A Recursive Algebra and Query Optimization for Nested Relations. In Proc. of Int. Conference on Management of Data, 1989.

Digital Library

[9]

E. Cooper, S. Lindley, P. Wadler, and J. Yallop. Links: Web Programming Without Tiers. In Proc. Int. Conference on Formal Methods for Components and Objects, 2007.

Digital Library

[10]

R. Davies and F. Pfenning. A modal analysis of staged computation. J. ACM, 2001.

Digital Library

[11]

Y. Fu, K. W. Ong, and Y. Papakonstantinou. Declarative Ajax Web Applications through SQL++ on a Unified Application State. In Proceedings of Intern. Symposium on Database Programming Languages, 2013.

[12]

N. Grade, L. Ferrão, and J. C. Seco. Optimizing Data Queries Over Heterogeneous Sources. In Proceedings of the 5th Simpósio de Informática, Évora, Portugal, 2013.

[13]

A. Halevy, A. Rajaraman, and J. Ordille. Data integration: the teenage years. In Proc. of int. conference on Very large data bases, pages 9–16. VLDB Endowment, 2006.

Digital Library

[14]

S. P. Jones and P. Wadler. Comprehensive Comprehensions. In Proc. Haskell Workshop, Haskell ’07, 2007.

Digital Library

[15]

João Costa Seco and Hugo Lourenço and Paulo Ferreira. A common data manipulation language. Technical report, Universidade Nova de Lisboa, 2015. URL ctp.di.fct.unl.pt/~jcs/ techreport-dbpl.pdf.

[16]

S. Lindley and J. Cheney. Row-based Effect Types for Database Integration. In Proc. Workshop on Types in Language Design and Implementation, pages 91–102, 2012.

Digital Library

[17]

OutSystems. Using Aggregates - Fetching Data from the Database. Tech. Documentation, 2015. URL www.outsystems.com.

[18]

Y. Papakonstantinou, A. Gupta, and L. M. Haas. Capabilitiesbased query rewriting in mediator systems. Distributed and Parallel Databases, 6(1), 1998.

Digital Library

[19]

J. Robie et al. XQuery 3.0: An XML Query Language, 2014. URL www.w3.org/TR/xquery-30/.

[20]

M. Serrano, E. Gallesio, and F. Loitsch. Hop: a language for programming the web 2.0. In Companion to the 21th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2006.

[21]

A. Silberschatz, H. Korth, and S. Sudarshan. Database Systems Concepts. McGraw-Hill, Inc., 5 edition, 2006.

Digital Library

[22]

V. Vassalos and Y. Papakonstantinou. Expressive capabilities description languages and query rewriting algorithms. The Journal of Logic Programming, 43(1):75 – 122, 2000.

Cited By

Fernandes ITerra-Neves MSeco J(2021)Automated Refactoring of Unbounded Queries in Software Automation Platforms2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00065(417-426)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00065
Benzaken VCastagna GDaynès LLopez JNguyen KVernoux RChampin PGandon FMédini LLalmas MIpeirotis P(2018)Language-Integrated QueriesCompanion Proceedings of the The Web Conference 201810.1145/3184558.3185973(711-719)Online publication date: 23-Apr-2018
https://dl.acm.org/doi/10.1145/3184558.3185973
SECO JFERREIRA PLOURENÇO H(2017)Capability-based localization of distributed and heterogeneous queriesJournal of Functional Programming10.1017/S095679681700017X27Online publication date: 12-Dec-2017
https://doi.org/10.1017/S095679681700017X

Index Terms

A common data manipulation language for nested data in heterogeneous environments

Recommendations

Explicitly heterogeneous metaprogramming with MetaHaskell
ICFP '12: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Languages with support for metaprogramming, like MetaOCaml, offer a principled approach to code generation by guaranteeing that well-typed metaprograms produce well-typed programs. However, many problem domains where metaprogramming can fruitfully be ...
Explicitly heterogeneous metaprogramming with MetaHaskell
ICFP '12

Languages with support for metaprogramming, like MetaOCaml, offer a principled approach to code generation by guaranteeing that well-typed metaprograms produce well-typed programs. However, many problem domains where metaprogramming can fruitfully be ...
Revised Report on the Algorithmic Language Scheme

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman. It was designed to have ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DBPL 2015: Proceedings of the 15th Symposium on Database Programming Languages

October 2015

78 pages

ISBN:9781450339025

DOI:10.1145/2815072

Program Chairs:
James Cheney,
Thomas Neumann

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 October 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '15

Sponsor:

SIGPLAN

SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity

October 27, 2015

PA, Pittsburgh, USA

Acceptance Rates

Overall Acceptance Rate 10 of 15 submissions, 67%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
144
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fernandes ITerra-Neves MSeco J(2021)Automated Refactoring of Unbounded Queries in Software Automation Platforms2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00065(417-426)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00065
Benzaken VCastagna GDaynès LLopez JNguyen KVernoux RChampin PGandon FMédini LLalmas MIpeirotis P(2018)Language-Integrated QueriesCompanion Proceedings of the The Web Conference 201810.1145/3184558.3185973(711-719)Online publication date: 23-Apr-2018
https://dl.acm.org/doi/10.1145/3184558.3185973
SECO JFERREIRA PLOURENÇO H(2017)Capability-based localization of distributed and heterogeneous queriesJournal of Functional Programming10.1017/S095679681700017X27Online publication date: 12-Dec-2017
https://doi.org/10.1017/S095679681700017X

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten