#import(demo,"dlv","dlv","SELECT CODICE_ESAME, CODICE_PROFESSORE, ANNO_ACCADEMICO FROM affidamenti_ing_informatica",affidamenti_ing_informatica).
#import(demo,"dlv","dlv","SELECT CODICE, NOME, COGNOME FROM dati_professori",dati_professori).
#import(demo,"dlv","dlv","SELECT CODICE, NOME, COGNOME, MATERIA FROM professore",professore).
#import(demo,"dlv","dlv","SELECT ID_FK, SURNAME, FIRSTNAME, TITLE, HOMEPAGE, PHONE, FAX, EMAIL, ADDRESS FROM professorWeb__professor",professorWeb__professor).
#import(demo,"dlv","dlv","SELECT ID_FK, SURNAME, FIRSTNAME, TITLE, HOMEPAGE, PHONE, FAX, EMAIL, ADDRESS FROM professorWeb2__professor_w00",professorWeb2__professor_w00).
#import(demo,"dlv","dlv","SELECT MATRICOLA, CODICE_INSEGNAMENTO, CODICE_ESAME, DATA, VOTO, REGOLARITA, ANNO_ACCADEMICO FROM dati_esami",dati_esami).
teaching(X1,X2,X3,X4):-not teachingCOMPL(X1,X2,X3,X4),teachingD(X1,X2,X3,X4).
professor(X1,X2):-not professorCOMPL(X1,X2),professorD(X1,X2).
exam_recordCOMPL(X1,X2,X3,X4,Y5,Y6,Y7) v exam_recordCOMPL(X1,X2,X3,X4,Z5,Z6,Z7) :- exam_recordD(X1,X2,X3,X4,Y5,Y6,Y7),exam_recordD(X1,X2,X3,X4,Z5,Z6,Z7),Y5<>Z5.
exam_recordCOMPL(X1,X2,X3,X4,Y5,Y6,Y7) v exam_recordCOMPL(X1,X2,X3,X4,Z5,Z6,Z7) :- exam_recordD(X1,X2,X3,X4,Y5,Y6,Y7),exam_recordD(X1,X2,X3,X4,Z5,Z6,Z7),Y6<>Z6.
exam_recordCOMPL(X1,X2,X3,X4,Y5,Y6,Y7) v exam_recordCOMPL(X1,X2,X3,X4,Z5,Z6,Z7) :- exam_recordD(X1,X2,X3,X4,Y5,Y6,Y7),exam_recordD(X1,X2,X3,X4,Z5,Z6,Z7),Y7<>Z7.
exam_record(X1,X2,X3,X4,X5,X6,X7):-exam_recordD(X1,X2,X3,X4,X5,X6,X7),not exam_recordCOMPL(X1,X2,X3,X4,X5,X6,X7).
professorD(X1,X2):-professore(A_1,X1,X2,A_2).
professorD(X1,X2):-dati_professori(A_1,X1,X2).
exam_recordD(X1,X2,Z,W,X4,X5,Y):-affidamenti_ing_informatica(X2,X3,Y),dati_esami(X1,A_1,X2,X5,X4,A_2,Y),dati_professori(X3,Z,W).
teachingD(X1,Z,W,X3):-affidamenti_ing_informatica(X1,X2,X3),dati_professori(X2,Z,W).
professorD(X1,X2):-professorWeb__professor(Y1,X2,X1,Y2,Y3,Y4,Y5,Y6,Y7).
professorD(X1,X2):-professorWeb2__professor_w00(Y1,X2,X1,Y2,Y3,Y4,Y5,Y6,Y7).
query3(PFN,PLN):-teaching(_,PFN,PLN,_).
query3(PFN,PLN):-professor(PFN,PLN).
query3(PFN,PLN):-exam_record(_,_,PFN,PLN,_,_,_).
query3(PFN,PLN)?
#export(demo ,"dlv", "dlv", query3, query3).
Go Back