Semantics and expressiveness issues in active databases

DOI10.1006/jcss.1998.1567zbMath0917.68055OpenAlexW1981552935MaRDI QIDQ1278040

Philippe Picouet, Victor Vianu

Publication date: 8 August 1999

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.1998.1567

zbMATH Keywords

expressivenessactive databasesabstract trigger languages

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55)

Related Items

On the decidability of the termination problem of active database systems ⋮ A first step towards implementing dynamic algebraic dependences ⋮ Verification of relational transducers for electronic commerce ⋮ Relational transducers for electronic commerce

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Procedural languages for database queries and updates
• The expressive power of stratified logic programs
• Datalog extensions for database queries and updates
• Computing with first-order logic
• Relational queries computable in polynomial time
• The Format Model
• Characterizations of Pushdown Machines in Terms of Time-Bounded Computers