A proff system for dependencies for information relations

• Autorzy: MacCaull W.
• Języki publikacji: EN

Abstrakty

EN

Using a relational approach, we investigate the implication problem for dependencies for in-formation relations, focusing on functional dependencies, association rules and multivalued dependencies. We develop a Rasiowa/Sikorski-style relational calculus and show that the as-sociated tableaux style of reasoning gives a decidable procedure for each of the three kinds of inference problems under consideration. This work has applications to classical database the-ory and to Rough Set Theory. The techniques may be generalized to the many other data de-pendencies which have formulations via binary relations and they can be applied to other in-formation relations which arise in the study of incomplete information.

Słowa kluczowe

EN

information systems; dependencies; relational semantics; relational proof system

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 42, Nr 1
• Strony: 1--27
• Opis fizyczny: bibliogr. 21 poz.

Twórcy

autor

MacCaull W.

• Department of Mathematics, Statistics and Computer Science, St.Francis Xavier University, PO Box 5000, Antigonish, NS B2G 2W5, Canada,