1. |
|
|
2. |
|
|
3. |
|
|
4. |
- Dybjer, Peter, 1953
(author)
-
Domain Algebras
- 1984
-
In: Lecture Notes in Computer Science. - 0302-9743 .- 1611-3349. ; 172, s. 138-150
-
Journal article (peer-reviewed)
|
|
5. |
- Dybjer, Peter, 1953
(author)
-
Some results on the deductive structure of join dependencies
- 1984
-
In: Theoretical Computer Science. - : Elsevier BV. - 0304-3975. ; 33:1, s. 95-105
-
Journal article (peer-reviewed)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. |
- Leckner, Bo G, 1936, et al.
(author)
-
Emissions from a 16 MWth FBC boiler
- 1982
-
In: The 7th International Conference on Fluidized Bed Combustion. ; 1, s. 514-524
-
Conference paper (peer-reviewed)
|
|
9. |
|
|
10. |
|
|