Error-Robust Functional Dependencies

  • Authors:
  • Sven Hartmann;Sebastian Link;Klaus-Dieter Schewe;Bernhard Thalheim

  • Affiliations:
  • Massey University, Information Science Research Centre, Private Bag 11222, Palmerston North, New Zealand;Massey University, Information Science Research Centre, Private Bag 11222, Palmerston North, New Zealand;Massey University, Information Science Research Centre, Private Bag 11222, Palmerston North, New Zealand;Christian-Albrechts University Kiel, Institute of Computer Science and Applied Mathematics Olshausenstr. 40, 24098 Kiel, Germany

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

A database user may be confronted with a relation that contains errors. These errors may result from transmission through a noisy channel, or they may have been added deliberately in order to hide or spoil information. Error-robust functional dependencies provide dependencies that still hold in the case of errors. The paper investigates the finite axiomatisation of such dependencies. It presents a sound and complete system of axioms and rules for the implication of error-robust dependencies including disjunctions.