The semijoin algebra and the guarded fragment
<|reference_start|>The semijoin algebra and the guarded fragment: The semijoin algebra is the variant of the relational algebra obtained by replacing the join operator by the semijoin operator. We discuss some interesting connections between the semijoin algebra and the guarded fragment of first-order logic. We also provide an Ehrenfeucht-Fraisse game, characterizing the discerning power of the semijoin algebra. This game gives a method for showing that certain queries are not expressible in the semijoin algebra.<|reference_end|>
@article{leinders2004the,
    title={The semijoin algebra and the guarded fragment},
    author={Dirk Leinders (1), Jerzy Tyszkiewicz (2), Jan Van den Bussche (1) ((1)
  Limburgs Universitair Centrum, Diepenbeek, Belgium, (2) Institute of
  Informatics, Warsaw University, Warsaw, Poland)},
    journal={arXiv preprint arXiv:cs/0407007},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0407007},
    primaryClass={cs.DB cs.LO}
}