Browsing Libros y capítulos by Author "Hermo Huguet, Montserrat"

Now showing items 1-2 of 2

    • Thumbnail

      Exact Learning of Multivalued Dependencies 

      Hermo Huguet, Montserrat; Ozaki, Ana (Springer, 2015-10-31)
      The transformation of a relational database schema into the fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study the learnability ...
    • Thumbnail

      Tableaux for Realizability of Safety Specifications 

      Hermo Huguet, Montserrat; Lucio Carrasco, Francisca; Sánchez, César (Springer, 2023-03-03)
      We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau decision procedures for temporal and modal ...