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}
}
BibTeX

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 ... BibTeX

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 BibTeX

References

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

Referenced by

  1. Joan Peckham, Fred J. Maryanski, Steven A. Demurjian: Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema. IEEE Trans. Knowl. Data Eng. 8(3): 503-507(1996)
  2. Joan Peckham, Bonnie MacKellar, Michael Doherty: Data Model for Extensible Support of Explicit Relationships in Design Databases. VLDB J. 4(2): 157-191(1995)
  3. Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)
  4. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
  5. Jing P. Yoon: Database Updates Using Active Rules: A Unified Approach for Consistency Maintenance. DASFAA 1993: 271-278
  6. Wesley W. Chu, Ion Tim Ieong, Ricky K. Taira, Claudine M. Breant: A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management. VLDB 1992: 53-64
  7. Susan Darling Urban, Anton P. Karadimce, Ravi B. Nannapaneni: The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. ICDE 1992: 565-572
  8. Oscar Díaz, Norman W. Paton, Peter M. D. Gray: Rule Management in Object Oriented Databases: A Uniform Approach. VLDB 1991: 317-326
  9. Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modeling of Object Oriented Databases. VLDB 1991: 3-14
  10. Shamkant B. Navathe, A. Balaraman: A Transaction Architecture for a General Purpose Semantic Data Model. ER 1991: 511-541
  11. Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modelling and Object-Oriented Modelling: Two Complementary Paradigms. ER 1991: 325-348
  12. Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowl. Data Eng. 2(4): 391-400(1990)
  13. Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577
  14. Tore Risch: Monitoring Database Objects. VLDB 1989: 445-453
  15. Matthew Morgenstern: Security and Inference in Multilevel Database and Knowledge-Base Systems. SIGMOD Conference 1987: 357-373
  16. Matthias Jarke, Volker Linnemann, Joachim W. Schmidt: Data Constructors: On the Integration of Rules and Relations. VLDB 1985: 227-240
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:22 2009