Query 6

query6.ddf:

# union query description
query6(U) :- university(U,"ROMA").

query6.rew:

#import(demo,"dlv","dlv","SELECT CODICE, SEDE, DESCRIZIONE FROM universita",universita).
#import(demo,"dlv","dlv","SELECT ID_FK, NAME, CITY, HOMEPAGE FROM universityWeb__university",universityWeb__university).
universityCOMPL(X1,Y2) v universityCOMPL(X1,Z2) :- universityD(X1,Y2),universityD(X1,Z2),Y2<>Z2.
university(X1,X2):-not universityCOMPL(X1,X2),universityD(X1,X2).
universityD(X1,X2):-universita(A_1,X2,X1).
universityD(X1,X2):-universityWeb__university(Y1,X1,X2,Y2).
query6(U):-university(U,"ROMA").
query6(U)?
#export(demo ,"dlv", "dlv", query6, query6).

Go Back