The relational model for database management: version 2
The relational model for database management: version 2
Data models, database languages and database management systems
Data models, database languages and database management systems
Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
Recovery mechanisms in database systems
Recovery mechanisms in database systems
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
Object Database Development: Concepts and Principles
Object Database Development: Concepts and Principles
Database Recovery
A Guided Tour of Relational Databases and Beyond
A Guided Tour of Relational Databases and Beyond
Database System Implementation
Database System Implementation
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Databases and Transaction Processing: An Application-Oriented Approach
Databases and Transaction Processing: An Application-Oriented Approach
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Towards a Tailored Theory of Consistency Enforcement in Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Using abstract state machines for distributed data warehouse design
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
ASM-based design of data warehouses and on-line analytical processing systems
Journal of Systems and Software - Special issue: Quality software
A theory of nested speculative execution
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Term rewriting for web information systems: termination and church-rosser property
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
A semantics-based protocol for business process transactions
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Using abstract state machines for the design of multi-level transaction schedulers
Rigorous Methods for Software Construction and Analysis
| Hi-index | 0.00 |
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transactions are a concept that is commonly used in the database area. It is often defined in the form: given a syntactic construct in an abstract form and declare a number of properties an engine should support which is not specified and invisible.This paper aims in providing an operational semantics for transactions. A DBMS implementation is then considered to be a faithful refinement of the operational semantics.