Exploració per tema "Assertions"

Ara es mostren els items 1-3 de 3

    • Logic of assertions 

      Sales Porta, Ton (1994-10)
      Report de recerca
      Accés obert
      Logicians treat assertions as true, believed or merely hypothesized sentences. The reasoner who uses them, however, is the sole referee who can validate their truth, their aptness to describe an actual situation, their ...

    • TINTIN: A management Tool for concurrent INcremental INTegrity checking of SQL assertions 

      Holly Miró, Francesc (Universitat Politècnica de Catalunya, 2023-01-25)
      Treball Final de Grau
      Accés restringit per acord de confidencialitat
      En qualsevol sistema d'informació existeix un conjunt de regles de negoci que les dades han de complir per constituir un estat vàlid. L'estàndard SQL defineix les assercions com una manera d'expressar aquestes regles ...

    • TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server 

      Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem (2016)
      Comunicació de congrés
      Accés obert
      We present TINTIN, a tool to perform efficient integrity checking of SQL assertions in SQL Server. TINTIN rewrites each assertion into a set of standard SQL queries that, given a set of insertions and deletions of tuples, ...