Results 111 to 120 of about 2,534,483 (361)
Database Programming in Transaction Logic [PDF]
, 1994 This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete proof theory, but, unlike many other logics, it allows
Michael Kifer +2 more
openaire +2 more sources
Powder Metallurgy and Additive Manufacturing of High‐Nitrogen Alloyed FeCr(Si)N Stainless Steel
Advanced Engineering Materials, EarlyView.The alloying element Nitrogen enhances stainless steel strength, corrosion resistance, and stabilizes austenite. This study develops austenitic FeCr(Si)N steel production via powder metallurgy. Fe20Cr and Si3N4 are hot isostatically pressed, creating an austenitic microstructure.
Louis Becker +5 more
wiley +1 more source
A formal model for ledger management systems based on contracts and temporal logic
Blockchain: Research and Applications, 2022 A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test.
Paolo Bottoni +2 more
doaj
Inter-organizational collaboration among health and social care: TRT©, a transactional approach [PDF]
Inter-organizational collaboration (IOC) supported by information and communication technologies (ICTs) faces challenges on many fronts in 21st century England as well as globally.
Louws, Margie
core
arXiv, 2007 Message-oriented-middleware (MOM) has become an small industry. MOM offers queued transaction processing as an advance over pure client-server transaction processing. This note makes four points: Queued transaction processing is less general than direct transaction processing. Queued systems are built on top of direct systems. You cannot build a direct
arxiv
Advanced Engineering Materials, EarlyView.Primary phases and a fatigue crack are studied in a forged blank of an aluminum alloy using synchrotron and laboratory X‐ray computed tomography. To image the crack, the fatigue test is interrupted, and a static tensile load is applied to open the crack.
Jakob Schröder +6 more
wiley +1 more source
A Queue-oriented Transaction Processing Paradigm [PDF]
arXiv, 2019 Transaction processing has been an active area of research for several decades. A fundamental characteristic of classical transaction processing protocols is non-determinism, which causes them to suffer from performance issues on modern computing environments such as main-memory databases using many-core, and multi-socket CPUs and distributed ...
arxiv
Thermokinetic Modeling Approach for Aluminide Diffusion Coatings on Molybdenum Substrates
Advanced Engineering Materials, EarlyView.The advancement of innovative materials for protective coatings in high‐temperature environments relies on a detailed understanding of diffusion processes within these systems. This article presents findings from modeling approaches, supporting the development and optimization of coating materials by focusing on the prediction of diffusion‐driven ...
Jurica Filipovic +4 more
wiley +1 more source
About the Peculiarities of Saving Information in Databases [PDF]
, 2016 Автор рассматривает особенности сохранения информации в базах данных и описывает как механизм транзакций влияет на поведение системы при вводе данных.
Shamshyna, Nataliia Volodymyrivna +1 more
core
Hyper-Graph Based Database Partitioning for Transactional Workloads [PDF]
arXiv, 2013 A common approach to scaling transactional databases in practice is horizontal partitioning, which increases system scalability, high availability and self-manageability. Usu- ally it is very challenging to choose or design an optimal partitioning scheme for a given workload and database.
arxiv