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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

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

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

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

References

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