Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity

DOI10.1016/S0020-0255(00)00062-1zbMath0980.68040MaRDI QIDQ5946286

Paul Ammann, Sushil Jajodia, Indrakshi Ray

Publication date: 14 October 2001

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

global transactionsmultidatabase

Mathematics Subject Classification ID

Database theory (68P15)

Uses Software

• PVS
• Z

Cites Work

• Verifying properties of parallel programs
• Using semantic knowledge for transaction processing in a distributed database
• Unnamed Item
• Unnamed Item

This page was built for publication: Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity