Filters








14,273 Hits in 3.0 sec

Transactional information systems

Marc H. Scholl
2001 SIGMOD record  
The authors argue that the scope of transaction technology is wider than classical database systems, aiming at new fields, such as today's e-commerce or communication systems.  ...  In the formal foundations, the authors emphasize a novel approach that unifies the discussion of concurrency control and recovery aspects.  ...  As such, this is clearly an advanced textbook oriented towards university students, a fact that also becomes obvious from the intensive use of formal models in the advanced material.  ... 
doi:10.1145/604264.604275 fatcat:yzjnupfrbbhbdaoxwdxdo7htqe

Generalization of ACID Properties [chapter]

Brahim Medjahed, Mourad Ouzzani, Ahmed K. Elmagarmid
2017 Encyclopedia of Database Systems  
ACID properties were initially developed with traditional, business-oriented applications (e.g., banking) in mind.  ...  For instance, transactions in computer-aided design applications are generally of long duration and preserving the traditional ACID properties in such transactions would require locking resources for long  ...  Concurrency control protocol are generally implemented in database systems to preserve this property.  ... 
doi:10.1007/978-1-4899-7993-3_736-2 fatcat:oly2dxrieba4zpdka22akpk4gm

Generalization of ACID Properties [chapter]

Linda L. Hill, Mehmet M. Dalkiliç, Brahim Medjahed, Mourad Ouzzani, Ahmed K. Elmagarmid, Joseph M. Hellerstein, Colin R. Reeves, Christopher B. Jones, Ross S. Purves, Michael F. Goodchild, Jayant Sharma, John Herring (+24 others)
2009 Encyclopedia of Database Systems  
ACID properties were initially developed with traditional, business-oriented applications (e.g., banking) in mind.  ...  For instance, transactions in computer-aided design applications are generally of long duration and preserving the traditional ACID properties in such transactions would require locking resources for long  ...  Concurrency control protocol are generally implemented in database systems to preserve this property.  ... 
doi:10.1007/978-0-387-39940-9_736 fatcat:5gyypjtmrje2zdpsmqpezyw4hq

Problem classes in intelligent network database design [chapter]

Juha Taina
1995 Intelligent Networks  
Our interests are in general solution level, logical data model, query languages, speed, and transaction handling and recovery.  ...  The demands to an IN database make it a distributed real-time heterogeneous database, where each of the nodes can be a parallel database.  ...  An object-oriented database system must satisfy two criteria: it should be a database management system and it should be object-oriented system.  ... 
doi:10.1007/978-0-387-34894-0_14 fatcat:jpn6siowbfhmrdjxafolrpibd4

Comparing and Choosing Appropriate Database for Storing Context in Context Aware System

Vanathi
2011 Journal of Computer Science  
Results: All the traditional databases are compared with context aware features like semantic support, ease of transaction of large data, query optimization, reasoning support, formality, scalability,  ...  This study enquired and described the vital role of storing the context data to an appropriate database in the area of context aware computing.  ...  A recovery control system helps to restore the database to a previous consistent state if any hardware or software failures called transaction and recovery control.  ... 
doi:10.3844/jcssp.2011.1027.1032 fatcat:anqilpf2prhtfl5r23upal5aca

CPN based Data Integrity Evaluation for Cloud Transactions
english

Yoshiyuki Shinkawa
2012 Proceedings of the 7th International Conference on Software Paradigm Trends  
However, today's PaaS environments provide us with limited capability for data integrity in database and transaction processing, compared with traditional transaction management systems.  ...  This paper presents a Colored Petri Net (CPN) based approach to modeling and evaluating generalized transaction systems including cloud environments.  ...  In this framework, transaction systems must be formalized for generalization.  ... 
doi:10.5220/0004120702670272 dblp:conf/icsoft/Shinkawa12a fatcat:ikifirsjnnaw5bc6m6x3wppcty

IEEE Transactions on Software Engineering - Table of contents

1983 IEEE Transactions on Software Engineering  
Selinger 218 PAPERS A Formal Model of Crash Recovery in a Distributed System ........ ....................... D. Skeen and M.  ...  Special Section on the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks State-of-the-Art Issues in Distributed Databases ....................................................  ... 
doi:10.1109/tse.1983.236604 fatcat:5ed7lq264zer3fd6k2guk74qyq

On Structuring Cooperative and Competitive Concurrent Systems

