Efficient and complete tests for database integrity constraint checking

Ashish Gupta; Yehoshua Sagiv; Jeffrey D. Ullman; Jennifer Widom

doi:10.1007/3-540-58601-6_99

Efficient and complete tests for database integrity constraint checking

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Original language	English
Title of host publication	Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings
Editors	Alan Borning
Publisher	Springer Verlag
Pages	173-180
Number of pages	8
ISBN (Print)	9783540586012
DOIs	https://doi.org/10.1007/3-540-58601-6_99
State	Published - 1994
Event	2nd International Workshop on the Principles and Practice of Constraint Programming, PPCP 1994 - Rosario, Orcas Island, United States Duration: 2 May 1994 → 4 May 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	874 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Workshop on the Principles and Practice of Constraint Programming, PPCP 1994
Country/Territory	United States
City	Rosario, Orcas Island
Period	2/05/94 → 4/05/94

Access to Document

10.1007/3-540-58601-6_99

Cite this

Gupta, A., Sagiv, Y., Ullman, J. D., & Widom, J. (1994). Efficient and complete tests for database integrity constraint checking. In A. Borning (Ed.), Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings (pp. 173-180). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 874 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-58601-6_99

Gupta, Ashish ; Sagiv, Yehoshua ; Ullman, Jeffrey D. et al. / Efficient and complete tests for database integrity constraint checking. Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. editor / Alan Borning. Springer Verlag, 1994. pp. 173-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{279c4df9aa4844c68999683135f4c6bd,

title = "Efficient and complete tests for database integrity constraint checking",

author = "Ashish Gupta and Yehoshua Sagiv and Ullman, {Jeffrey D.} and Jennifer Widom",

year = "1994",

doi = "10.1007/3-540-58601-6_99",

language = "אנגלית",

isbn = "9783540586012",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "173--180",

editor = "Alan Borning",

booktitle = "Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings",

address = "גרמניה",

note = "2nd International Workshop on the Principles and Practice of Constraint Programming, PPCP 1994 ; Conference date: 02-05-1994 Through 04-05-1994",

}

Gupta, A, Sagiv, Y, Ullman, JD & Widom, J 1994, Efficient and complete tests for database integrity constraint checking. in A Borning (ed.), Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 874 LNCS, Springer Verlag, pp. 173-180, 2nd International Workshop on the Principles and Practice of Constraint Programming, PPCP 1994, Rosario, Orcas Island, United States, 2/05/94. https://doi.org/10.1007/3-540-58601-6_99

Efficient and complete tests for database integrity constraint checking. / Gupta, Ashish; Sagiv, Yehoshua; Ullman, Jeffrey D. et al.
Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. ed. / Alan Borning. Springer Verlag, 1994. p. 173-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Efficient and complete tests for database integrity constraint checking

AU - Gupta, Ashish

AU - Sagiv, Yehoshua

AU - Ullman, Jeffrey D.

AU - Widom, Jennifer

PY - 1994

Y1 - 1994

UR - http://www.scopus.com/inward/record.url?scp=77953049329&partnerID=8YFLogxK

U2 - 10.1007/3-540-58601-6_99

DO - 10.1007/3-540-58601-6_99

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:77953049329

SN - 9783540586012

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 173

EP - 180

BT - Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings

A2 - Borning, Alan

PB - Springer Verlag

T2 - 2nd International Workshop on the Principles and Practice of Constraint Programming, PPCP 1994

Y2 - 2 May 1994 through 4 May 1994

ER -

Gupta A, Sagiv Y, Ullman JD, Widom J. Efficient and complete tests for database integrity constraint checking. In Borning A, editor, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Springer Verlag. 1994. p. 173-180. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-58601-6_99

Efficient and complete tests for database integrity constraint checking

Publication series

Conference

Access to Document

Other files and links

Cite this