: DATALOG with rewriting rules.

Stéphane Grumbach

Published in: BDA (1989)

Keyphrases

rewriting rules
relational calculus
expressive power
relational algebra
query language
rewrite rules
sparql queries
transformation rules
transitive closure
relational model
structural properties
complex objects
normal form
data model
database
integrity constraints
relational database systems