Login / Signup

: first-order expressive OCL constraints for efficient integrity checking.

Enrico FranconiAlessandro MoscaXavier OriolGuillem RullErnest Teniente
Published in: Softw. Syst. Model. (2019)
Keyphrases
  • integrity checking
  • hard and soft constraints
  • integrity constraints
  • constraint language
  • deductive databases
  • constraint programming
  • constraint logic programming
  • database
  • first order logic