Witnesses for Boolean Matrix Multiplication and for Transitive Closure.

Zvi Galil Oded Margalit

Published in: J. Complex. (1993)

Keyphrases

transitive closure
matrix multiplication
message passing
expressive power
query evaluation
constraint databases
first order logic
recursive queries
matrix factorization
query language
spatial databases
distributed memory
directed acyclic graph
relational algebra
database design
complex objects