https://github.com/rbt-lang/rbt-paper
The "Query Combinators" paper
https://github.com/rbt-lang/rbt-paper
Last synced: 5 days ago
JSON representation
The "Query Combinators" paper
- Host: GitHub
- URL: https://github.com/rbt-lang/rbt-paper
- Owner: rbt-lang
- Created: 2016-06-23T01:40:32.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2016-12-14T21:16:44.000Z (over 8 years ago)
- Last Synced: 2024-11-07T03:42:19.130Z (5 months ago)
- Language: TeX
- Homepage:
- Size: 891 KB
- Stars: 2
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-dataframes - Query Combinators
README
Query Combinators
=================
[Draft of December 14, 2016](./pdf/rbt-paper-2016-12-14.pdf)
We introduce *Rabbit*, a combinator-based query language. Rabbit is designed
to let data analysts and other *accidental programmers* query complex
structured data.
We combine the functional data model and the categorical semantics of
computations to develop denotational semantics of database queries. In Rabbit,
a query is modeled as a Kleisli arrow for a monadic container determined by the
query cardinality. In this model, monadic composition can be used to navigate
the database, while other *query combinators* can aggregate, filter, sort and
paginate data; construct compound data; connect self-referential data; and
reorganize data with grouping and data cube operations. A context-aware query
model, with the input context represented as a comonadic container, can express
query parameters and window functions. Rabbit semantics enables pipeline
notation, encouraging its users to construct database queries as a series of
distinct steps, each individually crafted and tested. We believe that Rabbit
can serve as a practical tool for data analytics.