Journal paper accepted: MATHS
01/01/25/10:47 Filed in: Journal paper
D. López-Rodríguez, M. Ojeda-Hernández, and C. Bejines. New Simplification Rules for Databases with Positive and Negative Attributes. Mathematics 13.2 (2025). ABSTRACT In this paper, new logical equivalences are presented within the simplification logic with mixed attributes paradigm, which allow the obtention of bases of shorter, easier-to-read attribute implications. In addition to the theoretical results which show that the proposed equivalences indeed hold in simplification logic with mixed attributes, experimental results which showcase the effectiveness of this method are also provided. Furthermore, the simplification method presented is iterative and gives sufficiently good results in only one or two iterations, therefore presenting itself as a reasonable procedure in time-sensitive experiments.