A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

uncategorised
Authors

Gabriel Aguilera

Pablo Cordero

Manuel Enciso

Ángel Mora

Inmaculada Perez de Guzmán

Published

1 January 2004

Publication details

Advances in Artificial Intelligence - {SBIA} 2004, 17th Brazilian Symposium on Artificial Intelligence, S{~{a}}o Luis, Maranh{~{a}}o, Brazil, September 29 - October 1, 2004, Proceedings , Lecture Notes in Computer Science vol. 3171, pages 31–40.

Links

DOI

 

Abstract

Citation

Please, cite this work as:

[Agu+04] G. Aguilera, P. Cordero, M. Enciso, et al. “A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic”. In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, S~ao Luis, Maranh~ao, Brazil, September 29 - October 1, 2004, Proceedings. Ed. by A. L. C. Bazzan and S. Labidi. Vol. 3171. Lecture Notes in Computer Science. Springer, 2004, pp. 31-40. DOI: 10.1007/978-3-540-28645-5_4. URL: https://doi.org/10.1007/978-3-540-28645-5_4.

@InProceedings{Aguilera2004,
     author = {Gabriel Aguilera and Pablo Cordero and Manuel Enciso and {’A}ngel Mora and Inmaculada Perez {de Guzm{’a}n}},
     booktitle = {Advances in Artificial Intelligence - {SBIA} 2004, 17th Brazilian Symposium on Artificial Intelligence, S{~{a}}o Luis, Maranh{~{a}}o, Brazil, September 29 - October 1, 2004, Proceedings},
     title = {A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic},
     year = {2004},
     editor = {Ana L. C. Bazzan and Sofiane Labidi},
     pages = {31–40},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {3171},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/sbia/AguileraCEMG04.bib},
     doi = {10.1007/978-3-540-28645-5_4},
     timestamp = {Fri, 26 May 2023 01:00:00 +0200},
     url = {https://doi.org/10.1007/978-3-540-28645-5_4},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] R. Belohlavek, P. Cordero, M. Enciso, et al. “An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data”. In: Modeling Decisions for Artificial Intelligence. Springer Berlin Heidelberg, 2012, p. 408–419. ISBN: 9783642346200. DOI: 10.1007/978-3-642-34620-0_36. URL: http://dx.doi.org/10.1007/978-3-642-34620-0_36.

[2] P. Cordero, M. Enciso, A. Mora, et al. “An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies”. In: Advances in Computational Intelligence. Springer Berlin Heidelberg, 2011, p. 412–420. ISBN: 9783642214981. DOI: 10.1007/978-3-642-21498-1_52. URL: http://dx.doi.org/10.1007/978-3-642-21498-1_52.

[3] P. Cordero, A. Mora, I. de Guzmán, et al. “Non-deterministic ideal operators: An adequate tool for formalization in Data Bases”. In: Discrete Applied Mathematics 156.6 (Mar. 2008), p. 911–923. ISSN: 0166-218X. DOI: 10.1016/j.dam.2007.02.014. URL: http://dx.doi.org/10.1016/j.dam.2007.02.014.

[4] T. Hamrouni. “Key roles of closed sets and minimal generators in concise representations of frequent patterns”. In: Intelligent Data Analysis 16.4 (Jul. 2012), p. 581–631. ISSN: 1088-467X. DOI: 10.3233/ida-2012-0540. URL: http://dx.doi.org/10.3233/ida-2012-0540.

[5] A. Mora, G. Aguilera, M. Enciso, et al. “A new closure algorithm based in logic: SLFD-Closure versus classical closures.” In: INTELIGENCIA ARTIFICIAL 10.31 (Dec. 2006). ISSN: 1137-3601. DOI: 10.4114/ia.v10i31.935. URL: http://dx.doi.org/10.4114/ia.v10i31.935.

[6] A. Mora, P. Cordero, M. Enciso, et al. “Closure via functional dependence simplification”. In: International Journal of Computer Mathematics 89.4 (Mar. 2012), p. 510–526. ISSN: 1029-0265. DOI: 10.1080/00207160.2011.644275. URL: http://dx.doi.org/10.1080/00207160.2011.644275.

[7] L. Urbanova and V. Vychodil. “Derivation digraphs for dependencies in ordinal and similarity-based data”. In: Information Sciences 268 (Jun. 2014), p. 381–396. ISSN: 0020-0255. DOI: 10.1016/j.ins.2013.12.046. URL: http://dx.doi.org/10.1016/j.ins.2013.12.046.