agentm / agentm/project-m36

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

Abierto
#55 0 comentarios 0 reacciones 1 asignado Reclamado por @agentm Ver en GitHub
Lenguaje dominante
Haskell
Estrellas
952
Forks
50
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

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

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.