CORDIS
EU research results

CORDIS

English EN

Foundations of Algebraic and Dynamic Data Management Systems

Project information

Grant agreement ID: 279804

Status

Closed project

  • Start date

    1 January 2012

  • End date

    31 December 2016

Funded under:

FP7-IDEAS-ERC

  • Overall budget:

    € 1 480 548,40

  • EU contribution

    € 1 480 548,40

Hosted by:

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE

Switzerland

Objective

"Contemporary database query languages are ultimately founded on logic and feature an additive operation – usually a form of (multi)set union or disjunction – that is asymmetric in that additions or updates do not always have an inverse. This asymmetry puts a greater part of the machinery of abstract algebra for equation solving outside the reach of databases. However, such equation solving would be a key functionality that problems such as query equivalence testing and data integration could be reduced to: In the current scenario of the presence of an asymmetric additive operation they are undecidable. Moreover, query languages with a symmetric additive operation (i.e., which has an inverse and is thus based on ring theory) would open up databases for a large range of new scientific and mathematical applications.
The goal of the proposed project is to reinvent database management systems with a foundation in abstract algebra and specifically in ring theory. The presence of an additive inverse allows to cleanly define differences between queries. This gives rise to a database analog of differential calculus that leads to radically new incremental and adaptive query evaluation algorithms that substantially outperform the state of the art techniques. These algorithms enable a new class of systems which I call Dynamic Data Management Systems. Such systems can maintain continuously fresh query views at extremely high update rates and have important applications in interactive Large-scale Data Analysis. There is a natural connection between differences and updates, motivating the group theoretic study of updates that will lead to better ways of creating out-of-core data processing algorithms for new storage devices. Basing queries on ring theory leads to a new class of systems, Algebraic Data Management Systems, which herald a convergence of database systems and computer algebra systems."
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Principal Investigator

Christoph Koch (Prof.)

Host institution

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE

Address

Batiment Ce 3316 Station 1
1015 Lausanne

Switzerland

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 1 480 548,40

Principal Investigator

Christoph Koch (Prof.)

Administrative Contact

Caroline Vandevyver (Ms.)

Beneficiaries (1)

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE

Switzerland

EU Contribution

€ 1 480 548,40

Project information

Grant agreement ID: 279804

Status

Closed project

  • Start date

    1 January 2012

  • End date

    31 December 2016

Funded under:

FP7-IDEAS-ERC

  • Overall budget:

    € 1 480 548,40

  • EU contribution

    € 1 480 548,40

Hosted by:

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE

Switzerland