provsql

provsql copied to clipboard

By default, provenance mappings are created by `create_provenance_mapping` as a table that has exactly the name provided by the user. This means in particular that if the provenance mapping has...

PierreSenellart

Add a message to explain conditions on the result of an aggregate are not supported

2

Currently, non-terminal aggregates, which are not supported, result in undefined behavior. For example, in the tutorial, the following two queries return undefined content (neither the expected one nor an error...

PierreSenellart

Bumps [Vampire/setup-wsl](https://github.com/vampire/setup-wsl) from 4.1.0 to 4.1.1. Release notes Sourced from Vampire/setup-wsl's releases. v4.1.1 Highlights Adapted to changed kali-linux distribution ID Properly work around EACCES permission errors Details Update copyright dates...

dependabot[bot]

Implementation and test of query provenance for insert and update.

albertarielw

Feature/fix arithmetic on aggregation failure

2

This PR fixes an [issue where arithmetic expressions involving `provsql` aggregation results](https://github.com/PierreSenellart/provsql/issues/63) (e.g., `SELECT AVG(col) * 10 FROM table`) would fail or return empty results. The `provenance_aggregate` function returns a...

jeffery1236

Multiplication by constant of aggregate leads to wrong query result

1

The general phenomenon I am observing is that for a provenance mapped table b `SELECT SOME_AGG(b.column) FROM b;' works correctly but `SELECT SOME_AGG(b.column)*const FROM b;' returns a wrong result First...

lamflokas