Now showing items 1-2 of 2

    • CSTL: A Conceptual Schema Testing Language 

      Tort Pugibet, Albert (Universitat Politècnica de Catalunya, 2009-01-19)
      Master thesis
      Open Access
      Like any software artifact, conceptual schemas of information systems can be tested. Testing conceptual schemas has some similarities with testing programs, but there are important differences. We present a list of six ...
    • Testing Termination of Query Satisfiability Checking on Expressive Database Schemas 

      Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
      External research report
      Open Access
      A query is satisfiable if there is at least one consistent instance of the database in which it has a non-empty answer. Defining queries on a database schema and checking their satisfiability can help the database designer ...