@Rahul,
lossless join is never checked by seeing particular instance...
what if in future, some tupple (a,b,d,6,9) is added, then it will become lossy....
therefore lossless join is never checked for a particular instance, it is checked for general schema taking functional dependecy in consideraion