From Active Names to pi-calculus Rewriting Rules.

Ana Cristina Vieira de Melo

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

data model
rewriting rules
relational calculus
relational algebra
query language
rewrite rules
sparql queries
transformation rules
expressive power
structural properties
knowledge management