search

IITDBGroup / gprom

GProM is a middleware that adds support for provenance to database backends.
http://www.cs.iit.edu/%7edbgroup/research/gprom.php
Apache License 2.0
9 stars 6 forks source link

Datalog frontend - Casting problems with associated domains #4

Closed lordpretzel closed 7 years ago

lordpretzel commented 7 years ago

if relations have a non-integer datatype then we have problems with casting:

Q(X) :- R(X,Y). D(X) :- R(Y,X). WHYNOT(Q(1)). USERDOMAIN OF R.A IS D. USERDOMAIN OF R.B IS D.
shek21 commented 7 years ago

Resolved