Login / Signup

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).

Silvio GhilardiAlessandro GianolaMarco MontaliAndrey Rivkin
Published in: CoRR (2022)
Keyphrases
  • relational data
  • relational databases
  • information retrieval
  • knowledge representation
  • video sequences
  • expert systems
  • model checking
  • relational model