Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Some results on the deduc… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Some results on the deductive structure of join dependencies

Artikel i vetenskaplig tidskrift
Författare Peter Dybjer
Publicerad i Theoretical Computer Science
Volym 33
Nummer/häfte 1
Sidor 95-105
ISSN 0304-3975
Publiceringsår 1984
Publicerad vid Institutionen för informationsbehandling
Sidor 95-105
Språk en
Ämneskategorier Datavetenskap (datalogi)

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?