Abstract
Wastl introduced for first time a tableaux-like method based on an inference system for deriving all minimal keys from a relational schema. He introduced two inference rules and built an automated method over them. In this work we tackle the key finding problem with a tableaux method, but we will use two inference rules inspired by the Simplification Logic for Functional Dependencies. Wastl’s method requires the input to be a set of functional dependencies (FDs) with atomic right hand sides. Therefore, it is necessary to apply fragmentation rule with the consequent increasing of the input. The main novelty of our rules is that they deal with generalized formulas, avoiding the fragmentation needed in the former tableaux. Finally we illustrate the advantages of our new tableaux method with an experiment.
Citation
Please, cite this work as:
[CEM13] P. Cordero, M. Enciso, and Á. Mora. “Automated Reasoning to Infer all Minimal Keys”. In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. Ed. by F. Rossi. IJCAI/AAAI, 2013, pp. 817-823. URL: http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6672.
@InProceedings{Cordero2013c,
author = {Pablo Cordero and Manuel Enciso and {’A}ngel Mora},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
title = {Automated Reasoning to Infer all Minimal Keys},
year = {2013},
editor = {Francesca Rossi},
pages = {817–823},
publisher = {{IJCAI/AAAI}},
abstract = {Wastl introduced for first time a tableaux-like method based on an inference system for deriving all minimal keys from a relational schema. He introduced two inference rules and built an automated method over them. In this work we tackle the key finding problem with a tableaux method, but we will use two inference rules inspired by the Simplification Logic for Functional Dependencies. Wastl’s method requires the input to be a set of functional dependencies (FDs) with atomic right hand sides. Therefore, it is necessary to apply fragmentation rule with the consequent increasing of the input. The main novelty of our rules is that they deal with generalized formulas, avoiding the fragmentation needed in the former tableaux. Finally we illustrate the advantages of our new tableaux method with an experiment.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/ijcai/CorderoEM13.bib},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6672},
}