A new basis for the weak instance model

  • Authors:
  • P. Atzeni;M. C. De Bernardis

  • Affiliations:
  • IASI-CNR Vlale Manzoni 30 00185 Roma, Italy;Corso di Laurea in Matematica, Universita di Roma "La Saplenza" Roma, Italy

  • Venue:
  • PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract

A new definition of the weak instance model is presented, which does not consider the missing values as existent though unknown, but just assumes that no information is available about them. It is possible to associate with the new definition logical theories that do not contain universally quantified variables. The new model enjoys various desirable properties of the old weak instance model, with respect to dependency satisfaction, query answering, and associated logical theories.