agentm / agentm/project-m36

add optimization which coalesces multiple updates on a relvar into one conditional scan/update

Ouverte
#109 0 commentaires 0 réactions 1 personne assignée Réclamée par @agentm Voir sur GitHub
Langage dominant
Haskell
Étoiles
952
Forks
50
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

The following example updates can be coalesced into one conditional update:

```
update x where y=3 (z:=5); update x where y=4 (z:=6)
```

This will require updating the internal update expression to support multiple conditional branches. This optimization can coalesce n scans into 1 scan whenever the same relvar is targeted, however, the order of the execution is critical- the updates cannot happen in parallel.

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.