LA, Permutations, and the Hajós Calculus.

Published in: ICALP (2004)

Keyphrases

databases
information systems
case study
probability distribution
relational calculus
computer algebra
database
computer vision
relational databases
expressive power
automated theorem proving
automated deduction