Login / Signup

Automatic verification of behavior preservation at the transformation level for relational model transformation.

Johannes DyckHolger GieseLeen Lambers
Published in: Softw. Syst. Model. (2019)
Keyphrases
  • relational model
  • data model
  • relational databases
  • relational algebra
  • incomplete information
  • nested relations
  • databases
  • data warehousing
  • spatial databases