Counting and Addition Cannot Express Deterministic Transitive Closure.

Published in: LICS (1999)

Keyphrases

transitive closure
expressive power
constraint databases
recursive queries
first order logic
query evaluation
directed acyclic graph
spatial databases
relational algebra
database
query language
databases
knowledge base
keywords
binary relations