Login / Signup
The Semijoin Algebra and the Guarded Fragment.
Dirk Leinders
Maarten Marx
Jerzy Tyszkiewicz
Jan Van den Bussche
Published in:
J. Log. Lang. Inf. (2005)
Keyphrases
</>
first order logic
relational algebra
guarded fragment
query language
data model
expressive power
join operator
database query processing
conjunctive queries
transitive closure
database
databases
search algorithm
search space
cellular automata