Re: Database correctness

Article View: comp.specification

Article #338

Back to comp.specification Previous Next

#338

From: Pablo A. Straub
Date: Mon, 04 Mar 1991 18:34

21 lines
1219 bytes

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

Technical Details

Message-ID: <31008@mimsy.umd.edu>

Path: arc1-ca.pugleaf.net!utzoo!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!ames!dftsrv!mimsy!jogger.cs.umd.edu!straub

References: <1991Mar4.155552.27494@ncsu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message