CS448/Ramez Elmasri, Shamkant Navathe - Fundamentals of Database Systems, Seventh Edition [7th Ed] (Instructor's Edu Resource 1 of 2, Complete Solution Manual with Lab Solutions)-Pearson (2015)/Lab/ch5/code/e7b.pl

schema([a,b,c,d]).
fds([[[a],[b]], [[b],[c]], [[c],[d]], [[d],[a]]]).
decomp([[a,b],[b,c],[c,d]]).
	`schema([a,b,c,d]).`
	`fds([[[a],[b]], [[b],[c]], [[c],[d]], [[d],[a]]]).`
	`decomp([[a,b],[b,c],[c,d]]).`