agentm / agentm/project-m36

After creating an IsoUnion schema, inserting a tuple into a relation violating the predicate should throw a constraint error

Aperta
#55 0 commenti 0 reazioni 1 assegnatario Rivendicata da @agentm Vedi su GitHub
Lingua principale
Haskell
Stelle
952
Fork
50
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

```
employee:=relation{tuple{name "Steve", boss ""}, tuple{name "Cindy", boss "Steve"}, tuple{name "Sam", boss "Steve"}}
:addschema splitboss (isounion "boss" "peon" "employee" boss="", isopassthrough "true", isopassthrough "false")
:setschema splitboss
insert peon relation{tuple{name "Elvis", boss ""}}
```
results in silent success and a discarded tuple which leaks the fact that this is a schema. A normal relvar would throw a constraint violation error instead which is what should happen in the schema context as well.

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.