1. |
|
|
2. |
|
|
3. |
|
|
4. |
- Dybjer, Peter, 1953
(författare)
-
Domain Algebras
- 1984
-
Ingår i: Lecture Notes in Computer Science. - 0302-9743 .- 1611-3349. ; 172, s. 138-150
-
Tidskriftsartikel (refereegranskat)
|
|
5. |
- Dybjer, Peter, 1953
(författare)
-
Some results on the deductive structure of join dependencies
- 1984
-
Ingår i: Theoretical Computer Science. - : Elsevier BV. - 0304-3975. ; 33:1, s. 95-105
-
Tidskriftsartikel (refereegranskat)abstract
- Among the many different data dependencies defined, the so-called join dependencies play a central role, since they explicitly capture lossless join properties for relation schemes. In this paper we state some inference rules for join dependencies and embedded join dependencies. A set of two rules is shown to be complete for monadic join dependency inferences (inferences from a single dependency). Furthermore, it is shown that there is no finite set of inference rules that is complete for embedded join dependencies.
|
|
6. |
|
|
7. |
|
|
8. |
|
|
9. |
|
|
10. |
|
|