CQNoProj : Containment of Conjunctive Queries with No Projection benchmark testcases

This suite is designed to address the containment of basic graph patterns (conjunctive queries). It contains 20 queries differing in the number of conjunctions and variables they contain. This test suite is developed for containment solvers that do not support projection of variables in queries.

nop1 :      Q1a ⊑ Q1b : true
Q1a Q1b 
PREFIX : 

SELECT * WHERE { 
   ?x :takesCourse "Course10" . ?x :takesCourse "Course20" . 
}
                        
PREFIX : 


SELECT * WHERE { 
   ?x :takesCourse "Course10" .
}
nop2 :      Q1b ⊑ Q1a : false
Q1b Q1a 
PREFIX : 


SELECT * WHERE { 
   ?x :takesCourse "Course10" .
}
                        
PREFIX : 

SELECT * WHERE { 
   ?x :takesCourse "Course10" . ?x :takesCourse "Course20" . 
}
nop3 :      Q2a ⊑ Q2b : true
Q2a Q2b 
PREFIX : 



SELECT * WHERE {
	?x a :Student .
	?x :registeredAt ?y .
	?y a :University .
	?x :placeOfBirth ?z .
	?z a :City .
	?y :locatedAt ?z .	
}
                        
PREFIX : 





SELECT * WHERE {
	?x a :Student .
	?x :registeredAt ?y .
	?x :placeOfBirth ?z .
	?y a :University .
	?y :locatedAt ?z .	
	?z a :City .
}
nop4 :      Q2b ⊑ Q2a : true
Q2b Q2a 
PREFIX : 





SELECT * WHERE {
	?x a :Student .
	?x :registeredAt ?y .
	?x :placeOfBirth ?z .
	?y a :University .
	?y :locatedAt ?z .	
	?z a :City .
}
                        
PREFIX : 



SELECT * WHERE {
	?x a :Student .
	?x :registeredAt ?y .
	?y a :University .
	?x :placeOfBirth ?z .
	?z a :City .
	?y :locatedAt ?z .	
}
nop5 :      Q3a ⊑ Q3b : true
Q3a Q3b 
PREFIX : 

SELECT * WHERE {
	?x a :Professor .
	?x :graduatedFrom ?y .
	?x :memeberOf ?y 
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :Professor .
	?x :memeberOf ?y 
}
nop6 :      Q3b ⊑ Q3a : false
Q3b Q3a 
PREFIX : 

SELECT * WHERE {
	?x a :Professor .
	?x :memeberOf ?y 
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :Professor .
	?x :graduatedFrom ?y .
	?x :memeberOf ?y 
}
nop7 :      Q4c ⊑ Q4b : true
Q4c Q4b 
PREFIX : 

SELECT * WHERE {
	?x :takesCourse ?c1 .
	?c1 :shortName "Cs200" .
	?x :takesCourse ?c2 .
	?c2 :shortName "Cs301" .
	?x :takesCourse _:b .
	_:b :shortName "Cs401" .
}
                        
PREFIX : 

SELECT * WHERE {
	?x :takesCourse ?c1 .
	?c1 :shortName "Cs200" .
	?x :takesCourse ?c2 .
	?c2 :shortName "Cs301" .
}
nop8 :      Q4b ⊑ Q4c : false
Q4b Q4c 
PREFIX : 

SELECT * WHERE {
	?x :takesCourse ?c1 .
	?c1 :shortName "Cs200" .
	?x :takesCourse ?c2 .
	?c2 :shortName "Cs301" .
}
                        
PREFIX : 

SELECT * WHERE {
	?x :takesCourse ?c1 .
	?c1 :shortName "Cs200" .
	?x :takesCourse ?c2 .
	?c2 :shortName "Cs301" .
	?x :takesCourse _:b .
	_:b :shortName "Cs401" .
}
nop9 :      Q6a ⊑ Q6b : false
Q6a Q6b 
PREFIX : 

SELECT * WHERE {
	?x a :Department .
	?y a :University .
	?x ?z ?y .
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :Faculty .
	?y a :University .
	?x ?z ?y .
}
nop10 :      Q6b ⊑ Q6a : false
Q6b Q6a 
PREFIX : 

SELECT * WHERE {
	?x a :Faculty .
	?y a :University .
	?x ?z ?y .
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :Department .
	?y a :University .
	?x ?z ?y .
}
nop11 :      Q6a ⊑ Q6c : true
Q6a Q6c 
PREFIX : 

SELECT * WHERE {
	?x a :Department .
	?y a :University .
	?x ?z ?y .
}
                        
PREFIX : 

SELECT * WHERE {
	?x ?z ?y .
}
nop12 :      Q6c ⊑ Q6a : false
Q6c Q6a 
PREFIX : 

