Login / Signup
Bisimulations in the join-calculus.
Michele Boreale
Cédric Fournet
Cosimo Laneve
Published in:
PROCOMET (1998)
Keyphrases
</>
join algorithms
query optimization
artificial intelligence
automated deduction
computer algebra
database systems
query processing
join operations
real time
databases
information systems
knowledge base
multi dimensional
normal form
formal language