The expressive power of the bounded-iteration construct

DOI10.1007/BF01178680zbMath0741.68040MaRDI QIDQ1186517

Xiaolei Qian

Publication date: 28 June 1992

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

database programming languagebounded-iterationdatabase programmingiterative transaction language

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15)

Related Items (3)

The expressiveness of a family of finite set languages ⋮ Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model ⋮ Verifiable properties of database transactions

Cites Work

• The expressive power of stratified logic programs
• Structure and complexity of relational queries
• Relational queries computable in polynomial time
• Equivalence and optimization of relational transactions
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive power of the bounded-iteration construct