Cho lược đồ khối LĐK = < I, R >, r là khối trên LĐK.
Với x I, t r, t = <t1, t2, ..., tn > ta ký hiệu t(x, Ai), i = 1,.., n là giá trị của phần tử t ở thuộc tính Ai tại chỉ số x.
Để thuận lợi cho việc trình bày ta đặt tiếp xi = (x, Ai) với x I và như vậy t(x, Ai) = t(xi) = ti(x), i = 1,.., n. Từ đó ta kí hiệu:
Ii = {xi}, với x I, như vậy Ii = {(x, Ai); x I}
Với mỗi tập con Xi Ii, ta sẽ ký hiệu: t(Xi) = {t(yi); yi Xi} Giả sử t và t' là hai phần tử của khối r với:
t = <t1, t2, ..., tn > và ti: I ->D(Ai), i = 1,..,n. t' = <t'1, t'2, ..., t'n > và t'i: I ->D(Ai), i = 1,..,n.
Định nghĩa:
Khoá của khối r trên lược đồ khối LĐK = < I, R > là một tập K = {Xi1, Xi2, ..., Xik}, trong đó Xik và
Xik Iik (k = 1,.., h), thoả mãn hai điều kiện sau đây:
(i). Với bất kỳ hai phần tử t và t' r luôn tồn tại một Xik K sao cho tik(Xik) t'ik(Xik).
Nói cách khác, không tồn tại hai phần tử mà: tik(Xik) = t'ik(Xik), k = 1,.., h.
(ii). Với bất kỳ tập K' nào K' = {X'i1, X'i2, ..., X'ik} với X'ik Xik, (k = 1,..., h) và tồn tại X'im Xim, (m = 1,..,h) đều không có tính chất (i) nói trên.
Trang Doanh thu Chi phí trực tiếp Chi phí
gián tiếp Lãi/Lỗ
Quí 1 420 240 100 80
Quí 2 310 160 140 10
Quí 3 430 250 120 60
Quí 4 350 200 160 -10
+ Giả sử I là tập một phần tử I = {x}. Khi đó r trở thành một quan hệ và tất nhiên khoá của khối lúc đó sẽ trở thành khoá của quan hệ r trên lược đồ quan hệ R.
+ Nếu với x I nào đó mà ta có {Xi1, Xi2,..., Xik} là khoá của lát cắt r(LĐKx) thì {Ii1, Ii2,..., Iik} là khoá của khối r