SELECT * WHERE {
	?x ?z ?y .
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :Department .
	?y a :University .
	?x ?z ?y .
}
nop13 :      Q6b ⊑ Q6c : true
Q6b Q6c 
PREFIX : 

SELECT * WHERE {
	?x a :Faculty .
	?y a :University .
	?x ?z ?y .
}
                        
PREFIX : 

SELECT * WHERE {
	?x ?z ?y .
}
nop14 :      Q6c ⊑ Q6b : false
Q6c Q6b 
PREFIX : 

SELECT * WHERE {
	?x ?z ?y .
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :Faculty .
	?y a :University .
	?x ?z ?y .
}
nop15 :      Q7a ⊑ Q7b : false
Q7a Q7b 
PREFIX : 

SELECT * WHERE 
{ 
  ?x a :Student .
  ?x :name ?y . 
  ?x :nickName ?z . 
  ?x :telephone ?tel . 
  ?x :ssn ?ssn . 
  ?x :age ?age . 
  ?x :sex ?sex . 
  ?x :emailAddress ?email . 
  ?x :memberOf ?dept . 
  ?x :takesCourse ?course . 
}
                        
PREFIX : 

SELECT * WHERE 
{ 
  ?x a :Student .
  ?x :name ?y . 
  ?x :nickName ?z . 
  ?x :telephone ?tel . 
  ?x :ssn ?ssn . 
  ?x :age ?age . 
  ?x :sex ?sex . 
  ?x :emailAddress ?email . 
  ?x :memberOf ?dept . 
  ?x :takesCourse ?course . 
  ?x :masterDegreeFrom :OklahomaUniversity .
}
nop16 :      Q7b ⊑ Q7a : true
Q7b Q7a 
PREFIX : 

SELECT * WHERE 
{ 
  ?x a :Student .
  ?x :name ?y . 
  ?x :nickName ?z . 
  ?x :telephone ?tel . 
  ?x :ssn ?ssn . 
  ?x :age ?age . 
  ?x :sex ?sex . 
  ?x :emailAddress ?email . 
  ?x :memberOf ?dept . 
  ?x :takesCourse ?course . 
  ?x :masterDegreeFrom :OklahomaUniversity .
}
                        
PREFIX : 

SELECT * WHERE 
{ 
  ?x a :Student .
  ?x :name ?y . 
  ?x :nickName ?z . 
  ?x :telephone ?tel . 
  ?x :ssn ?ssn . 
  ?x :age ?age . 
  ?x :sex ?sex . 
  ?x :emailAddress ?email . 
  ?x :memberOf ?dept . 
  ?x :takesCourse ?course . 
}
nop17 :      Q8a ⊑ Q8b : true
Q8a Q8b 
PREFIX : 

SELECT * WHERE {
	?x :subOrganizationOf ?y .
	?y :subOrganizationOf ?z .
	?z :subOrganizationOf ?r .
	?r :subOrganizationOf :Unibz .
}


                        
PREFIX : 

SELECT * WHERE {
	?x :subOrganizationOf ?y .
	?y :subOrganizationOf ?z .
	?z :subOrganizationOf ?r .
}
nop18 :      Q8b ⊑ Q8a : false
Q8b Q8a 
PREFIX : 

SELECT * WHERE {
	?x :subOrganizationOf ?y .
	?y :subOrganizationOf ?z .
	?z :subOrganizationOf ?r .
}


                        
PREFIX : 

SELECT * WHERE {
	?x :subOrganizationOf ?y .
	?y :subOrganizationOf ?z .
	?z :subOrganizationOf ?r .
	?r :subOrganizationOf :Unibz .
}
nop19 :      Q9a ⊑ Q9b : false
Q9a Q9b 
PREFIX : 

SELECT * WHERE {
	?x a :GraduateStudent .
	?y a :Department .
	?x :memberOf ?y .
	?y :subOrganizationOf :UniversityO .
	?x :email ?z .
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :GraduateStudent .
	?y a :Department .
	?x :memberOf ?y .
	?y :subOrganizationOf :University1 .
	?x :email ?z .
}
nop20 :      Q9b ⊑ Q9a : false
Q9b Q9a 
PREFIX : 

SELECT * WHERE {
	?x a :GraduateStudent .
	?y a :Department .
	?x :memberOf ?y .
	?y :subOrganizationOf :University1 .
	?x :email ?z .
}
                        
PREFIX : 

SELECT * WHERE {
	?x a :GraduateStudent .
	?y a :Department .
	?x :memberOf ?y .
	?y :subOrganizationOf :UniversityO .
	?x :email ?z .
}
Generated on Fri Jun 14 16:41:20 CEST 2013 with SuiteTool.