Independence of Logic Database Queries and Updates.

Published in: PODS (1990)

Keyphrases

knowledge representation
database queries
logic programming
horn clauses
database
knowledge base
databases
classical logic
modal logic
query processor
digital circuits
expressive power
asynchronous circuits
independence assumption
aggregation queries