ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement.

Matthew Morgenstern: Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement. VLDB 1984: 291-300
@inproceedings{DBLP:conf/vldb/Morgenstern84,
  author    = {Matthew Morgenstern},
  editor    = {Umeshwar Dayal and
               Gunter Schlageter and
               Lim Huat Seng},
  title     = {Constraint Equations: Declarative Expression of Constraints With
               Automatic Enforcement},
  booktitle = {Tenth International Conference on Very Large Data Bases, August
               27-31, 1984, Singapore, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1984},
  isbn      = {0-934613-16-8},
  pages     = {291-300},
  ee        = {db/conf/vldb/Morgenstern84.html},
  crossref  = {DBLP:conf/vldb/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Constraint Equations provide a concise declarative language for expressing semantic constraints that require consistency among several relations. Each constraint is independently specified in application based terms and provides a natural extension to the limited semantics captured by typical schemata. Automatic constraint enforcement is accomplished by compilation of the Equations into executable routines, according to the algorithms presented here. A prototype system has shown the viability of this approach. The Equations are more natural and perspicuous than the predicate calculus formulas into which they may be translated. The equivalent of both existential and universal quantifiers are expressible directly in Constraint Equations. Algebraic rules for symbolic manipulation of these Equations allow derivation of new Equations and their logical consequences from existing Equations.

Copyright © 1984 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng (Eds.): Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. Morgan Kaufmann 1984, ISBN 0-934613-16-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Balzer83]
Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches: Specification-Based Computing Environments. AAAI 1983: 12-16 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Borning79]
...
[Dayal78]
Umeshwar Dayal, Philip A. Bernstein: On the Updatability of Relational Views. VLDB 1978: 368-377 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Hammer&McLeod81]
Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Goldman82]
...
[Goldstein80]
Ira P. Goldstein, Daniel G. Bobrow: Descriptions for a Programming Environment. AAAI 1980: 187-189 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Hayes-Roth83]
...
[Morgenstern81]
Matthew Morgenstern: A Unifying Approach for Conceptual Schema to Support Multiple Data Models. ER 1981: 279-297 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Morgenstern83]
Matthew Morgenstern: Active Databases as a Paradigm for Enhanced Computing Environments. VLDB 1983: 34-42 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Morgenstern84]
Matthew Morgenstern: Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks. AAAI 1984: 255-259 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Mylopoulos80]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sridharan80]
...
[Stefik80]
Mark Stefik: Planning with Constraints (MOLGEN: Part 1). Artif. Intell. 16(2): 111-140(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Stonebraker83]
Michael Stonebraker, John Woodfill, Erika Andersen: Implementation of Rules in Relational Data Base Systems. IEEE Database Eng. Bull. 6(4): 65-74(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sussman80]
Gerald J. Sussman, Guy L. Steele Jr.: CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions. Artif. Intell. 14(1): 1-39(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ullman82]
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wiederhold77]
...
[Zloof82]
...

Copyright © Tue Mar 16 02:21:57 2010 by Michael Ley (ley@uni-trier.de)