s := relation{tuple{s# "S1",sname "Smith",status 20, city "London"}, 
              tuple{s# "S2",sname "Jones",status 10,city "Paris"}, 
	      tuple{s# "S3",sname "Blake",status 30,city "Paris"}, 
	      tuple{s# "S4",sname "Clark",status 20,city "London"}, 
	      tuple{s# "S5",sname "Adams",status 30,city "Athens"}};
p := relation{tuple{p# "P1",pname "Nut",color "Red",weight 12,city "London"}, 
              tuple{p# "P2",pname "Bolt",color "Green",weight 17,city "Paris"}, 
	      tuple{p# "P3",pname "Screw",color "Blue",weight 17,city "Oslo"}, 
	      tuple{p# "P4",pname "Screw",color "Red",weight 14,city "London"}, 
	      tuple{p# "P5",pname "Cam",color "Blue",weight 12,city "Paris"}, 
	      tuple{p# "P6", pname "Cog", color "Red",weight 19,city "London"}};
sp := relation{tuple{s# "S1",p# "P1",qty 300}, 
      	       tuple{s# "S1",p# "P2",qty 200}, 
	       tuple{s# "S1",p# "P3",qty 400}, 
	       tuple{s# "S1",p# "P4",qty 200}, 
	       tuple{s# "S1",p# "P5",qty 100}, 
	       tuple{s# "S1",p# "P6",qty 100}, 
	       tuple{s# "S2",p# "P1",qty 300}, 
	       tuple{s# "S2",p# "P2",qty 400}, 
	       tuple{s# "S3",p# "P2",qty 200}, 
	       tuple{s# "S4",p# "P4",qty 300}, 
	       tuple{s# "S4",p# "P5",qty 400}};
key s_pkey {s#} s;
key p_key {p#} p;
foreign key s_sp_fk sp{s#} in s{s#};
foreign key p_sp_fk sp{p#} in p{p#};