Abstract State Machines and Computationally Complete Query Languages.

Andreas Blass Yuri Gurevich Jan Van den Bussche

Published in: Abstract State Machines (2000)

Keyphrases

query language
expressive power
data model
relational algebra
information systems
conjunctive queries
recursive queries
databases
neural network
genetic algorithm
website
database systems
knowledge representation
transitive closure