agentm / agentm/project-m36

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

Open
#55 0 comments 0 reactions 1 assignee Claimed by @agentm View on GitHub
Dominant language
Haskell
Stars
952
Forks
50
PR merge metrics
No merged PRs in 30d

Description

```
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.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.