The Semijoin Algebra and the Guarded Fragment

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

Cited by: 27|Bibtex|Views12|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