New Simplification Rules for Databases with Positive and Negative Attributes

Domingo López-Rodríguez (), Manuel Ojeda-Hernández and Carlos Bejines
Additional contact information
Domingo López-Rodríguez: Depto. de Matemática Aplicada, Universidad de Málaga, Andalucía Tech, 29071 Málaga, Spain
Manuel Ojeda-Hernández: Department of Computing Science, Umeå University, 901 87 Umeå, Sweden
Carlos Bejines: Depto. de Matemática Aplicada, Universidad de Málaga, Andalucía Tech, 29071 Málaga, Spain

Mathematics, 2025, vol. 13, issue 2, 1-23

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.

Keywords: formal concept analysis; simplification logic; mixed attributes; size reduction; implication basis (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2025
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/13/2/309/pdf (application/pdf)
https://www.mdpi.com/2227-7390/13/2/309/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:13:y:2025:i:2:p:309-:d:1570282

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().