Formal characterization of active databases

This publication has 7 references indexed in Scilit:

• Active database rules with transaction-conscious stable-model semantics
  Published by Springer Nature ,1995
• State Constraints Revisited
  Journal of Logic and Computation, 1994
• Actions with Indirect Effects (Preliminary Report)
  Published by Elsevier ,1994
• A Unified Semantics for Active and Deductive Databases
  Published by Springer Nature ,1994
• A denotational semantics for the Starburst production rule language
  ACM SIGMOD Record, 1992
• Stable models and non-determinism in logic programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• A Logic-based Language for Database Updates
  Published by Elsevier ,1988