On the Complexity of the Equational Theory of Relational Action Algebras.

Wojciech Buszkowski

Published in: RelMiCS (2006)

Keyphrases

computational complexity
equational theories
relational databases
theoretical framework
worst case
computational model
theorem proving
data sets
theoretical basis
data model
action recognition
speech acts