The Semijoin Algebra and the Guarded Fragment

    Journal of Logic, Language and Information, pp. 331-343, 2005.

    Cited by: 27|Bibtex|Views9|Links
    EI
    Keywords:
    databasesrelational algebrasemijoinguarded logic

    Abstract:

    In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd's relational algebra the product operator by the "semijoin" operator, then the resulting "semijoin algebra" is eq...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments