Listar Libros y capítulos por autor "Hermo Huguet, Montserrat"
Mostrando ítems 1-2 de 2
-
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 ... -
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 ...