Static and dynamic aspects of goal-oriented concurrency control
From MaRDI portal
Publication:1353964
DOI10.1007/BF01556355zbMath1004.68517OpenAlexW1996931156MaRDI QIDQ1353964
Victor Vianu, Gottfried Vossen
Publication date: 13 May 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01556355
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The concurrency control problem for database systems
- Computable queries for relational data bases
- Conceptual level concurrency control of relational update transactions
- First-order dynamic logic
- Formal Systems for Tuple and Equality Generating Dependencies
- Multilevel atomicity—a new correctness criterion for database concurrency control
- A transaction-based approach to relational database specification
- Relative Information Capacity of Simple Relational Database Schemata
- Equivalence and optimization of relational transactions
- The serializability of concurrent database updates
- A theory of reliability in database systems
- Concurrent search structure algorithms
- Using semantic knowledge for transaction processing in a distributed database
This page was built for publication: Static and dynamic aspects of goal-oriented concurrency control
