New Simplification Rules for Databases with Positive and Negative Attributes

 

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.

Funding

Projects funding this work

Citation

Please, cite this work as:

[LOB25] D. López-Rodríguez, M. Ojeda-Hernández, and C. Bejines. “New Simplification Rules for Databases with Positive and Negative Attributes”. In: Mathematics 13.2 (2025). ISSN: 2227-7390. DOI: 10.3390/math13020309. URL: https://www.mdpi.com/2227-7390/13/2/309.

BibTeX

@Article{math13020309,
     author = {Domingo L{‘o}pez-Rodr{’}guez and Manuel Ojeda-Hern{’a}ndez and Carlos Bejines},
     title = {New Simplification Rules for Databases with Positive and Negative Attributes},
     journal = {Mathematics},
     volume = {13},
     year = {2025},
     number = {2},
     article-number = {309},
     url = {https://www.mdpi.com/2227-7390/13/2/309},
     issn = {2227-7390},
     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.},
     doi = {10.3390/math13020309},
}