A query language and optimization techniques for unstructured data

P Buneman, S Davidson, G Hillebrand… - Proceedings of the 1996 …, 1996 - dl.acm.org
A new kind of data model has recently emerged in which the database is not constrained by
a conventional schema. Systems like ACeDB, which has become very popular with …

Principles of programming with complex objects and collection types

P Buneman, S Naqvi, V Tannen, L Wong - Theoretical Computer Science, 1995 - Elsevier
We present a new principle for the development of database query languages that the
primitive operations should be organized around types. Viewing a relational database as …

Domain specific embedded compilers

D Leijen, E Meijer - ACM Sigplan Notices, 1999 - dl.acm.org
Domain-specific embedded languages (DSELs) expressed in higher-order, typed (HOT)
languages provide a composable framework for domain-specific abstractions. Such a …

UnQL: a query language and algebra for semistructured data based on structural recursion

P Buneman, M Fernandez, D Suciu - The VLDB Journal, 2000 - Springer
This paper presents structural recursion as the basis of the syntax and semantics of query
languages for semistructured data and XML. We describe a simple and powerful query …

Orthogonally persistent object systems

M Atkinson, R Morrison - The VLDB Journal, 1995 - Springer
Abstract Persistent Application Systems (PASs) are of increasing social and economic
importance. They have the potential to be long-lived, concurrently accessed, and consist of …

[HTML][HTML] Bioinformatics integration and agent technology

KA Karasavvas, R Baldock, A Burger - Journal of biomedical informatics, 2004 - Elsevier
Vast amounts of life sciences data are scattered around the world in the form of a variety of
heterogeneous data sources. The need to be able to co-relate relevant information is …

Efficient optimistic concurrency control using loosely synchronized clocks

A Adya, R Gruber, B Liskov, U Maheshwari - ACM SIGMOD Record, 1995 - dl.acm.org
This paper describes an efficient optimistic concurrency control scheme for use in distributed
database systems in which objects are cached and manipulated at client machines while …

Evaluating end-to-end optimization for data analytics applications in weld

S Palkar, J Thomas, D Narayanan, P Thaker… - Proceedings of the …, 2018 - dl.acm.org
Modern analytics applications use a diverse mix of libraries and functions. Unfortunately,
there is no optimization across these libraries, resulting in performance penalties as high as …

[PDF][PDF] Cosette: An Automated Prover for SQL.

S Chu, C Wang, K Weitz, A Cheung - CIDR, 2017 - cidrdb.org
Deciding query equivalence is an important problem in data management with many
practical applications. Solving the problem, however, is not an easy task. While there has …

K2/Kleisli and GUS: Experiments in integrated access to genomic data sources

SB Davidson, J Crabtree, BP Brunk, J Schug… - IBM systems …, 2001 - ieeexplore.ieee.org
The integrated access to heterogeneous data sources is a major challenge for the
biomedical community. Several solution strategies have been explored: link-driven …