query query1 = metamodelA!data.allInstances()->forAll(d| d.attr_of->isUnique(a|a.name)) 


query query1 = metamodelA!data.allInstances()->forAll(d| d.attr_of->exists(a|a.key)) 

 
query query1 = metamodelA!data.allInstances()->isUnique(d|d.name) 
 
query query1 = metamodelA!data.allInstances()->isUnique(d|d.container) 


query query1 = metamodelA!qualifier.allInstances()->forAll(q| metamodelA!attribute.allInstances()->exists(a|a.name=q.name)) 

query query1 = metamodelA!data.allInstances()->forAll(d|d.role_of->isUnique(r|r.name)) 

query query1 = metamodelB!row.allInstances()->forAll(r1|r1.is_foreign->forAll(f| metamodelB!row.allInstances()->exists(r2 | r2.is_key->exists (k | f.name=r1.name+k.name)))) 

query query1 = metamodelB!table.allInstances()->isUnique(t|t.name) 

query query1 = metamodelB!row.allInstances()->isUnique(r|r.name) 

query query1 = metamodelB!row.allInstances()->forAll(r | r.is_foreign->isEmpty() or (r.is_key->isEmpty()
and r.is_col->isEmpty())) 

query query1=metamodelB!key.allInstances()->forAll(k | metamodelA!attribute.allInstances()-> exists(a | a.name=k.name)) 

query query1=metamodelB!key.allInstances()->forAll(k | metamodelA!attribute.allInstances()-> exists(a | a.type=k.type))

query query1 = metamodelB!table.allInstances()->forAll(t | (metamodelA!data.allInstances()-> exists(d | d.container=t.name))
	or (metamodelA!role.allInstances()->exists(r | r.name=t.name))) 


query query1 = metamodelB!row.allInstances()->forAll(r | (metamodelA!data.allInstances()-> exists(d | d.name=r.name))
	or (metamodelA!data.allInstances()-> exists(d | metamodelA!role.allInstances()->exists(rl | r.name=rl.name+d.name))) ) 

query query1 = metamodelB!foreign.allInstances()->forAll(f | metamodelA!role.allInstances()-> exists(r |
	metamodelA!data.allInstances()-> exists(d | metamodelB!key.allInstances()->exists(k | f.name=r.name+d.name+k.name))) )