Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!ames!dftsrv!mimsy!jogger.cs.umd.edu!straub
From: straub@jogger.cs.umd.edu (Pablo A. Straub)
Newsgroups: comp.specification
Subject: Re: Database correctness
Message-ID: <31008@mimsy.umd.edu>
Date: 4 Mar 91 18:34:21 GMT
References: <1991Mar4.155552.27494@ncsu.edu>
Sender: news@mimsy.umd.edu
Reply-To: straub@jogger.cs.umd.edu (Pablo A. Straub)
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Lines: 21

In article <1991Mar4.155552.27494@ncsu.edu> jwb@cepmax.ncsu.edu writes:
>I'd like some references on what it means for a database (e.g., the
>relational kind) to be "correct", the role of "integrity constraints",
>and so forth. [...]  Is this what some
>call "integrity constraints"?
>
>John Baugh
>jwb@cepmax.ncsu.edu

For a good and readable treatment of integrity constraints see

    C.J. Date, An introduction to database systems, volume 1, Fourth Ed.,
    Addison Wesley, 1986.

Integrity constraints are covered in chap. 12, section 15.4, chapter 17
and sections 19.5 and 19.6.

The second volume (1983) has a chapter devoted to integrity (chapter 2).

Pablo Straub
straub@cs.umd.edu