103
Views
5
CrossRef citations to date
0
Altmetric
Original Articles

Formation of the D-basis from implicational systems using Simplification logic

, , , &
Pages 547-568 | Received 20 May 2016, Accepted 09 Apr 2017, Published online: 28 Jul 2017
 

Abstract

Sets of implications defining closure systems are used as a standard way to represent knowledge, and the search of implicational systems satisfying some criteria constitutes one of the most active topics in the study of closure systems and their applications. Here, we focus on the generation of the D-basis, known to be an ordered direct basis, allowing a very efficient attribute closure computation. We operate with the aggregated D-basis and provide an algorithm to get it from an arbitrary implicational set. The method has been designed on the interrelation between minimal covers and minimal generators, and it is inspired by the inference system of the Simplification Logic. Moreover, we develop an experiment to show the better performance of the new method compared to the earlier version of the algorithm.

Acknowledgements

We are grateful to three anonymous referees for their careful reading of the paper and numerous suggestions that helped us considerably improve the presentation.

Notes

No potential conflict of interest was reported by the authors.

Additional information

Funding

This work has been partially supported by the Ministry of Economy, Industry and Competitiveness and the European Social Fund [project registration number TIN2014-59471-P].

Log in via your institution

Log in to Taylor & Francis Online

PDF download + Online access

  • 48 hours access to article PDF & online version
  • Article PDF can be downloaded
  • Article PDF can be printed
USD 61.00 Add to cart

Issue Purchase

  • 30 days online access to complete issue
  • Article PDFs can be downloaded
  • Article PDFs can be printed
USD 949.00 Add to cart

* Local tax will be added as applicable

Related Research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.