Add to ORKGThis paper proposes a formal framework to statically analyze intensional databases modeling transactional behavior. The considered language is U-Datalog, an extension of Datalog modeling updates and transactions. The analysis, performed at compile time, provides information about certain types of situations that may arise at execution time such as aborts, inconsistencies and failures. These information can be used to check the correctness of the database and to optimize transactions..
Database application programs are often designed to be executed concurrently by many clients. By gro...
We present applications of the recently proposed Transaction Logic---an extension of classical logic...
D We address the problem of formalizing the evolution of a database un-der the effect of an arbitrar...
Transaction programs are comprised of read and write operations issued against the database. In a ...
This paper presents database applications of the recently proposed Transaction Logic--- an extensio...
. In the classical model of database transactions, large transactions cannot be built out of smaller...
Methods are given for statically analyzing sets of database production rules to determine if the rul...
: We propose an extension of classical predicate calculus, called Transaction Logic, which provides...
The ability of transactions to mask the effects of concurrency and failures makes them appropriate b...
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean an...
AbstractDynamic database behaviour can be specified by dynamic integrity constraints, which determin...
This thesis presents approaches for detecting faults such as violations of constraints in databases ...
A framework is proposed for the structured specification and verification of database dynamics. In t...
Methods are given for statically analyzing sets of database production rules to determine if the rul...
Methods are given for statically analyzing sets of database production rules to determine if the rul...
Database application programs are often designed to be executed concurrently by many clients. By gro...
We present applications of the recently proposed Transaction Logic---an extension of classical logic...
D We address the problem of formalizing the evolution of a database un-der the effect of an arbitrar...
Transaction programs are comprised of read and write operations issued against the database. In a ...
This paper presents database applications of the recently proposed Transaction Logic--- an extensio...
. In the classical model of database transactions, large transactions cannot be built out of smaller...
Methods are given for statically analyzing sets of database production rules to determine if the rul...
: We propose an extension of classical predicate calculus, called Transaction Logic, which provides...
The ability of transactions to mask the effects of concurrency and failures makes them appropriate b...
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean an...
AbstractDynamic database behaviour can be specified by dynamic integrity constraints, which determin...
This thesis presents approaches for detecting faults such as violations of constraints in databases ...
A framework is proposed for the structured specification and verification of database dynamics. In t...
Methods are given for statically analyzing sets of database production rules to determine if the rul...
Methods are given for statically analyzing sets of database production rules to determine if the rul...
Database application programs are often designed to be executed concurrently by many clients. By gro...
We present applications of the recently proposed Transaction Logic---an extension of classical logic...
D We address the problem of formalizing the evolution of a database un-der the effect of an arbitrar...