Generalized Bisimulation in Relational Specifications.

Egidio Astesiano Alessandro Giovini Gianna Reggio

Published in: STACS (1988)

Keyphrases

relational databases
data model
formal specification
relational data
relational model
database language
information systems
relational learning