You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was trying to extend a TVA on some relation and I've had no luck. I guess it's because axiom can't yet infer the proper tuple/relation type for the extended attribute? I'm willing to help and would appreciate any pointers, thx!
The text was updated successfully, but these errors were encountered:
I was trying to extend a TVA on some relation and I've had no luck. I guess it's because axiom can't yet infer the proper tuple/relation type for the extended attribute? I'm willing to help and would appreciate any pointers, thx!
The text was updated successfully, but these errors were encountered: