Generating active rules from high-level specifications

  • Oscar Díaz
  • Suzanne M. Embury
Logic Programming and Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 618)


Rules have been proposed as a mechanism for providing active behaviour in databases; some of the most popular uses being the support of integrity constraints, the maintenance of materialised views and security enforcement. However, the difficulty of defining rules discourages end users from taking full advantage of their functionality. What is required is a mechanism for the automatic translation of high-level specifications of behaviour into equivalent sets of rules. In addition to making rules easier and safer to use, such a facility makes the specification of behaviour explicit — rather than having it embedded within rule code — and allows it to be used by other parts of the database management system. For example, if constraints are specified declaratively, they can be used for other purposes such as semantic query optimisation. This paper describes how rules can be generated automatically from declarative specifications of integrity constraints and the operational semantics of relationships. This is borne out by an implementation in ADAM, an object-oriented database written in Prolog.


Active databases object-oriented databases explicit knowledge representation integrity constraints 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bauz,90]
    C. Bauzer Medeiros, P. Pfeffer A mechanism for Managing Rules in an Object-oriented Database, Altair Technical ReportGoogle Scholar
  2. [Case,89]
    Y. Caseau A Formal System for Producting Demons from Rules in an Object-Oriented Database in Proc. 1st. DOOD (Deductive and Object Oriented Databases), Kyoto, 1989, pp.188–204Google Scholar
  3. [Ceri,90]
    S. Ceri, J. Widom Deriving Production Rules for Constraint Maintenance in Proc. 16th VLDB, Brisbane, 1990, pp. 567–577Google Scholar
  4. [Ceri,91]
    S. Ceri, J. Widom Deriving Production Rules for Incremental View Maintenance in Proc. 17th VLDB, Barcelona, 1991, pp. 567–577Google Scholar
  5. [Daya,89]
    U. Dayal Active Database Management Systems SIGMOD RECORD, Vol. 18, No 3, 1989, pp. 150–169Google Scholar
  6. [Diaz,91]
    O. Diaz, P.M.D. Gray Semantic-rich User-defined Relationship as a Main Constructor in Object Oriented Databases in Object-Oriented Databases: Analysis, Design and Construction (DS-4) Meersman, Kent and Khosla (eds), North-Holland, 1991, pp. 207–224Google Scholar
  7. [Diaz,91a]
    O. Diaz, N.W. Paton Sharing Behaviour in an Object-Oriented Database using a Rule-Based Mechanism in British National Conference on Databases (BN-COD), Wolverhampton, Butterwarth Publishers, 1991, pp. 17–37Google Scholar
  8. [Diaz,91b]
    O. Diaz, P.M.D. Gray, N.W. Paton Rule Management in Object Oriented Databases: a uniform approach in Int. Conf. on Very Large Data Base, Barcelona, 1991, pp. 317–326Google Scholar
  9. [Diaz,92]
    O. Diaz, Deriving Rules for Constraint Maintenance in an Object-Oriented Database, Submitted for publicationGoogle Scholar
  10. [Morg,84]
    M. Morgenstern Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement, Proc. Inter. Con. on VLDB, 1984, pp. 153–299Google Scholar
  11. [Nico,78]
    J.M. Nicolas, K. Yazdanian Integrity Checking in Deductive Data Bases, Logic and Data Bases, Gallaire and Minker (Eds.), 1978, pp. 325–346Google Scholar
  12. [Pato,89]
    N.W. Paton ADAM: An Object-Oriented Database System Implemented in Prolog, Proc. 7th BNCOD, M.H. Williams (edt), CUP, 1989, pp. 147–161Google Scholar
  13. [Rumb,87]
    J. Rumbaugh Relations as semantic Constructors in an Object-Oriented Language OOPSLA, 1987, pp. 466–481Google Scholar
  14. [Ston,90]
    M. Stonebraker, A. Jhingram, J. Goh and S. Potamianos On rules, procedures, caching and views in database systems in Proc. ACM SIGMOD, 1990, pp. 281–290Google Scholar
  15. [Urba,89]
    S.D. Urban ALICE: An Assertion Language for Integrity Constraint Expression in Proc. Fifth Int. Con. on Computer Software and Applications, Los Angeles, 1989Google Scholar
  16. [Urba,90]
    S.D. Urban, M. Desiderio Translating Constraints to Rules in CONTEXT: A CONstrainT Explanation Tool, in Proc. IFIP DS-4 Intl. Workshop on Object-Oriented Databases: Analysis, Design and Construction, Kent and Meersman (Eds.), 1990Google Scholar
  17. [Urba,91]
    S.D. Urban, L.M.L. Delcambre Constraint Analysis: A Design Process for Specifying Operations on Objects, Transactions on Knowledge and Data Engineering, 1991Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Oscar Díaz
    • 1
    • 2
  • Suzanne M. Embury
    • 1
  1. 1.Department of Computing ScienceUniversity of AberdeenAberdeenScotland
  2. 2.Facultad de InformáticaUniversidad del País VascoSan SebastiánSpain

Personalised recommendations