Results 281 to 290 of about 290,478 (322)
A framework for synthesizing transactional database implementations in a proof assistant
Sorawit Suriyakarn
openalex +1 more source
Optimizing repetitive computations of database triggers within a transaction
Françoise Fabret, Eric Simon
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Statistical properties of transactional databases
Proceedings of the 2004 ACM symposium on Applied computing, 2004Most of the complexity of common data mining tasks is due to the unknown amount of information contained in the data being mined. The more patterns and corelations are contained in such data, the more resources are needed to extract them. This is confirmed by the fact that in general there is not a single best algorithm for a given data mining task on ...
P. PALMERINI +2 more
openaire +4 more sources
Transactional Databases Hyperscaling: To Be or Not to Be?
Открытые системы. СУБД, 2023Задача линейного масштабирования аналитических нагрузок давно решена, а вот с транзакционными все оказалось не так просто — есть определенные подвижки но нет полномасштабного решения проблемы. While linear scaling of analytic workloads has been achieved long ago,
openaire +1 more source
A model of transaction blocking in databases
Performance Evaluation, 1983Abstract A simple analytic queueing model of software resource sharing in a multiprogramming environment is presented. Implicit algebraic equations for steady state mean waiting times at the various queues are developed. These equations may be solved by simple fixed point iteration.
Galler, Bruce I., Bos, Len
openaire +2 more sources
Proving Consistency Of Database Transactions
Fifth International Conference on Very Large Data Bases, 1979., 1979The purpose of this paper is to present an approach for verifying that explicitely stated integrity constraints are not violated by certain transactions. We utilize a relational model where-in constraints are given in a language based on the first order predicate calculus.
G. Gardarin, M. Melkanoff
openaire +1 more source
Transactions on the Logical Database
2014The database as seen by an application programmer is called the logical database. In most cases the logical database is a relational database, so that application programs operate on tuples in relations through an SQL interface. A transaction is a sequence of read and update actions on the logical database, performed on the database upon a sequence of ...
Seppo Sippu, Eljas Soisalon-Soininen
openaire +1 more source
Transaction optimization in rule databases
Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems, 2002The authors propose an approach to transection optimization in rule databases. It is based on a new technique to express updates in rule languages based on a non-immediate update execution. This technique is used to statically characterize some properties of the rules and transactions.
E. BERTINO +3 more
openaire +2 more sources

