The semijoin algebra and the guarded fragment
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
Abstract
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.
Create a lesson
Related papers
Autonomous ETL Pipelines for Salesforce M&A Consolidation: A Reference Framework, Jitterbit Mapping, and Reproducible Simulation Study
Imran Basha Shaik, Sahla Sultana, Khader Moinuddin Shaik
When Is One Query per Template Enough? Adapting Learned Cost Models to New Hardware
Krish Patel
Optimizing Geo-replicated Deterministic Databases
Yunhao Mao, Shiquan Zhang, Gengrui Zhang et al.
BobFlow: Towards Human-Agent Collaborative Data Science Using Dataflows
Jiadong Bai, Yicong Huang, Chen Li
Turbocharging PiPNN for Proximity and k-NN Graph Building
Tobias Rubel, Richard Wen, Guy Blelloch et al.
Whiel: A Neurosymbolic Platform for Certified Relational Program Verification
Jesse Comer, Fangzhu Shen, Shuo Zhang et al.