ALICE: an assertion language for integrity constraint expression

  title={ALICE: an assertion language for integrity constraint expression},
  author={Susan Darling Urban},
This paper presents the declarative constraint language, ALICE, for the expression of complex, logic-based constraints in an object-oriented database environment. The translation of ALICE constraints to logic was developed to support a design approach that uses techniques from deductive databases to explain constraints a t design time and to specify propagation actions. Two different translations for ALICE constraints are described: one that allows a relaxed interpretation in the presence of… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-5 of 5 references


  • Urban, D. S., Constmint Analysis for the Design of Semantic Database Updat Opemtions, Ph.D. Diss.
  • of Southwestern La., Sept.
  • 1987
2 Excerpts

2nd edition

  • W. Clocksin, C. Mellish, Progmmming in Prolog
  • Springer-Verlag, NY,
  • 1984
2 Excerpts

Enforcing Database Assertions: Techniques and Applications

  • B. T. Blaustein
  • Ph.D. Thesis, Harvard University,
  • 1981

Thinglab: A Constraint-Oriented Simulation Laboratory," SSL-79-3

  • A. Borning
  • Xerox Palo Alto Research Center,
  • 1979

Similar Papers

Loading similar papers…