%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% File: pdrs.ldl
%
% Author: KayLiang Ong
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% query p0(138563, C, S, A, X, I)
% query p1(138563, C, S, A, X, I, CD, SD, AD)
% query p2(138563, C, S, A, X, I, CD, SD, AD)
% query p221(138563, C, S, A, X, I, CD, SD, AD)
% query p3(138563, G, C, S, A, X, I, CD, SD, AD)
% query p4(138563, G, C, S, A, X, I, CD, SD, AD)
% query p5(138563, G, A)
% query p5(138563, G, 3)
% query p51(138563, G, A)
% query p51(138563, G, 3)
% query p71(A, 138563, C, D)
% query p72(A, 138563, C, D)
% query p73(A, 138563, C, D)
% query p74(A, 138563, C, D)
% query p75(A, 138563, C, D)
% query p76(A, 138563, C, D)
% query tb_density(138563, Y, 1.28, W, M, N, O)
% query dd(138563, Y)
% query p81(138563)
% query p82(138563)
% query p83(138563)
% query p84(138563)
% query p11(138563, Z)
% query p9(X, 138563, Z, W)
% query p6(138563, G, H, C, S, A, X, I, CD, SD, AD)

export p0($P, C, S, A, X, I).
export p1($P, C, S, A, X, I, CD, SD, AD).
export p2($P, C, S, A, X, I, CD, SD, AD).
export p221($P, C, S, A, X, I, CD, SD, AD).
export p3($P, EG, C, S, A, X, I, CD, SD, AD).
export p4($P, G, C, S, A, X, I, CD, SD, AD).
export p5($P, G, A).
export p51($P, G, A).
export p5($P, G, $A).
export p51($P, G, $A).
export p6($P, G, H, C, S, A, X, I, CD, SD, AD).
export p11($X, Y).
export p71(A, $B, C, D).
export p72(A, $B, C, D).
export p73(A, $B, C, D).
export p74(A, $B, C, D).
export p75(A, $B, C, D).
export p76(A, $B, C, D).
%export p711(A, $B, C, D).
export p711(M, $N, O, P).
export tb_density($X, Y, $Z, W, M, N, O).
export dd($X, Y).
export p81($X).
export p82($X).
export p83($X).
export p84($X).
export p9(M, $N, O, P).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p0(P, C, S, A, X, I) <-
	p01(P, C),
	p02(P, S),
	p03(P, A),
	p04(P, X),
	p05(P, I).

p01(A, B) <-
	tb_density(A, B, C, D, E, F, G).
p02(A, C) <-
	tb_density(A, B, C, D, E, F, G).
p03(A, D) <-
	tb_density(A, B, C, D, E, F, G).
p04(A, E) <-
	tb_density(A, B, C, D, E, F, G).
p05(A, F) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p1(P, C, S, A, X, I, CD, SD, AD) <-
	p11(P, C),
	p12(P, S),
	p13(P, A),
	p14(P, X),
	p15(P, I),
	p16(P, CD),
	p17(P, SD),
	p18(P, AD).

p11(A, count<B>) <-
	tb_density(A, B, C, D, E, F, G).
p12(A, sum<C>) <-
	tb_density(A, B, C, D, E, F, G).
p13(A, avg<D>) <-
	tb_density(A, B, C, D, E, F, G).
p14(A, max<E>) <-
	tb_density(A, B, C, D, E, F, G).
p15(A, min<F>) <-
	tb_density(A, B, C, D, E, F, G).
p16(A, count_distinct<B>) <-
	tb_density(A, B, C, D, E, F, G).
p17(A, sum_distinct<C>) <-
	tb_density(A, B, C, D, E, F, G).
p18(A, avg_distinct<D>) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p2(P, C, S, A, X, I, CD, SD, AD) <-
	p21(P, C, S, A, X, I, CD, SD, AD).

p21(A, count<B>, sum<C>, avg<D>, max<E>, min<F>, count_distinct<B>, sum_distinct<C>, avg_distinct<D>) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p221(P, C, S, A, X, I, CD, SD, AD) <-
	p2211(P, C, S, A, X, I, CD, SD, AD).

p2211(A, count<B>, sum<C>, avg<D>, max<E>, min<F>, count_distinct<B>, sum_distinct<C>, avg_distinct<D>) <-
	tb_density(A, B, _, _, _, _, _),
	tb_density(A, _, C, _, _, _, _),
	tb_density(A, _, _, D, _, _, _),
	tb_density(A, _, _, _, E, _, _),
	tb_density(A, _, _, _, _, F, _).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p3(P, Q, C, S, A, X, I, CD, SD, AD) <-
	p31(P, Q, C),
	p32(P, Q, S),
	p33(P, Q, A),
	p34(P, Q, X),
	p35(P, Q, I),
	p36(P, Q, CD),
	p37(P, Q, SD),
	p38(P, Q, AD).

p3(P, Q, C, S) <-
	p31(P, Q, C),
	p32(P, Q, S).

p31(A, GG, count<B>) <-
	tb_density(A, B, C, D, E, F, GG).
p32(A, G, sum<C>) <-
	tb_density(A, B, C, D, E, F, G).
p33(A, G, avg<D>) <-
	tb_density(A, B, C, D, E, F, G).
p34(A, G, max<E>) <-
	tb_density(A, B, C, D, E, F, G).
p35(A, G, min<F>) <-
	tb_density(A, B, C, D, E, F, G).
p36(A, G, count_distinct<B>) <-
	tb_density(A, B, C, D, E, F, G).
p37(A, G, sum_distinct<C>) <-
	tb_density(A, B, C, D, E, F, G).