A. Romanovsky
1999 Computer journal  
The situation is much more complex in concurrent systems, in which the states of several concurrent components should be taken into consideration while describing the system behaviour.  ...  The purpose of this survey is to outline recent trends in developing structuring approaches for competitive and cooperative concurrent systems and to discuss different directions of research in this area  ...  B.Randell, working with whom has always been a great inspiration for me, and to my colleagues in ESPRIT DeVa LTR Project, ESPRIT PDCS BR Project and EPSRC/UK DISCS Project.  ... 
doi:10.1093/comjnl/42.8.627 fatcat:us6b2qtslzc3zgao5p7bleyos4

VVSL Specification of a Transaction-oriented Access Handler [chapter]

C. A. Middelburg
1992 Workshops in Computing  
Thereafter, the VVSL specification of an access handler interface given in [1] is outlined.  ...  The access handler interface concerned is a hypothetical interface which is meant to provide for a way of looking at transaction management.  ...  One usually distinguishes two purposes of transaction-oriented database recovery: in-progress transaction backup and crash recovery (see e.g. [27] ).  ... 
doi:10.1007/978-1-4471-3864-8_10 fatcat:kzypufbmf5fwzkca5mslcr2moy

A real-time database for future telecommunication services [chapter]

T. Niklander, J. Kiviniemi, K. Raatikainen
1997 Intelligent Networks and Intelligence in Networks  
in the same real-time database system.  ...  An ideal database system supporting various telecommunication applications should be a fault-tolerant distributed real-time object-oriented database system.  ...  The processes in the Database Primary Node are depicted in Figure 2 using a formalism of an extended DARTS software design method (Gomaa 1984 ) for real-time system.  ... 
doi:10.1007/978-0-387-35323-4_25 fatcat:dken6ifizzfdfncftfn6outixi

Page 524 of IEEE Transactions on Computers Vol. 52, Issue 4 [page]

2003 IEEE Transactions on Computers  
Reuter Principles of Transaction Oriented Database Recovery CM ( I} oe. vol. 15, no. 4, De« 1OR3 Intel Value Serie Flash Memory Card,"http developer r r intel.com /design /fcard / prodbret /29768602.htm  ...  Hagmann, “A Crash Recovery Scheme for a Memory Resident Database System EE Trans. Computers, vol. 35, no. 9, Sept. 1986 |. Huang and L.  ... 

Temporal databases status and research directions

Richard Snodgrass
1990 SIGMOD record  
It was the first article on time-oriented databases to appear in a major database journal, thereby introducing this community to the topic.  ...  , An Introduction to Database Systems, Volume I, Fifth Edition, and Elmasri&Navathe, Fundamentals of Database Systems).  ... 
doi:10.1145/122058.122068 fatcat:ury4bavtbvbhlptdunpeowbdza

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL

Ling Yuan, Jin Song Dong, Jing Sun
2006 2006 13th Asia Pacific Software Engineering Conference (APSEC'06)  
FTA incorporates idealized fault tolerant component concept and coordinated error recovery mechanism in the early system design phase.  ...  The formal model of FTA in the Object-Z language is presented to provide precise idioms to the system designers.  ...  This competitive concurrency need to guarantee the transaction semantics of the database.  ... 
doi:10.1109/apsec.2006.44 dblp:conf/apsec/YuanDS06 fatcat:qkbb2muv2zeppk6nviyqo6d6oe

Page 83 of Library & Information Science Abstracts Vol. , Issue 9 [page]

1995 Library & Information Science Abstracts  
Presents a formal object oriented specification mode!  ...  In particular, shows how communication can be modelled by ee ee a re Original abstract-amended. 10870 support for cooperating transactions in EPOS. R. Conradi, C. Liu M. Hagaseth.  ... 

A Coordination Model for Distributed Transactions in Digital Business EcoSystems

Amir R Razavi, Sotiris K Moschoyiannis, Paul J Krause
2007 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference  
In this paper we present a model for coordinating distributed long running and multi-service transactions in Digital Business EcoSystems.  ...  The proposed model is considered at the deployment level of SOA, rather than the realisation level, and is targeted to business transactions between collaborating SMEs as it respects the loose-coupling  ...  The conventional view of a transaction [4] is based on the ACID (Atomicity, Consistency, Isolation, Durability) properties, which have been successfully applied to relational database management systems  ... 
doi:10.1109/dest.2007.371963 fatcat:vh7ldly4yjhwvjdhasx26f6cti
« Previous Showing results 1 — 15 out of 14,273 results