Abstract state machines and computationally complete query languages

DOI10.1006/inco.2001.3067zbMath1009.68030OpenAlexW2157824147MaRDI QIDQ1854519

Jan Van den Bussche, Yuri Gurevich, Andreas Blass

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2001.3067

Mathematics Subject Classification ID

Related Items (3)

Database Theory, Yuri, and Me ⋮ Unnamed Item ⋮ Why Sets?

Cites Work

• Procedural languages for database queries and updates
• Choiceless polynomial time
• Computable queries for relational data bases
• Datalog extensions for database queries and updates
• Infinitary logics and 0-1 laws
• The expressive power of complex values in object-based data models
• Object identity as a query language primitive
• On the completeness of object-creating database transformation languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstract state machines and computationally complete query languages