DES-Datalog> /open_db accessDB DES-Datalog> /sql DES-SQL> select * from emp; answer(EMPNO:DOUBLE,ENAME:VARCHAR,JOB:VARCHAR,MGR:DOUBLE,HIREDATE:DATETIME,SAL:DOUBLE,COMM:DOUBLE,DEPTNO:DOUBLE) -> { answer(405.0,'MARCH','ADMIN',938.0,timestamp(1997,6,13,0,0,0,0),18000.0,null,2.0), answer(535.0,'BYRNE','SALES',734.0,timestamp(1997,8,15,0,0,0,0),26000.0,300.0,3.0), answer(557.0,'BELL','SALES',734.0,timestamp(2000,3,26,0,0,0,0),22500.0,500.0,3.0), answer(602.0,'BIRD','MANAGER',875.0,timestamp(1997,10,31,0,0,0,0),39750.0,null,2.0), answer(690.0,'AHMAD','SALES',734.0,timestamp(1997,12,5,0,0,0,0),22500.0,1400.0,3.0), answer(734.0,'COX','MANAGER',875.0,timestamp(2002,6,11,0,0,0,0),38500.0,null,3.0), answer(818.0,'POLLARD','MANAGER',875.0,timestamp(2000,5,14,0,0,0,0),34500.0,null,1.0), answer(824.0,'REES','ANALYST',602.0,timestamp(2000,3,5,0,0,0,0),40000.0,null,2.0), answer(875.0,'PARKER','PRESIDENT',null,timestamp(2002,7,9,0,0,0,0),60000.0,null,1.0), answer(880.0,'TURNER','SALES',734.0,timestamp(2001,6,4,0,0,0,0),25000.0,0.0,3.0), answer(912.0,'HAYES','ADMIN',824.0,timestamp(2001,6,4,0,0,0,0),21000.0,null,2.0), answer(936.0,'CASSY','ADMIN',734.0,timestamp(2002,7,23,0,0,0,0),19500.0,null,3.0), answer(938.0,'GIBSON','ANALYST',602.0,timestamp(1997,12,5,0,0,0,0),40000.0,null,2.0), answer(970.0,'BLACK','ADMIN',818.0,timestamp(1997,11,21,0,0,0,0),23000.0,null,1.0) } Info: 14 tuples computed. DES-SQL> select ename,sal from emp; answer(ename:VARCHAR,sal:DOUBLE) -> { answer('MARCH',18000.0), answer('BYRNE',26000.0), answer('BELL',22500.0), answer('BIRD',39750.0), answer('AHMAD',22500.0), answer('COX',38500.0), answer('POLLARD',34500.0), answer('REES',40000.0), answer('PARKER',60000.0), answer('TURNER',25000.0), answer('HAYES',21000.0), answer('CASSY',19500.0), answer('GIBSON',40000.0), answer('BLACK',23000.0) } Info: 14 tuples computed. DES-SQL> create view manager as select empno,ename,mgr from emp; DES-SQL> select * from manager; answer(empno:DOUBLE,ename:VARCHAR,mgr:DOUBLE) -> { answer(405.0,'MARCH',938.0), answer(535.0,'BYRNE',734.0), answer(557.0,'BELL',734.0), answer(602.0,'BIRD',875.0), answer(690.0,'AHMAD',734.0), answer(734.0,'COX',875.0), answer(818.0,'POLLARD',875.0), answer(824.0,'REES',602.0), answer(875.0,'PARKER',null), answer(880.0,'TURNER',734.0), answer(912.0,'HAYES',824.0), answer(936.0,'CASSY',734.0), answer(938.0,'GIBSON',602.0), answer(970.0,'BLACK',818.0) } Info: 14 tuples computed. DES-SQL> /datalog DES-Datalog> manager(X,Y,Z). { manager(405.0,'MARCH',938.0), manager(535.0,'BYRNE',734.0), manager(557.0,'BELL',734.0), manager(602.0,'BIRD',875.0), manager(690.0,'AHMAD',734.0), manager(734.0,'COX',875.0), manager(818.0,'POLLARD',875.0), manager(824.0,'REES',602.0), manager(875.0,'PARKER',null), manager(880.0,'TURNER',734.0), manager(912.0,'HAYES',824.0), manager(936.0,'CASSY',734.0), manager(938.0,'GIBSON',602.0), manager(970.0,'BLACK',818.0) } Info: 14 tuples computed. DES-Datalog> /assert boss(D,B):-manager(A,B,C),manager(C,D,E) DES-Datalog> /assert boss(A,C):-boss(A,B),boss(B,C). DES-Datalog> boss(X,'BIRD'). { boss('PARKER','BIRD') } Info: 1 tuple computed. DES-Datalog> boss(X,'HAYES'). { boss('BIRD','HAYES'), boss('PARKER','HAYES'), boss('REES','HAYES') } Info: 3 tuples computed. DES-Datalog> boss('REES',X). { boss('REES','HAYES') } Info: 1 tuple computed. DES-Datalog> boss('PARKER',X). { boss('PARKER','AHMAD'), boss('PARKER','BELL'), boss('PARKER','BIRD'), boss('PARKER','BLACK'), boss('PARKER','BYRNE'), boss('PARKER','CASSY'), boss('PARKER','COX'), boss('PARKER','GIBSON'), boss('PARKER','HAYES'), boss('PARKER','MARCH'), boss('PARKER','POLLARD'), boss('PARKER','REES'), boss('PARKER','TURNER') } Info: 13 tuples computed. DES-Datalog> boss(X,Y). { boss('BIRD','GIBSON'), boss('BIRD','HAYES'), boss('BIRD','MARCH'), boss('BIRD','REES'), boss('COX','AHMAD'), boss('COX','BELL'), boss('COX','BYRNE'), boss('COX','CASSY'), boss('COX','TURNER'), boss('GIBSON','MARCH'), boss('PARKER','AHMAD'), boss('PARKER','BELL'), boss('PARKER','BIRD'), boss('PARKER','BLACK'), boss('PARKER','BYRNE'), boss('PARKER','CASSY'), boss('PARKER','COX'), boss('PARKER','GIBSON'), boss('PARKER','HAYES'), boss('PARKER','MARCH'), boss('PARKER','POLLARD'), boss('PARKER','REES'), boss('PARKER','TURNER'), boss('POLLARD','BLACK'), boss('REES','HAYES') } Info: 25 tuples computed. DES-Datalog> /nolog