Update README.md

Author: Jack Feser

README.md

@@ -1,8 +1,8 @@
-# Castor
+# Castor: Deductive Optimization of Relational Data Storage
 
-Read the paper: https://arxiv.org/abs/1903.03229
+> Optimizing the physical data storage and retrieval of data are two key database management problems. In this paper, we propose a language that can express a wide range of physical database layouts, going well beyond the row- and column-based methods that are widely used in database management systems. We use deductive synthesis to turn a high-level relational representation of a database query into a highly optimized low-level implementation which operates on a specialized layout of the dataset. We build a compiler for this language and conduct experiments using a popular database benchmark, which shows that the performance of these specialized queries is competitive with a state-of-the-art in memory compiled database system.
 
-Castor is a tool for generating static, specialized databases. Given a query and a dataset, it constructs a binary copy of the dataset and an executable version of the query. The query executable is specialized to the particular structure of the dataset.
+https://arxiv.org/abs/1903.03229
 
 <p align="center">
 <img src="overview.png?raw=true" width="300" height="375">