Integrity = validity + completeness

ABSTRACT

Database integrity has two complementary components: validity, which guarantees that all false information is excluded from the database, and completeness, which guarantees that all true information is included in the database. This article describes a uniform model of integrity for relational databases, that considers both validity and completeness. To a large degree, this model subsumes the prevailing model of integrity (i.e., integrity constraints). One of the features of the new model is the determination of the integrity of answers issued by the database system in response to user queries. To users, answers that are accompanied with such detailed certifications of their integrity are more meaningful. First, the model is defined and discussed. Then, a specific mechanism is described that implements this model. With this mechanism, the determination of the integrity of an answer is a process analogous to the determination of the answer itself.

REFERENCES

• 1: C. J. Date, An introduction to database systems: vol. I (4th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 2: Henry F. Korth , Abraham Silberschatz, Database system concepts, McGraw-Hill, Inc., New York, NY, 1986
• 3: LEVESQUE, H.J. The logic of incomplete databases. In On Conceptual Modelling: Perspectives from Artificial Intelligence Databases and Programing Languages, J. Mylopoluos, M. L. Brodie and J. W. Schmidt, Eds., Springer-Verlag, Berlin, 1984, pp. 165-186.
• 4: David Maier, Theory of Relational Databases, Computer Science Pr, 1983
• 5: Amihai Motro, Completeness Information and Its Application to Query Processing, Proceedings of the 12th International Conference on Very Large Data Bases, p.170-178, August 25-28, 1986
• 6: Amihai Motro, SEAVE: a mechanism for verifying user presuppositions in query systems, ACM Transactions on Information Systems (TOIS), v.4 n.4, p.312-330, Oct. 1986 [doi>10.1145/9760.9762]
• 7: RE{TER, R. On closed world data bases. In Logic and Databases, H. Gallaire and J. Minker, Eds., Plenum Press, New York 1978, pp. 55-76.
• 8: SunINGRES Manual Set. Release 5.0, Sun Microsystems, Mountain View, Calif., (Part Number 800-1644-01), 1987.
• 9: Jeffrey D. Ullman, Principles of Database Systems, W. H. Freeman & Co., New York, NY, 1983
• 10: UNIFY Reference Manual. 3.0 edition, UNIFY Corp., Lake Oswego, Oreg., 1983
• 11: ZLOOF, M. Query-by-Example: A database language. IBM Syst. J. 16, 4 (Dec. 1977), 324-343.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.0 General
          Subjects: Security, integrity, and protection**

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models
      H.2.4 Systems
          Subjects: Query processing

General Terms:
Algorithms, Design, Performance, Theory