Semantics and Expressiveness Issues in Active Databases

This publication has 9 references indexed in Scilit:

• Computing with First-Order Logic
  Journal of Computer and System Sciences, 1995
• Static analysis techniques for predicting the behavior of active database rules
  ACM Transactions on Database Systems, 1995
• The integration of rule systems and database systems
  IEEE Transactions on Knowledge and Data Engineering, 1992
• Datalog extensions for database queries and updates
  Journal of Computer and System Sciences, 1991
• The expressive power of stratified logic programs
  Information and Computation, 1991
• Procedural languages for database queries and updates
  Journal of Computer and System Sciences, 1990
• Relational queries computable in polynomial time
  Information and Control, 1986
• The Format Model
  Journal of the ACM, 1984
• Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
  Journal of the ACM, 1971