On the expressive power of semijoin queries
Abstract
The semijoin algebra is the variant of the relational algebra obtained by replacing the join operator by the semijoin operator. We provide an Ehrenfeucht-Fraissé game, characterizing the discerning power of the semijoin algebra. This game gives a method for showing that queries are not expressible in the semijoin algebra.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2003
- DOI:
- arXiv:
- arXiv:cs/0308014
- Bibcode:
- 2003cs........8014L
- Keywords:
-
- Computer Science - Databases;
- Computer Science - Logic in Computer Science;
- H.2.3;
- F.4.1
- E-Print:
- 9 pages, to appear in Information Processing Letters