A Transitive Closure and Magic Functions Machine.

Jerome Robinson Simon H. Lavington

Published in: DPDS (1990)

Keyphrases

transitive closure
expressive power
constraint databases
query evaluation
first order logic
directed acyclic graph
spatial databases
recursive queries
relational algebra
database
databases
image sequences
query processing
query language
data management
normal form