Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A proff system for dependencies for information relations

MacCaull W.

Fundamenta Informaticae

2000

Vol. 42, Nr 1

1-27

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.