[Ur] queryL question

Todd Roth toddjroth at gmail.com
Sun Jul 19 16:18:50 EDT 2015


Thanks, that did clear everything up.  

  
> On Jul 19, 2015, at 3:35 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:
> 
> Sorry for the delayed response; when I first looked into your problem, it seemed harder than it does now, on my second try!
> 
> I think my answer to your follow-up question wraps everything up nicely for your example.  I only need to write the query like this to get everything to compile fine:
> 
> val q = queryL (SELECT Ss.LongName, C.ShiftDate, U1.LastName, U2.LastName
>                FROM contract AS C
>                  LEFT JOIN user AS U1 ON U1.Id = C.Seller
>                  LEFT JOIN user AS U2 ON {sql_nullable (SQL U2.Id)} = C.Buyer
>                  LEFT JOIN shift AS Ss ON C.Shift = Ss.Id)
> 
> P.S.: There isn't anything so specific to [queryL] here.  I think your question was about the SQL embedding in general.
> 
> On 07/15/2015 10:04 PM, Todd Roth wrote:
>> I’m unable to get a pretty straighforward LEFT JOIN query to work in ur/web and would appreciate any help.  The table setup is as follows:
>> 
>> table user : { Id : int, LastName : string, FirstName : string }
>> 		 PRIMARY KEY Id
>> 
>> table shift : { Id : int, ShortName : string, LongName : string, Hours: int, Created : time , Modified : time}
>> 		  PRIMARY KEY Id
>> 
>> table contract : {Id : int, Shift : int, ShiftDate : time, Seller : int, Buyer : option int, SettledOn : option time, Created : time, Modified : time }
>> 		     PRIMARY KEY Id,
>> 		     CONSTRAINT Shift FOREIGN KEY Shift REFERENCES shift(Id),
>> 		     CONSTRAINT Buyer FOREIGN KEY Buyer REFERENCES user(Id),
>> 		     CONSTRAINT Seller FOREIGN KEY Seller REFERENCES user(Id)
>> 
>> I want the query to return the following columns:
>> 
>> shift.LongName, contract.ShiftDate, user.LastName( for seller), user.LastName(for buyer)
>> 
>> The following psql query works as expected but I can’t figure out the syntax for ur/web.
>> 
>> psql query:
>> 
>> SELECT ss.uw_longname, c.uw_shiftdate, u1.uw_lastname, u2.uw_lastname FROM uw_shiftxchange_contract AS c
>> LEFT JOIN uw_shiftxchange_user AS u1 on u1.uw_id = c.uw_seller
>> LEFT JOIN uw_shiftxchange_user AS u2 on u2.uw_id = c.uw_buyer
>> LEFT JOIN uw_shiftxchange_shift AS ss on c.uw_shift = ss.uw_id
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur




More information about the Ur mailing list