agentm / agentm/project-m36

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

Offen
#109 0 Kommentare 0 Reaktionen 1 zugewiesene Person Beansprucht von @agentm Auf GitHub ansehen
Vorherrschende Sprache
Haskell
Sterne
952
Forks
50
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

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.

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.