p38(A, G, avg_distinct<D>) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p4(P, G, C, S, A, X, I, CD, SD, AD) <-
	p41(P, G, C, S, A, X, I, CD, SD, AD).

p41(A, G, count<B>, sum<C>, avg<D>, max<E>, min<F>, count_distinct<B>, sum_distinct<C>, avg_distinct<D>) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p5(P, G, A) <-
	p51(P, G, A).

p51(A, G, count<B>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, sum<C>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, avg<D>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, max<E>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, min<F>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, count_distinct<B>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, sum_distinct<C>) <-
	tb_density(A, B, C, D, E, F, G).
p51(A, G, avg_distinct<D>) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p6(P, G, H, C, S, A, X, I, CD, SD, AD) <-
	p61(P, G, H, C, S, A, X, I, CD, SD, AD).

p61(A, G, X, count<B>, sum<C>, avg<D>, max<E>, min<F>, count_distinct<B>, sum_distinct<C>, avg_distinct<D>) <-
	tb_density(A, B, C, D, E, F, G),
	Z = 'M',
	Y = 100.0,
	tb_composit(A, X, Y, Z, W).


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p71(X, Y, sum<Z>, W) <-
	p711(X, Y, Z, W).

p70(A, B, C, D) <-
	p72(A, B, C, D), M = 1.

p72(X, Y, Z, sum<W>) <-
	p711(X, Y, Z, W).

p73(X, Y, Z, W) <-
%	p711(X, Y, Z, W), Z > 1.
	p711(X, Y, Z, W), 1 > Z.

p74(X, Y, Z, sum<W>) <-
	p711(X, Y, Z, W), Z > 1, W < 2.0.

p75(X, Y, Z, sum<W>) <-
	p711(X1, Y, Z1, W1), X1 = -999, p711(X, Y, Z, W), Z > 1, W1 < 2.0.

p76(X, Y, Z, W) <-
	p711(X1, Y, Z1, W1), X1 = -999, p711(X, Y, Z, W), Z > 1, W1 < 2.0.

p711(D, A, count<B>, E) <-
	tb_density(A, B, C, D, E, F, G).

dd(A, B) <-
	tb_density(A, B, C, D, E, F, G),
	tb_density(A1, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p81(Y) <-
	p811(Y).

p82(Y) <-
	~p811(Y).

p83(Y) <-
	p812(Y).

p84(Y) <-
	~p812(Y).

p811(A) <-
	~tb_density(A, B, C, D, E, F, G).

p812(A) <-
	tb_density(A, B, C, D, E, F, G),
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

p9(X, Y, Z, W) <-
	p91(X, Y, Z, W).

p91(D, A, count<B>, E) <-
	tb_density(A, B, C, D, E, F, G).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% query q1(138563, Y)
% query q2(138563, Y)
% query q3(138563, Y)
% query q4(138563, Y)
% query q5(138563)
% query q6(138563)
% query q7(138563)
% query q8(138563)
% query q9(138563, Z, Y)
% query q10(138563, Z, Y)
% query q11(138563, Z, Y)
% query q12(138563, Z, Y)
% query q13(138563, Z, Y)

export q1($X, Y).
export q2($X, Y).
export q3($X, Y).
export q4($X, Y).
export q1($X, $Y).
export q2($X, $Y).
export q3($X, $Y).
export q4($X, $Y).
export q5($X).
export q6($X).
export q7($X).
export q8($X).
export q9($X, Z, Y).
export q10($X, Z, Y).
export q11($X, Z, Y).
export q12($X, Z, Y).
export q9($X, Z, $Y).
export q10($X, Z, $Y).
export q11($X, Z, $Y).
export q12($X, Z, $Y).
export q13($X, Z, Y).

q1(X, Y) <-
	Y = 3, qq1(X, Y), Y > 2.

q2(X, Y) <-
	tb_density(X, Y, _, _, _, _, _), qq1(X, Y), Y > 2.

q3(X, Y) <-
	qq1(X, Y), Y > 2.

q4(X, Y) <-
	qq1(X, Y), tb_density(X, Y, _, _, _, _, _), Y > 2.

q5(X) <-
	Y = 3, qq1(X, Y), Y > 2.

q6(X) <-
	tb_density(X, Y, _, _, _, _, _), qq1(X, Y), Y > 2.

q7(X) <-
	qq1(X, Y), Y > 2.

q8(X) <-
	qq1(X, Y), tb_density(X, Y, _, _, _, _, _), Y > 2.

q9(X, Z, Y) <-
	Y = 3, qq2(X, Z, Y), Y > 2.

q10(X, Z, Y) <-
	tb_density(X, Y, _, _, _, _, _), qq2(X, Z, Y), Y > 2.

q11(X, Z, Y) <-
	qq2(X, Z, Y), Y > 2.

q12(X, Z, Y) <-
	qq2(X, Z, Y), tb_density(X, Y, _, _, _, _, _), Y > 2.

q13(X, Z, Y) <-
	qq2(X, Z, Y), Y > 2, Z = Y.

qq1(A, count<B>) <-
	tb_density(A, B, C, D, E, F, G).

qq2(A, C, count<B>) <-
	tb_density(A, B, C, D, E, F, G).

export insert_density($A, $B, $C, $D, $E, $F, $G).
export delete_density($A, $B, $C, $D, $E, $F, $G).

insert_density(A, B, C, D, E, F, G) <-
	+tb_density(A, B, C, D, E, F, G).

delete_density(A, B, C, D, E, F, G) <-
	-tb_density(A, B, C, D, E, F, G).

export ip.

ip <-
	+tb_composit(1, 'abcdef', 1.1, 'a', 1).